Verwandte Artikel zu Theoretical Aspects of Computing – ICTAC 2019:...
Theoretical Aspects of Computing – ICTAC 2019: 16th International Colloquium, Hammamet, Tunisia, October 31 – November 4, 2019, Proceedings: 11884 (Theoretical Computer Science and General Issues) - Softcover
Inhaltsangabe
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.
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
Reseña del editor
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.
„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.
Neu kaufen
Diesen Artikel anzeigen
EUR 60,04
EUR 13,74 für den Versand von Vereinigtes Königreich nach USA
Versandziele, Kosten & DauerSuchergebnisse für Theoretical Aspects of Computing – ICTAC 2019:...
Foto des Verkäufers
Theoretical Aspects of Computing â" ICTAC 2019: 16th International Colloquium, Hammamet, Tunisia, October 31 â" November 4, 2019, Proceedings: 11884 (Lecture Notes in Computer Science, 11884)
Anbieter: WeBuyBooks, Rossendale, LANCS, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Zustand: Very Good. Most items will be dispatched the same or the next working day. A copy that has been read, but is in excellent condition. Pages are intact and not marred by notes or highlighting. The spine remains undamaged. Artikel-Nr. wbs1194717712
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Theoretical Aspects of Computing - ICTAC 2019: 16th International Colloquium, Hammamet, Tunisia, October 31 - November 4, 2019, Proceedings (Theoretical Computer Science and General Issues)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. In. Artikel-Nr. ria9783030325046_new
Anzahl: Mehr als 20 verfügbar
Beispielbild für diese ISBN
Theoretical Aspects of Computing - Ictac 2019: 16th International Colloquium, Hammamet, Tunisia, October 31 November 4, 2019, Proceedings
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Paperback. Zustand: Brand New. 424 pages. 9.25x6.10x0.91 inches. In Stock. Artikel-Nr. x-3030325040
Anzahl: 2 verfügbar
Foto des Verkäufers
Theoretical Aspects of Computing - ICTAC 2019
ISBN 10: 3030325040
ISBN 13: 9783030325046
Neu
Taschenbuch
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Neuware -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.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 424 pp. Englisch. Artikel-Nr. 9783030325046
Anzahl: 2 verfügbar
Foto des Verkäufers
Theoretical Aspects of Computing ¿ ICTAC 2019 : 16th International Colloquium, Hammamet, Tunisia, October 31 ¿ November 4, 2019, Proceedings
ISBN 10: 3030325040
ISBN 13: 9783030325046
Neu
Taschenbuch
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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. Artikel-Nr. 9783030325046
Anzahl: 1 verfügbar