Theoretische Informatik
Cover CAAP '92
Jean-Claude Raoult …
CAAP '92
Buch

39,99 €
Cover Automata Implementation
Raymond 
Automata Implementation
Buch

39,99 €
Cover MFDBS 91
Bernhard Thalheim / …
MFDBS 91
Buch

39,99 €
Cover Automata, Languages and Programming
Andrzej Lingas / …
Automata, Languages and Programming
Buch

77,99 €
Cover Turing Machines with Sublogarithmic Space
Andrzej …
Turing Machines with Sublogarithmic Space
Buch

39,99 €
Cover Finite Representations of CCS and TCSP Programs by Automata and Petri Nets
Dirk A. Taubner 
Finite Representations of CCS and TCSP …
Buch

39,99 €
Cover Generalized Quantifiers and Computation
Jouko Väänänen …
Generalized Quantifiers and Computation
Buch

39,99 €
Cover Conditional Term Rewriting Systems
Michael Rusinowitch …
Conditional Term Rewriting Systems
Buch

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

39,99 €
Cover Automata Implementation
 
Automata Implementation
Buch

39,99 €
Cover FME '93: Industrial-Strength Formal Methods
James C.P. Woodcock …
FME '93: Industrial-Strength Formal …
Buch

77,99 €
Cover Automata, Languages and Programming
Juiri Wiedermann / …
Automata, Languages and Programming
Buch

77,99 €
Cover Algebraic Methodology and Software Technology
Wirsing 
Algebraic Methodology and Software …
Buch

77,99 €
Cover LATIN '92
Imre Simon (ed.) 
LATIN '92
Buch

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

39,99 €
Cover Foundations of Software Technology and Theoretical Computer Science
Shyamasundar 
Foundations of Software Technology and …
Buch

39,99 €
Cover Automata, Languages and Programming
Ausiello 
Automata, Languages and Programming
Buch

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

39,99 €
Cover Automata, Languages and Programming
 
Automata, Languages and Programming
Buch

39,99 €
Cover Automata, Languages and Programming
Meyer auf der …
Automata, Languages and Programming
Buch

77,99 €
Cover LATIN 2000: Theoretical Informatics
Gaston H. Gonnet / …
LATIN 2000: Theoretical Informatics
Buch

39,99 €
Cover Grammatical Inference: Learning Syntax from Sentences
Miclet 
Grammatical Inference: Learning Syntax …
Buch

39,99 €
Cover STACS 98
Morvan 
STACS 98
Buch

77,99 €
Cover FME '94: Industrial Benefit of Formal Methods
Naftalin 
FME '94: Industrial Benefit of Formal …
Buch

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

Fachbuch

Unterkategorien