- 5 Ergebnisse
Kleinster Preis: € 52,19, größter Preis: € 69,54, Mittelwert: € 61,74
1
Theoretical Aspects of Computing ¿ ICTAC 2017 : 14th International Colloquium, Hanoi, Vietnam, October 23-27, 2017, Proceedings - Deepak Kapur
Bestellen
bei AbeBooks.de
€ 63,98
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link
Deepak Kapur:

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…

NEW BOOK. Versandkosten:Versandkostenfrei. (EUR 0.00) AHA-BUCH GmbH, Einbeck, Germany [51283250] [Rating: 5 (von 5)]
zuklappen (X)
2
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 - Kapur, Deepak
Bestellen
bei booklooker.de
€ 52,19
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link

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 - 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…

Versandkosten:Versandkostenfrei, Versand nach Deutschland. (EUR 0.00) Buchbär
zuklappen (X)
3
Theoretical Aspects of Computing ? ICTAC 2017: 14th International Colloquium, Hanoi, Vietnam, October 23-27, 2017, Proceedings (Lecture Notes in Computer Science, Band 10580)
Bestellen
bei amazon.de
€ 69,54
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link
Theoretical Aspects of Computing ? ICTAC 2017: 14th International Colloquium, Hanoi, Vietnam, October 23-27, 2017, Proceedings (Lecture Notes in Computer Science, Band 10580) - Erstausgabe

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…

Versandkosten:Auf Lager. Lieferung von Amazon. (EUR 0.00) Amazon.de
zuklappen (X)
4
Theoretical Aspects of Computing
Bestellen
bei Weltbild.de
€ 53,49
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link
Theoretical Aspects of Computing - neues Buch

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…

Nr. 90540763. Versandkosten:, 2-5 Werktage, DE. (EUR 0.00)
zuklappen (X)
5
Theoretical Aspects of Computing ' ICTAC 2017
Bestellen
bei Hugendubel.de
€ 69,49
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link
Theoretical Aspects of Computing ' ICTAC 2017 - Taschenbuch

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…

Versandkosten:Shipping in 3 days, , Versandkostenfrei nach Hause oder Express-Lieferung in Ihre Buchhandlung., DE. (EUR 0.00)
zuklappen (X)
1Da einige Plattformen keine Versandkonditionen übermitteln und diese vom Lieferland, dem Einkaufspreis, dem Gewicht und der Größe des Artikels, einer möglichen Mitgliedschaft der Plattform, einer direkten Lieferung durch die Plattform oder über einen Drittanbieter (Marketplace), etc. abhängig sein können, ist es möglich, dass die von eurobuch angegebenen Versandkosten nicht mit denen der anbietenden Plattform übereinstimmen.

Bibliographische Daten des bestpassenden Buches

Details 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)
Autor:
Titel:
ISBN-Nummer:

9783319677286

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 (Vienna)
Detailseite zuletzt geändert am 2024-03-31T10:32:28+02:00 (Vienna)
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
< zum Archiv...