2015, ISBN: 9783319251509
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.The 25 revised… Mehr…
kobo.com Versandkosten:Zzgl. Versandkosten., zzgl. Versandkosten Details... |
2015, ISBN: 9783319251509
Theoretical Aspects of Computing - ICTAC 2015 ab 74.99 € als pdf eBook: 12th International Colloquium Cali Colombia October 29-31 2015 Proceedings. Aus dem Bereich: eBooks, Fachthemen & W… Mehr…
Hugendubel.de Nr. 25122750. Versandkosten:, , DE. (EUR 0.00) Details... |
2015, ISBN: 9783319251509
Theoretical Aspects of Computing - ICTAC 2015 ab 74.99 € als pdf eBook: 12th International Colloquium Cali Colombia October 29-31 2015 Proceedings. Aus dem Bereich: eBooks, Fachthemen & W… Mehr…
Hugendubel.de Versandkosten:In stock (Download), , Versandkostenfrei nach Hause oder Express-Lieferung in Ihre Buchhandlung., DE. (EUR 0.00) Details... |
2015, ISBN: 9783319251509
Theoretical Aspects of Computing - ICTAC 2015 - 12th International Colloquium Cali Colombia October 29-31 2015 Proceedings: ab 74.99 € eBooks > Fachthemen & Wissenschaft > Mathematik Spri… Mehr…
eBook.de Versandkosten:in stock, , , DE. (EUR 0.00) Details... |
Theoretical Aspects of Computing - ICTAC 2015 : 12th International Colloquium, Cali, Colombia, October 29-31, 2015, Proceedings - neues Buch
2015, ISBN: 9783319251509
; PDF; Computing > Computer programming / software development, Springer Berlin Heidelberg
hive.co.uk No. 9783319251509. Versandkosten:Instock, Despatched same working day before 3pm, plus shipping costs., zzgl. Versandkosten Details... |
2015, ISBN: 9783319251509
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.The 25 revised… Mehr…
2015, ISBN: 9783319251509
Theoretical Aspects of Computing - ICTAC 2015 ab 74.99 € als pdf eBook: 12th International Colloquium Cali Colombia October 29-31 2015 Proceedings. Aus dem Bereich: eBooks, Fachthemen & W… Mehr…
2015
ISBN: 9783319251509
Theoretical Aspects of Computing - ICTAC 2015 ab 74.99 € als pdf eBook: 12th International Colloquium Cali Colombia October 29-31 2015 Proceedings. Aus dem Bereich: eBooks, Fachthemen & W… Mehr…
2015, ISBN: 9783319251509
Theoretical Aspects of Computing - ICTAC 2015 - 12th International Colloquium Cali Colombia October 29-31 2015 Proceedings: ab 74.99 € eBooks > Fachthemen & Wissenschaft > Mathematik Spri… Mehr…
Bibliographische Daten des bestpassenden Buches
Autor: | |
Titel: | |
ISBN-Nummer: |
Detailangaben zum Buch - Theoretical Aspects of Computing - ICTAC 2015
EAN (ISBN-13): 9783319251509
Erscheinungsjahr: 2015
Herausgeber: Springer-Verlag GmbH
Buch in der Datenbank seit 2015-10-16T11:18:59+02:00 (Zurich)
Detailseite zuletzt geändert am 2023-03-16T13:22:14+01:00 (Zurich)
ISBN/EAN: 9783319251509
ISBN - alternative Schreibweisen:
978-3-319-25150-9
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: martin frank
Titel des Buches: aspects the novel, october 2015, colloquium international
Daten vom Verlag:
Autor/in: Martin Leucker; Camilo Rueda; Frank D. Valencia
Titel: Theoretical Computer Science and General Issues; Lecture Notes in Computer Science; 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-10-08
Cham; CH
Sprache: Englisch
53,49 € (DE)
55,00 € (AT)
59,00 CHF (CH)
Available
XXIV, 620 p. 142 illus. in color.
EA; E107; eBook; Nonbooks, PBS / 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; C; Computer Science Logic and Foundations of Programming; Compilers and Interpreters; Discrete Mathematics in Computer Science; Software Engineering; Formal Languages and Automata Theory; Computer Science; Compiler und Übersetzer; Mathematik für Informatiker; Diskrete Mathematik; Software Engineering; BC
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:
9783031177149 Theoretical Aspects of Computing ? ICTAC 2022 (Helmut Seidl; Zhiming Liu; Corina S. Pasareanu)
- 9783031177149 Theoretical Aspects of Computing ? ICTAC 2022 (Helmut Seidl; Zhiming Liu; Corina S. Pasareanu)
- 9783030325060 Theoretical Aspects of Computing - ICTAC 2019: 16th International Colloquium, Hammamet, Tunisia, October 31 - November 4, 2019, Proceedings
- 9783030642754 Theoretical Aspects of Computing ? ICTAC 2020: 17th International Colloquium, Macau, China, November 30 ? December 4, 2020, Proceedings: 12545 (Theoretical Computer Science and General Issues, 12545) (Violet Ka I Pun; Volker Stolz; Adenilso Simao)
- 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)
- 9783319251493 Theoretical Aspects of Computing - ICTAC 2015 (Martin Leucker; Camilo Rueda; Frank D. Valencia)
- 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)
- Group Theoretical Methods in Physics. Proceedings of the VIII International Colloquium on Group-Theoretical Methods in Physics, held at Kiryat Anavim, March 1979. (= Annals of the Israel Physical Society, 3). (Horowitz, L.P; Ne'eman, Y. (Hrsg.))
< zum Archiv...