Theoretische Informatik
Cover Computer Science Logic
Jörg Flum / Mario …
Computer Science Logic
Buch

39,99 €
Cover Grammatical Inference and Applications
Carrasco 
Grammatical Inference and Applications
Buch

39,99 €
Cover Algebraic Methodology and Software Technology
Haeberer 
Algebraic Methodology and Software …
Buch

39,99 €
Cover Time Structures
Elzbieta Hajnicz 
Time Structures
Buch

39,99 €
Cover PARLE '94 Parallel Architectures and Languages Europe
Halatsis 
PARLE '94 Parallel Architectures and …
Buch

77,99 €
Cover Computer Aided Verification
Nicolas Halbwachs / …
Computer Aided Verification
Buch

39,99 €
Cover Higher-Order Algebra, Logic, and Term Rewriting
Heering 
Higher-Order Algebra, Logic, and Term …
Buch

39,99 €
Cover Rewriting Techniques and Applications
Hsiang 
Rewriting Techniques and Applications
Buch

39,99 €
Cover Hybrid Systems: Computation and Control
Henzinger 
Hybrid Systems: Computation and Control
Buch

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

77,99 €
Cover Parallel Lisp: Languages and Systems
Ito 
Parallel Lisp: Languages and Systems
Buch

39,99 €
Cover Automata Implementation
Jean-Marc …
Automata Implementation
Buch

39,99 €
Cover Foundations of Computer Science
Freksa 
Foundations of Computer Science
Buch

77,99 €
Cover Automata Networks
C. Choffrut (ed.) 
Automata Networks
Buch

39,99 €
Cover STACS 90
Christian Choffrut / …
STACS 90
Buch

39,99 €
Cover Industrial-Strength Formal Methods in Practice
Michael G. Hinchey / …
Industrial-Strength Formal Methods in …
Buch

112,99 €
Cover Object-Based Models and Languages for Concurrent Systems
Ciancarini 
Object-Based Models and Languages for …
Buch

39,99 €
Cover Fundamentals of Computation Theory
Gabriel Ciobanu / …
Fundamentals of Computation Theory
Buch

77,99 €
Cover Applied Formal Methods - FM-Trends 98
Dieter Hutter / …
Applied Formal Methods - FM-Trends 98
Buch

39,99 €
Cover Algorithmic Learning for Knowledge-Based Systems
 
Algorithmic Learning for …
Buch

39,99 €
Cover Computer-Aided Verification
Edmund M. Clarke / …
Computer-Aided Verification
Buch

39,99 €
Cover Higher Order Logic Theorem Proving and Its Applications
Joyce 
Higher Order Logic Theorem Proving and …
Buch

39,99 €
Cover Trees in Algebra and Programming - CAAP '96
Kirchner 
Trees in Algebra and Programming - CAAP …
Buch

39,99 €
Cover Conditional Term Rewriting Systems
Stephane Kaplan / …
Conditional Term Rewriting Systems
Buch

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

Fachbuch

Unterkategorien