Theoretical Aspects of Computing – ICTAC 2019 : 16th International Colloquium, Hammamet, Tunisia, October 31 – November 4, 2019, Proceedings / / edited by Robert Mark Hierons, Mohamed Mosbah
(Visualizza in formato marc)
(Visualizza in BIBFRAME)
| Titolo: |
Theoretical Aspects of Computing – ICTAC 2019 : 16th International Colloquium, Hammamet, Tunisia, October 31 – November 4, 2019, Proceedings / / edited by Robert Mark Hierons, Mohamed Mosbah
|
| Pubblicazione: | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
| Edizione: | 1st ed. 2019. |
| Descrizione fisica: | 1 online resource (xi, 411 pages) |
| Disciplina: | 004 |
| 005.1015113 | |
| Soggetto topico: | Computer science |
| Machine theory | |
| Computer vision | |
| Machine learning | |
| Robotics | |
| Computer Science Logic and Foundations of Programming | |
| Formal Languages and Automata Theory | |
| Computer Vision | |
| Machine Learning | |
| Persona (resp. second.): | HieronsRobert Mark |
| MosbahMohamed | |
| Note generali: | Includes index. |
| Nota di contenuto: | Models and Transition Systems -- Real-Time and Temporal Logics -- Verification and Concurrency -- Privacy and Security -- Equations, Types, and Programming Languages. . |
| Sommario/riassunto: | This book constitutes the refereed proceedings of the 16th International Colloquium on Theoretical Aspects of Computing, ICTAC 2019, held in Hammamet, Tunisia, in October/November 2019. The 17 revised full papers presented together with 2 keynote papers and 1 industrial paper were carefully reviewed and selected from 138 submissions. The papers are grouped in topical sections on models and transition systems; real-time and temporal logics; verification and concurrency; privacy and security; equations, types, and programming languages. . |
| Titolo autorizzato: | Theoretical Aspects of Computing – ICTAC 2019 |
| ISBN: | 3-030-32505-9 |
| Formato: | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione: | Inglese |
| Record Nr.: | 9910349267803321 |
| Lo trovi qui: | Univ. Federico II |
| Opac: | Controlla la disponibilità qui |
Serie:
Theoretical Computer Science and General Issues, . 2512-2029 ; ; 11884