Theoretische Informatik
Cover Computer Science Logic
Jerzy Marcinkowski / …
Computer Science Logic
Buch

39,99 €
Cover DNA Computing
Junghuei Chen / John …
DNA Computing
Buch

39,99 €
Cover Automatic Sequences
von Friedrich …
Automatic Sequences
Buch

104,99 €
Cover Integrated Formal Methods
Eerke Boiten / John …
Integrated Formal Methods
Buch

39,99 €
Cover LATIN 2004: Theoretical Informatics
Martin Farach-Colton …
LATIN 2004: Theoretical Informatics
Buch

77,99 €
Cover Logic Based Program Synthesis and Transformation
Maurice Bruynooghe …
Logic Based Program Synthesis and …
Buch

39,99 €
Cover Perspectives of Systems Informatics
Manfred Broy / …
Perspectives of Systems Informatics
Buch

39,99 €
Cover Relational and Kleene-Algebraic Methods in Computer Science
R. Berghammer / …
Relational and Kleene-Algebraic Methods …
Buch

39,99 €
Cover Rewriting Techniques and Applications
Vincent van Oostrom …
Rewriting Techniques and Applications
Buch

39,99 €
Cover Theorem Proving in Higher Order Logics
Konrad Slind / …
Theorem Proving in Higher Order Logics
Buch

39,99 €
Cover Types for Proofs and Programs
Stefano Berardi / …
Types for Proofs and Programs
Buch

39,99 €
Cover ZB 2003: Formal Specification and Development in Z and B
Didier Bert / …
ZB 2003: Formal Specification and …
Buch

106,99 €
Cover Advances in Verification of Time Petri Nets and Timed Automata
Wojciech Penczek, …
Advances in Verification of Time Petri …
Buch

115,99 €
Cover Recent Advances in Formal Languages and Applications
Zoltán Esik / …
Recent Advances in Formal Languages and …
Buch

115,99 €
Cover A Computational Model of Natural Language Communication
Roland R. Hausser 
A Computational Model of Natural …
Buch

38,99 €
Cover Formal Models of Communicating Systems
Benedikt Bollig 
Formal Models of Communicating Systems
Buch

38,99 €
Cover Einführung in Formale Sprachen, Berechenbarkeit, Informations- und Lerntheorie
Norbert Blum 
Einführung in Formale Sprachen, …
Buch

34,95 €
Cover Formal Modeling and Analysis of Timed Systems
Eugene Asarin / …
Formal Modeling and Analysis of Timed …
Buch

39,99 €
Cover Developments in Language Theory
Oscar H. Ibarra / …
Developments in Language Theory
Buch

39,99 €
Cover Leveraging Applications of Formal Methods
Tiziana Maragria / …
Leveraging Applications of Formal Methods
Buch

39,99 €
Cover Automated Technology for Verification and Analysis
Susanne Graf / …
Automated Technology for Verification …
Buch

39,99 €
Cover Unconventional Computation
Cristian S. Calude / …
Unconventional Computation
Buch

39,99 €
Cover Computer Algebra in Scientific Computing
V.G. Ganzha / E.W. …
Computer Algebra in Scientific Computing
Buch

39,99 €
Cover Logic for Programming, Artificial Intelligence, and Reasoning
Miki Hermann / …
Logic for Programming, Artificial …
Buch

77,99 €
Zur ersten SeiteZur vorherigen Seite...Weitere Seiten 11 Zur Seite 11 12 Zur Seite 12 13 Zur Seite 13 14 Aktuelle Seite 15 Zur Seite 15 16 Zur Seite 16...Weitere Seiten21Zur letzten Seite, Seite 21Zur nächsten SeiteZur letzten Seite
Zur ersten SeiteZur vorherigen Seite...Weitere Seiten 13 Zur Seite 13 14 Aktuelle Seite...Weitere Seiten21Zur letzten Seite, Seite 21Zur nächsten SeiteZur letzten Seite

Fachbuch

Unterkategorien