LEADER 03066nam  22006975  450 
001 9910349267803321
005 20250722084725.0
010   $a3-030-32505-9
024 7 $a10.1007/978-3-030-32505-3
035   $a(CKB)4100000009678444
035   $a(MiAaPQ)EBC5968239
035   $a(DE-He213)978-3-030-32505-3
035   $a(PPN)256178704
035   $a(EXLCZ)994100000009678444
100   $a20191025d2019      u|         0
101 0 $aeng
135   $aurcnu||||||||
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aTheoretical Aspects of Computing ? ICTAC 2019 $e16th International Colloquium, Hammamet, Tunisia, October 31 ? November 4, 2019, Proceedings /$fedited by Robert Mark Hierons, Mohamed Mosbah
205   $a1st ed. 2019.
210  1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2019.
215   $a1 online resource (xi, 411 pages)
225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v11884
300   $aIncludes index.
311 08$a3-030-32504-0 
327   $aModels and Transition Systems -- Real-Time and Temporal Logics -- Verification and Concurrency -- Privacy and Security -- Equations, Types, and Programming Languages. .
330   $aThis 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. .
410  0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v11884
606   $aComputer science
606   $aMachine theory
606   $aComputer vision
606   $aMachine learning
606   $aRobotics
606   $aComputer Science Logic and Foundations of Programming
606   $aFormal Languages and Automata Theory
606   $aComputer Vision
606   $aMachine Learning
606   $aRobotics
615  0$aComputer science.
615  0$aMachine theory.
615  0$aComputer vision.
615  0$aMachine learning.
615  0$aRobotics.
615 14$aComputer Science Logic and Foundations of Programming.
615 24$aFormal Languages and Automata Theory.
615 24$aComputer Vision.
615 24$aMachine Learning.
615 24$aRobotics.
676   $a004
676   $a005.1015113
702   $aHierons$b Robert Mark$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aMosbah$b Mohamed$4edt$4http://id.loc.gov/vocabulary/relators/edt
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910349267803321
996   $aTheoretical Aspects of Computing ? ICTAC 2019$92508177
997   $aUNINA