Theoretische Informatik
Cover Programming Language Implementation and Logic Programming
Pierre Deransart / …
Programming Language Implementation and …
Buch

39,99 €
Cover Rewriting Techniques and Applications
Nachum Dershowitz …
Rewriting Techniques and Applications
Buch

39,99 €
Cover Conditional and Typed Rewriting Systems
Dershowitz 
Conditional and Typed Rewriting Systems
Buch

39,99 €
Cover Typed Lambda Calculi and Applications
Dezani-Ciancaglini&n …
Typed Lambda Calculi and Applications
Buch

39,99 €
Cover Formalization of Programming Concepts
Diaz 
Formalization of Programming Concepts
Buch

39,99 €
Cover Combinatorics on Traces
Volker Diekert 
Combinatorics on Traces
Buch

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

39,99 €
Cover Theorem Proving in Higher Order Logics
Yves Bertot / Gilles …
Theorem Proving in Higher Order Logics
Buch

39,99 €
Cover Typed Lambda Calculi and Applications
Marc Bezem / Jan F. …
Typed Lambda Calculi and Applications
Buch

39,99 €
Cover 5th Conference on Automated Deduction
Bibel 
5th Conference on Automated Deduction
Buch

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

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

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

39,99 €
Cover MFDBS 87
Joachim Biskup / …
MFDBS 87
Buch

39,99 €
Cover Formal Methods in Programming and Their Applications
Bjorner 
Formal Methods in Programming and Their …
Buch

39,99 €
Cover Perspectives of System Informatics
Bjorner 
Perspectives of System Informatics
Buch

39,99 €
Cover Perspectives of System Informatics
Dines Bjorner / …
Perspectives of System Informatics
Buch

77,99 €
Cover Computer Aided Verification
Gregor von Bochmann …
Computer Aided Verification
Buch

39,99 €
Cover Rewriting Techniques and Applications
Ronald V. Book …
Rewriting Techniques and Applications
Buch

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

39,99 €
Cover CSL '87
Börger 
CSL '87
Buch

39,99 €
Cover CSL '89
Börger 
CSL '89
Buch

39,99 €
Cover CSL'88
Egon Börger / Hans …
CSL'88
Buch

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

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

Fachbuch

Unterkategorien