Sprache
Thema
Format
Verfügbarkeit
Autoren

Suchresultat

Helmut A Partsch, Helmut A. Partsch - Specification and Transformation of Programs
Helmut A Partsch, Helmut A. Partsch Specification and Transformation of Programs Englisch 01.01.1960 Taschenbuch Fr. 69.00 1-2 Wochen (Titel wird auf Bestellung gedruckt)
Ming Li, Paul Vitányi - An Introduction to Kolmogorov Complexity and Its Applications
Ming Li, Paul Vitányi An Introduction to Kolmogorov Complexity and Its Applications Englisch 01.01.2008 Fester Einband vergriffen
Melvin Fitting - First-Order Logic and Automated Theorem Proving
Melvin Fitting First-Order Logic and Automated Theorem Proving Englisch 01.01.1996 Fester Einband vergriffen
Ronald V. Book, Friedrich Otto - String-Rewriting Systems
Ronald V. Book, Friedrich Otto String-Rewriting Systems Englisch 01.01.1993 Fester Einband vergriffen
Eric C. R. Hehner - A Practical Theory of Programming
Eric C. R. Hehner A Practical Theory of Programming Englisch 01.01.1993 Fester Einband vergriffen