![Theorie der logischen Programmierung Theorie der logischen Programmierung](https://bilder.buecher.de/produkte/24/24797/24797930m.jpg)
Broschiertes Buch
Eine elementare Einführung
1992.
11. September 1992
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-55702-9
![Verification of Object-Oriented Software. The KeY Approach Verification of Object-Oriented Software. The KeY Approach](https://bilder.buecher.de/produkte/22/22532/22532133m.jpg)
Broschiertes Buch
Foreword by K. Rustan M. Leino
2007
3. Januar 2007
Springer / Springer Berlin Heidelberg / Springer, Berlin
11960881,978-3-540-68977-5
![Nonmonotonic and Inductive Logic Nonmonotonic and Inductive Logic](https://bilder.buecher.de/produkte/09/09225/09225307m.jpg)
Broschiertes Buch
Second International Workshop, Reinhardsbrunn Castle, Germany, December 2-6, 1991. Proceedings
1993
26. Februar 1993
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-56433-1
![Nonmonotonic and Inductive Logic Nonmonotonic and Inductive Logic](https://bilder.buecher.de/produkte/09/09213/09213643m.jpg)
Broschiertes Buch
1st International Workshop, Karlsruhe, Germany, December 4-7, 1990. Proceedings
1991.
18. September 1991
Springer, Berlin
Ähnliche Artikel
![Constraint-Programmierung Constraint-Programmierung](https://bilder.buecher.de/produkte/06/06620/06620246m.jpg)
Broschiertes Buch
Grundlagen und Anwendungen
1997.
12. September 1997
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-60670-3
![Programmverifikation Programmverifikation](https://bilder.buecher.de/produkte/23/23432/23432672m.jpg)
Broschiertes Buch
Sequentielle, parallele und verteilte Programme
1994.
21. März 1994
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-57479-8
![Übersetzerbau Übersetzerbau](https://bilder.buecher.de/produkte/04/04686/04686155m.jpg)
Broschiertes Buch
Theorie, Konstruktion, Generierung
2. Aufl.
13. März 1997
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-61692-4
![Programmiersprachen ¿ Konzepte, Strukturen und Implementierung in Java Programmiersprachen ¿ Konzepte, Strukturen und Implementierung in Java](https://bilder.buecher.de/produkte/33/33616/33616986m.jpg)
Broschiertes Buch
2011
26. August 2011
Spektrum Akademischer Verlag / Springer Spektrum
80024897,978-3-8274-2850-9
![Logic/Object-Oriented Concurrent Robot Programming and Performance Aspects Logic/Object-Oriented Concurrent Robot Programming and Performance Aspects](https://bilder.buecher.de/produkte/48/48929/48929460m.jpg)
Gebundenes Buch
1997.
4. Dezember 1997
De Gruyter
![Einführung in die Informatik Einführung in die Informatik](https://bilder.buecher.de/produkte/08/08929/08929264m.jpg)
Broschiertes Buch
Objektorientiert mit Java
3., überarb. Aufl.
19. Oktober 2004
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-20958-4
![Funktionale und Applikative Programmierung Funktionale und Applikative Programmierung](https://bilder.buecher.de/produkte/25/25460/25460042m.jpg)
Gebundenes Buch
Grundlagen, Sprachen, Implementierungstechniken
2009
20. März 2009
Springer / Springer Berlin Heidelberg / Springer, Berlin
12564958,978-3-540-89091-1
![Prolog: The Standard Prolog: The Standard](https://bilder.buecher.de/produkte/24/24340/24340384m.jpg)
Broschiertes Buch
Reference Manual
1996.
15. April 1996
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-59304-1
![Parallele Implementierung funktionaler Programmiersprachen Parallele Implementierung funktionaler Programmiersprachen](https://bilder.buecher.de/produkte/36/36110/36110970m.jpg)
Broschiertes Buch
1990.
20. Dezember 1989
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-52049-8
![Kurs in Logischer Programmierung Kurs in Logischer Programmierung](https://bilder.buecher.de/produkte/24/24567/24567984m.jpg)
Broschiertes Buch
1990.
25. Oktober 1990
Springer / Springer Vienna / Springer, Wien
978-3-211-82235-7
Ähnlichkeitssuche: Fact®Finder von OMIKRON