Theoretical Aspects of Computing - ICTAC 2017 / Lecture Notes in Computer Science Bd.10580 (PDF)
14th International Colloquium, Hanoi, Vietnam, October 23-27, 2017, Proceedings
(Sprache: Englisch)
This book constitutes the refereed proceedings of the 14th International Colloquium on Theoretical Aspects of Computing, ICTAC 2017, held in Hanoi, Vietnam, in October 2017.
The 17 revised full papers presented together with three invited talks...
The 17 revised full papers presented together with three invited talks...
sofort als Download lieferbar
eBook (pdf)
53.49 €
26 DeutschlandCard Punkte sammeln
- Lastschrift, Kreditkarte, Paypal, Rechnung
- Kostenloser tolino webreader
Produktdetails
Produktinformationen zu „Theoretical Aspects of Computing - ICTAC 2017 / Lecture Notes in Computer Science Bd.10580 (PDF)“
This book constitutes the refereed proceedings of the 14th International Colloquium on Theoretical Aspects of Computing, ICTAC 2017, held in Hanoi, Vietnam, in October 2017.
The 17 revised full papers presented together with three invited talks were carefully reviewed and selected from 40 submissions. The papers are organized in topical sections on logics; software components and concurrency; automata; SMT solvers and algorithms; and security.
Bibliographische Angaben
- 2017, 1st ed. 2017, 305 Seiten, Englisch
- Herausgegeben: Dang Van Hung, Deepak Kapur
- Verlag: Springer-Verlag GmbH
- ISBN-10: 3319677292
- ISBN-13: 9783319677293
- Erscheinungsdatum: 28.09.2017
Abhängig von Bildschirmgröße und eingestellter Schriftgröße kann die Seitenzahl auf Ihrem Lesegerät variieren.
eBook Informationen
- Dateiformat: PDF
- Größe: 9.64 MB
- Ohne Kopierschutz
- Vorlesefunktion
Sprache:
Englisch
Kommentar zu "Theoretical Aspects of Computing - ICTAC 2017 / Lecture Notes in Computer Science Bd.10580"
0 Gebrauchte Artikel zu „Theoretical Aspects of Computing - ICTAC 2017 / Lecture Notes in Computer Science Bd.10580“
Zustand | Preis | Porto | Zahlung | Verkäufer | Rating |
---|
Schreiben Sie einen Kommentar zu "Theoretical Aspects of Computing - ICTAC 2017 / Lecture Notes in Computer Science Bd.10580".
Kommentar verfassen