Theoretische Informatik
Cover Computer Science Logic
Börger 
Computer Science Logic
Buch

39,99 €
Cover Computer Science Logic
Börger 
Computer Science Logic
Buch

39,99 €
Cover Temporal Logic
Gabbay 
Temporal Logic
Buch

77,99 €
Cover Automated Deduction - CADE-16
Harald Ganzinger …
Automated Deduction - CADE-16
Buch

39,99 €
Cover Mathematical Foundations of Programming Semantics
Brookes 
Mathematical Foundations of Programming …
Buch

77,99 €
Cover Rewriting Techniques and Applications
Ganzinger 
Rewriting Techniques and Applications
Buch

39,99 €
Cover Fundamentals of Computation Theory
Lothar Budach …
Fundamentals of Computation Theory
Buch

39,99 €
Cover Fundamentals of Computation Theory
Budach 
Fundamentals of Computation Theory
Buch

38,99 €
Cover FME '96: Industrial Benefit and Advances in Formal Methods
Gaudel 
FME '96: Industrial Benefit and …
Buch

77,99 €
Cover Fundamentals of Computation Theory
Gecseg 
Fundamentals of Computation Theory
Buch

38,99 €
Cover Term Indexing
Peter Graf 
Term Indexing
Buch

39,99 €
Cover Typed Lambda Calculi and Applications
Groote 
Typed Lambda Calculi and Applications
Buch

39,99 €
Cover First-Order Programming Theories
Tamas Gergely, …
First-Order Programming Theories
Buch

77,99 €
Cover Electronic Dictionaries and Automata in Computational Linguistics
 
Electronic Dictionaries and Automata in …
Buch

39,99 €
Cover Computer Aided Verification
Grumberg 
Computer Aided Verification
Buch

39,99 €
Cover Theorem Proving in Higher Order Logics
Grundy 
Theorem Proving in Higher Order Logics
Buch

39,99 €
Cover Algebraic and Logic Programming
Hanus 
Algebraic and Logic Programming
Buch

39,99 €
Cover Semantics of Systems of Concurrent Processes
Irene Guessarian …
Semantics of Systems of Concurrent …
Buch

39,99 €
Cover Algebraic and Logic Programming
Hanus 
Algebraic and Logic Programming
Buch

39,99 €
Cover Types for Proofs and Programs
Gimenez 
Types for Proofs and Programs
Buch

39,99 €
Cover Theorem Proving in Higher Order Logics
Gunter 
Theorem Proving in Higher Order Logics
Buch

39,99 €
Cover Typed Lambda Calculi and Applications
Jean-Yves Girard …
Typed Lambda Calculi and Applications
Buch

39,99 €
Cover Computer Science Logic
Georg Gottlob / …
Computer Science Logic
Buch

39,99 €
Cover FME '97 Industrial Applications and Strengthened Foundations of Formal Methods
 
FME '97 Industrial Applications and …
Buch

77,99 €
Zur ersten SeiteZur vorherigen Seite...Weitere Seiten 6 Zur Seite 6 7 Zur Seite 7 8 Zur Seite 8 9 Aktuelle Seite 10 Zur Seite 10 11 Zur Seite 11...Weitere Seiten21Zur letzten Seite, Seite 21Zur nächsten SeiteZur letzten Seite
Zur ersten SeiteZur vorherigen Seite...Weitere Seiten 8 Zur Seite 8 9 Aktuelle Seite...Weitere Seiten21Zur letzten Seite, Seite 21Zur nächsten SeiteZur letzten Seite

Fachbuch

Unterkategorien