Theoretical Aspects of Computing - ICTAC 2015 : 12th International Colloquium, Cali, Colombia, October 29-31, 2015, Proceedings - Taschenbuch
2015, ISBN: 331925149X
[EAN: 9783319251493], Neubuch, [PU: Springer International Publishing], EDV / THEORIE INFORMATIK ALLGEMEINES; ALGEBRA; AUTOMATATHEORY; CONCURRENCY; FORMALMETHODSINCOMPUTERSCIENCE; SEMANTI… 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 2015 12th International Colloquium, Cali, Colombia, October 29-31, 2015, Proceedings - neues Buch
2015, ISBN: 331925149X
1st ed. 2015 Kartoniert / Broschiert EDV / Theorie / Informatik / Allgemeines, Diskrete Mathematik, Compiler und Übersetzer, Software Engineering, Theoretische Informatik, Algebra; auto… Mehr…
Achtung-Buecher.de MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien Versandkosten:Versandkostenfrei innerhalb der BRD. (EUR 0.00) Details... |
2015, ISBN: 331925149X
This book constitutes the refereed proceedings of the12th International Colloquium on Theoretical Aspects of Computing, ICTAC 2015,held in Cali, Colombia, in October 2015. The 25 revised… Mehr…
Weltbild.de Nr. 69440674. Versandkosten:, 2-5 Werktage, DE. (EUR 0.00) Details... |
2015, ISBN: 331925149X
This book constitutes the refereed proceedings of the12th International Colloquium on Theoretical Aspects of Computing, ICTAC 2015,held in Cali, Colombia, in October 2015.The 25 revised f… Mehr…
Weltbild.de Nr. 69440674. Versandkosten:, 2-5 Werktage, DE. (EUR 0.00) Details... |
Theoretical Aspects of Computing - ICTAC 2015 : 12th International Colloquium, Cali, Colombia, October 29-31, 2015, Proceedings - Taschenbuch
2015, ISBN: 9783319251493
paperback
Blackwells.co.uk |
Theoretical Aspects of Computing - ICTAC 2015 : 12th International Colloquium, Cali, Colombia, October 29-31, 2015, Proceedings - Taschenbuch
2015, ISBN: 331925149X
[EAN: 9783319251493], Neubuch, [PU: Springer International Publishing], EDV / THEORIE INFORMATIK ALLGEMEINES; ALGEBRA; AUTOMATATHEORY; CONCURRENCY; FORMALMETHODSINCOMPUTERSCIENCE; SEMANTI… Mehr…
Leucker, Martin (Herausgeber); Valencia, Frank D. (Herausgeber); Rueda, Camilo (Herausgeber):
Theoretical Aspects of Computing - ICTAC 2015 12th International Colloquium, Cali, Colombia, October 29-31, 2015, Proceedings - neues Buch2015, ISBN: 331925149X
1st ed. 2015 Kartoniert / Broschiert EDV / Theorie / Informatik / Allgemeines, Diskrete Mathematik, Compiler und Übersetzer, Software Engineering, Theoretische Informatik, Algebra; auto… Mehr…
2015
ISBN: 331925149X
This book constitutes the refereed proceedings of the12th International Colloquium on Theoretical Aspects of Computing, ICTAC 2015,held in Cali, Colombia, in October 2015. The 25 revised… Mehr…
2015, ISBN: 331925149X
This book constitutes the refereed proceedings of the12th International Colloquium on Theoretical Aspects of Computing, ICTAC 2015,held in Cali, Colombia, in October 2015.The 25 revised f… Mehr…
Bibliographische Daten des bestpassenden Buches
Autor: | |
Titel: | |
ISBN-Nummer: |
Detailangaben zum Buch - Theoretical Aspects of Computing - ICTAC 2015
EAN (ISBN-13): 9783319251493
ISBN (ISBN-10): 331925149X
Taschenbuch
Erscheinungsjahr: 2015
Herausgeber: Springer International Publishing
Buch in der Datenbank seit 2015-09-04T10:31:46+02:00 (Zurich)
Detailseite zuletzt geändert am 2024-02-13T15:43:18+01:00 (Zurich)
ISBN/EAN: 9783319251493
ISBN - alternative Schreibweisen:
3-319-25149-X, 978-3-319-25149-3
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: frank martin, camilo
Titel des Buches: aspects the novel, colombia, cali, october 2015, colloquium international
Daten vom Verlag:
Autor/in: Martin Leucker; Camilo Rueda; Frank D. Valencia
Titel: Lecture Notes in Computer Science; Theoretical Computer Science and General Issues; Theoretical Aspects of Computing - ICTAC 2015 - 12th International Colloquium, Cali, Colombia, October 29-31, 2015, Proceedings
Verlag: Springer; Springer International Publishing
620 Seiten
Erscheinungsjahr: 2015-12-25
Cham; CH
Gedruckt / Hergestellt in Niederlande.
Sprache: Englisch
53,49 € (DE)
54,99 € (AT)
59,00 CHF (CH)
POD
XXIV, 620 p. 142 illus. in color.
BC; Hardcover, Softcover / Informatik, EDV/Informatik; Theoretische Informatik; Verstehen; Algebra; Automata theory; Concurrency; Formal methods in computer science; Semantic models; Category theory; Co-algebras; Computability; Domain-specific modeling; Formal analysis; Formal languages; Formal verification; Hybrid systems; Logic; Regular expressions; Runtime verification; Security properties; Software architectures; Type theory; Verification; Computer Science Logic and Foundations of Programming; Compilers and Interpreters; Discrete Mathematics in Computer Science; Software Engineering; Formal Languages and Automata Theory; Compiler und Übersetzer; Mathematik für Informatiker; Diskrete Mathematik; Software Engineering; EA
This book constitutes the refereed proceedings of the 12th International Colloquium on Theoretical Aspects of Computing, ICTAC 2015, held in Cali, Colombia, in October 2015.
Includes supplementary material: sn.pub/extras
Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:
Neuestes ähnliches Buch:
9783030325060 Theoretical Aspects of Computing - ICTAC 2019: 16th International Colloquium, Hammamet, Tunisia, October 31 - November 4, 2019, Proceedings
- 9783030325060 Theoretical Aspects of Computing - ICTAC 2019: 16th International Colloquium, Hammamet, Tunisia, October 31 - November 4, 2019, Proceedings
- 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)
- 9783319251509 Theoretical Aspects of Computing - ICTAC 2015 (Springer International Publishing)
- 9783642034664 Theoretical Aspects of Computing - ICTAC 2009 (Springer)
- 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...