Relational and Algebraic Methods in Computer Science [[electronic resource] ] : 15th International Conference, RAMiCS 2015, Braga, Portugal, September 28 - October 1, 2015, Proceedings / / edited by Wolfram Kahl, Michael Winter, José Oliveira |
Edizione | [1st ed. 2015.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 |
Descrizione fisica | 1 online resource (X, 395 p. 51 illus.) |
Disciplina | 004.0151 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Machine theory
Computer science—Mathematics Computer science Software engineering Artificial intelligence Discrete mathematics Formal Languages and Automata Theory Symbolic and Algebraic Manipulation Computer Science Logic and Foundations of Programming Software Engineering Artificial Intelligence Discrete Mathematics in Computer Science |
ISBN | 3-319-24704-2 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Theory of relation algebras and Kleene algebras -- Process algebras -- Fixed point calculi -- Idempotent semirings -- Quantales, allegories, and dynamic algebras.- Cylindric algebras -- Application in areas such as verification.-Analysis and development of programs and algorithms -- Algebraic approaches to logics of programs -- Modal and dynamic logics -- Interval and temporal logics. |
Record Nr. | UNISA-996466297003316 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Relational and Algebraic Methods in Computer Science : 15th International Conference, RAMiCS 2015, Braga, Portugal, September 28 - October 1, 2015, Proceedings / / edited by Wolfram Kahl, Michael Winter, José Oliveira |
Edizione | [1st ed. 2015.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 |
Descrizione fisica | 1 online resource (X, 395 p. 51 illus.) |
Disciplina | 004.0151 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Machine theory
Computer science—Mathematics Computer science Software engineering Artificial intelligence Discrete mathematics Formal Languages and Automata Theory Symbolic and Algebraic Manipulation Computer Science Logic and Foundations of Programming Software Engineering Artificial Intelligence Discrete Mathematics in Computer Science |
ISBN | 3-319-24704-2 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Theory of relation algebras and Kleene algebras -- Process algebras -- Fixed point calculi -- Idempotent semirings -- Quantales, allegories, and dynamic algebras.- Cylindric algebras -- Application in areas such as verification.-Analysis and development of programs and algorithms -- Algebraic approaches to logics of programs -- Modal and dynamic logics -- Interval and temporal logics. |
Record Nr. | UNINA-9910483062003321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Technological Innovation for Industry and Service Systems : 10th IFIP WG 5.5/SOCOLNET Advanced Doctoral Conference on Computing, Electrical and Industrial Systems, DoCEIS 2019, Costa de Caparica, Portugal, May 8–10, 2019, Proceedings / / edited by Luis M. Camarinha-Matos, Ricardo Almeida, José Oliveira |
Pubbl/distr/stampa | Cham : , : Springer, , 2019 |
Descrizione fisica | 1 online resource (xiv, 426 pages) : illustrations (some color) |
Disciplina |
006.22
004 |
Collana | IFIP Advances in Information and Communication Technology |
Soggetto topico | Cooperating objects (Computer systems) |
Soggetto genere / forma | Conference papers and proceedings. |
ISBN | 3-030-17771-8 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Altri titoli varianti | DoCEIS 2019 |
Record Nr. | UNINA-9910337856803321 |
Cham : , : Springer, , 2019 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|