Compilerbau
Cover Formal Techniques in Real-Time and Fault-Tolerant Systems
Jonsson 
Formal Techniques in Real-Time and …
Buch

39,99 €
Cover Static Analysis
Cousot 
Static Analysis
Buch

39,99 €
Cover Theoretical and Practical Aspects of SPIN Model Checking
Dennis R. Dams / Rob …
Theoretical and Practical Aspects of …
Buch

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

39,99 €
Cover Implementation of Functional Languages
 
Implementation of Functional Languages
Buch

39,99 €
Cover Optimal Interprocedural Program Optimization
Jens Knoop 
Optimal Interprocedural Program …
Buch

39,99 €
Cover Logic Program Synthesis and Transformation - Meta-Programming in Logic
Fribourg 
Logic Program Synthesis and …
Buch

39,99 €
Cover Programming Languages: Implementations, Logics, and Programs
Kuchen 
Programming Languages: Implementations, …
Buch

39,99 €
Cover CONCUR '95 Concurrency Theory
 
CONCUR '95 Concurrency Theory
Buch

39,99 €
Cover Compiler Construction
Fritzson 
Compiler Construction
Buch

39,99 €
Cover International Symposium on Programming
Paul 
International Symposium on Programming
Buch

39,99 €
Cover ECOOP '92. European Conference on Object-Oriented Programming
Ole Lehrmann Madsen …
ECOOP '92. European Conference on …
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 Logic Programming '88
Furukawa 
Logic Programming '88
Buch

39,99 €
Cover Studies of Software Design
Lamb 
Studies of Software Design
Buch

39,99 €
Cover Extensions of Logic Programming
Evelina Lamma / …
Extensions of Logic Programming
Buch

39,99 €
Cover Static Analysis
Levi 
Static Analysis
Buch

39,99 €
Cover ESEC '91
Axel van Lamsweerde …
ESEC '91
Buch

39,99 €
Cover Mathematical Foundations of Computer Science 1996
Penczek 
Mathematical Foundations of Computer …
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 Functional Programming, Concurrency, Simulation and Automated Reasoning
Peter E. Lauer …
Functional Programming, Concurrency, …
Buch

39,99 €
Cover ANNA A Language for Annotating Ada Programs
David C. Luckham, …
ANNA A Language for Annotating Ada …
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