Foundations of Software Science and Computation Structures : 23. International Conference, FOSSACS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings / Jean Goubault-Larrecq, Barbara König editors |
Pubbl/distr/stampa | Cham, : Springer, 2020 |
Descrizione fisica | xv, 644 p. : ill. ; 24 cm |
Soggetto topico |
68-XX - Computer science [MSC 2020]
68Qxx - Theory of computing [MSC 2020] 00B25 - Proceedings of conferences of miscellaneous specific interest [MSC 2020] 68Nxx - Theory of software [MSC 2020] |
Soggetto non controllato |
Artificial intellegence
Automata Categorical models and logics Concurrency theory and process calculi Emerging models of computation Formal logic Language theory Linguistics Logical aspects of computational complexity Logical foundations of data bases Logics of programming Mathematics Modal, spatial and temporal logics Models of software security Rewriting theory Semantics of programming languages Software specification and refinement Type theory and proof theory and games |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Titolo uniforme | |
Record Nr. | UNICAMPANIA-VAN0249173 |
Cham, : Springer, 2020 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
Learning and Intelligent Optimization : 14th International Conference, LION 14, Athens, Greece, May 24–28, 2020, Revised Selected Papers / Ilias S. Kotsireas, Panos Pardalos editors |
Pubbl/distr/stampa | Cham, : Springer, 2020 |
Descrizione fisica | xiv, 430 p. : ill. ; 24 cm |
Soggetto topico |
68-XX - Computer science [MSC 2020]
90-XX - Operations research, mathematical programming [MSC 2020] |
Soggetto non controllato |
Artificial intellegence
Communication systems Computer Networks Computer hardware Computer systems Correlation analysis Education Engineering Genetic Algorithms Internet Learning Machine learning Mathematics Optimization Optimization problems Signal processing Telecommunication systems Theoretical computer science Wireless telecommunication systems |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Titolo uniforme | |
Record Nr. | UNICAMPANIA-VAN0249389 |
Cham, : Springer, 2020 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Vanvitelli | ||
|