Theoretical Aspects of Computing ¿ ICTAC 2017 : 14th International Colloquium, Hanoi, Vietnam, October 23-27, 2017, Proceedings - Taschenbuch
2017, ISBN: 3319677284
[EAN: 9783319677286], Neubuch, [PU: Springer International Publishing], EDV / THEORIE PROGRAMMIEREN ALLGEMEINES; ARTIFICIALINTELLIGENCE; AUTOMATATHEORY; FORMALLOGIC; FORMALMETHODS; LOGICS… Mehr…
AbeBooks.de AHA-BUCH GmbH, Einbeck, Germany [51283250] [Rating: 5 (von 5)] NEW BOOK. Versandkosten:Versandkostenfrei. (EUR 0.00) Details... |
Theoretical Aspects of Computing ¿ ICTAC 2017 / 14th International Colloquium, Hanoi, Vietnam, October 23-27, 2017, Proceedings / Deepak Kapur (u. a.) / Taschenbuch / Paperback / xx / Englisch / 2017 - Taschenbuch
2017, ISBN: 9783319677286
[ED: Taschenbuch], [PU: Springer International Publishing], This book constitutes the refereed proceedings of the 14th International Colloquium on Theoretical Aspects of Computing, ICTAC … Mehr…
booklooker.de |
2017, ISBN: 9783319677286
Taschenbuch
Springer, Taschenbuch, Auflage: 1st ed. 2017, 328 Seiten, Publiziert: 2017-09-17T00:00:01Z, Produktgruppe: Buch, Hersteller-Nr.: 29864981, 1.02 kg, Informatik, IT-Ausbildung & -Berufe, Co… Mehr…
amazon.de |
2017, ISBN: 3319677284
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 revi… Mehr…
Weltbild.de Nr. 90540763. Versandkosten:, 2-5 Werktage, DE. (EUR 0.00) Details... |
2017, ISBN: 9783319677286
Theoretical Aspects of Computing ' ICTAC 2017 ab 69.49 € als Taschenbuch: 14th International Colloquium Hanoi Vietnam October 23-27 2017 Proceedings. 1st ed. 2017. Aus dem Bereich: Bücher… Mehr…
Hugendubel.de Versandkosten:Shipping in 3 days, , Versandkostenfrei nach Hause oder Express-Lieferung in Ihre Buchhandlung., DE. (EUR 0.00) Details... |
Theoretical Aspects of Computing ¿ ICTAC 2017 : 14th International Colloquium, Hanoi, Vietnam, October 23-27, 2017, Proceedings - Taschenbuch
2017, ISBN: 3319677284
[EAN: 9783319677286], Neubuch, [PU: Springer International Publishing], EDV / THEORIE PROGRAMMIEREN ALLGEMEINES; ARTIFICIALINTELLIGENCE; AUTOMATATHEORY; FORMALLOGIC; FORMALMETHODS; LOGICS… Mehr…
Kapur, Deepak:
Theoretical Aspects of Computing ¿ ICTAC 2017 / 14th International Colloquium, Hanoi, Vietnam, October 23-27, 2017, Proceedings / Deepak Kapur (u. a.) / Taschenbuch / Paperback / xx / Englisch / 2017 - Taschenbuch2017, ISBN: 9783319677286
[ED: Taschenbuch], [PU: Springer International Publishing], This book constitutes the refereed proceedings of the 14th International Colloquium on Theoretical Aspects of Computing, ICTAC … Mehr…
2017
ISBN: 9783319677286
Taschenbuch
Springer, Taschenbuch, Auflage: 1st ed. 2017, 328 Seiten, Publiziert: 2017-09-17T00:00:01Z, Produktgruppe: Buch, Hersteller-Nr.: 29864981, 1.02 kg, Informatik, IT-Ausbildung & -Berufe, Co… Mehr…
2017, ISBN: 3319677284
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 revi… Mehr…
2017, ISBN: 9783319677286
Theoretical Aspects of Computing ' ICTAC 2017 ab 69.49 € als Taschenbuch: 14th International Colloquium Hanoi Vietnam October 23-27 2017 Proceedings. 1st ed. 2017. Aus dem Bereich: Bücher… Mehr…
Bibliographische Daten des bestpassenden Buches
Detailangaben zum Buch - Theoretical Aspects of Computing ? ICTAC 2017: 14th International Colloquium, Hanoi, Vietnam, October 23-27, 2017, Proceedings (Lecture Notes in Computer Science, Band 10580)
EAN (ISBN-13): 9783319677286
ISBN (ISBN-10): 3319677284
Gebundene Ausgabe
Taschenbuch
Erscheinungsjahr: 2017
Herausgeber: Hung, Dang Van, Kapur, Deepak, Springer
Buch in der Datenbank seit 2017-08-20T09:01:26+02:00 (Zurich)
Detailseite zuletzt geändert am 2024-03-31T10:32:28+02:00 (Zurich)
ISBN/EAN: 9783319677286
ISBN - alternative Schreibweisen:
3-319-67728-4, 978-3-319-67728-6
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: deepak, dang, hung
Titel des Buches: vietnam, hung, colloquium international
Daten vom Verlag:
Autor/in: Dang Van Hung; Deepak Kapur
Titel: Lecture Notes in Computer Science; Theoretical Computer Science and General Issues; Theoretical Aspects of Computing – ICTAC 2017 - 14th International Colloquium, Hanoi, Vietnam, October 23-27, 2017, Proceedings
Verlag: Springer; Springer International Publishing
305 Seiten
Erscheinungsjahr: 2017-09-17
Cham; CH
Gedruckt / Hergestellt in Niederlande.
Sprache: Englisch
53,49 € (DE)
54,99 € (AT)
59,00 CHF (CH)
POD
XX, 305 p. 58 illus.
BC; Hardcover, Softcover / Informatik, EDV/Informatik; Theoretische Informatik; Verstehen; artificial intelligence; automata theory; formal logic; formal methods; logics; model checking; semantics and reasoning; software organization and properties; theorem proving; theoretical computer science; theory of security; verification; Computer Science Logic and Foundations of Programming; Compilers and Interpreters; Artificial Intelligence; Software Engineering; Formal Languages and Automata Theory; Compiler und Übersetzer; Künstliche Intelligenz; Software Engineering; EA
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.
Includes supplementary material: sn.pub/extras
Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:
Neuestes ähnliches Buch:
9783030325046 Theoretical Aspects of Computing ? ICTAC 2019: 16th International Colloquium, Hammamet, Tunisia, October 31 ? November 4, 2019, Proceedings: 11884 (Lecture Notes in Computer Science, 11884) (Robert Mark Hierons; Mohamed Mosbah)
- 9783030325046 Theoretical Aspects of Computing ? ICTAC 2019: 16th International Colloquium, Hammamet, Tunisia, October 31 ? November 4, 2019, Proceedings: 11884 (Lecture Notes in Computer Science, 11884) (Robert Mark Hierons; Mohamed Mosbah)
- 9783030325053 Theoretical Aspects of Computing - ICTAC 2019 (Robert Mark Hierons; Mohamed Mosbah)
- 9783642148071 Theoretical Aspects of Computing (Ana Cavalcanti; David Deharbe; Marie-Claude Gaudel; Jim Woodcock)
- Theoretical Aspects of Computing ? ICTAC 2022: 19th International Colloquium, Tbilisi, Georgia, September 27?29, 2022, Proceedings (Lecture Notes in Computer Science Book 13572) (English Edition) (Hayes (auth.), Ian J. Cavalcanti, Ana, Deharbe, David, Gaudel, Marie-Claude, Woodcock (eds.), Jim)
< zum Archiv...