Theoretische Informatik
Cover Conditional and Typed Rewriting Systems
Stephane Kaplan / …
Conditional and Typed Rewriting Systems
Buch

39,99 €
Cover Algebraic and Logic Programming
Helene Kirchner / …
Algebraic and Logic Programming
Buch

39,99 €
Cover Results and Trends in Theoretical Computer Science
Karhumäki 
Results and Trends in Theoretical …
Buch

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

39,99 €
Cover Formal Methods for Real-Time and Probabilistic Systems
Jost-Pieter Katoen …
Formal Methods for Real-Time and …
Buch

39,99 €
Cover Term Rewriting
Comon 
Term Rewriting
Buch

39,99 €
Cover Logic Programming in Action
Gerard Comyn / …
Logic Programming in Action
Buch

39,99 €
Cover Specifying Message Passing and Time-Critical Systems with Temporal Logic
Ron Koymans 
Specifying Message Passing and …
Buch

39,99 €
Cover LOGLAN '88 - Report on the Programming Language
Antoni Kreczmar, …
LOGLAN '88 - Report on the Programming …
Buch

39,99 €
Cover Formal Techniques in Real-Time and Fault-Tolerant Systems
Jonsson 
Formal Techniques in Real-Time and …
Buch

39,99 €
Cover Computer Science Logic
Dalen 
Computer Science Logic
Buch

39,99 €
Cover Computer Science Logic
Kleine Buening 
Computer Science Logic
Buch

39,99 €
Cover Automata, Languages and Programming
Javier Leach Albert …
Automata, Languages and Programming
Buch

77,99 €
Cover Theorem Provers in Circuit Design: Theory, Practice and Experience
Kumar 
Theorem Provers in Circuit Design: …
Buch

39,99 €
Cover New Trends in Formal Languages
Paun 
New Trends in Formal Languages
Buch

39,99 €
Cover Automata, Languages and Programming
Fülöp 
Automata, Languages and Programming
Buch

77,99 €
Cover Algebraic and Logic Programming
Levi 
Algebraic and Logic Programming
Buch

39,99 €
Cover Formal Techniques in Real-Time and Fault-Tolerant Systems
Langmaack 
Formal Techniques in Real-Time and …
Buch

77,99 €
Cover Computer Aided Verification
Kim G. Larsen / Arne …
Computer Aided Verification
Buch

39,99 €
Cover LATIN'98: Theoretical Informatics
Lucchesi 
LATIN'98: Theoretical Informatics
Buch

39,99 €
Cover Compiling Natural Semantics
Mikael Pettersson …
Compiling Natural Semantics
Buch

39,99 €
Cover Parsing Theory
Seppo Sippu, Eljas …
Parsing Theory
Buch

38,99 €
Cover Formal Properties of Finite Automata and Applications
Pin 
Formal Properties of Finite Automata …
Buch

39,99 €
Cover Category Theory and Computer Science
Pitt 
Category Theory and Computer Science
Buch

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

Fachbuch

Unterkategorien