![Grundlagen des maschinellen Beweisens Grundlagen des maschinellen Beweisens](https://bilder.buecher.de/produkte/24/24002/24002858n.jpg)
Broschiertes Buch
Eine Einführung für Informatiker und Mathematiker
1989
1. Januar 1989
Vieweg & Teubner / Vieweg+Teubner Verlag
eBook, PDF | 42,99 € |
![Grundlagen des maschinellen Beweisens Grundlagen des maschinellen Beweisens](https://bilder.buecher.de/produkte/24/24660/24660499n.jpg)
Broschiertes Buch
Eine Einführung für Informatiker und Mathematiker
2. Aufl.
1. Oktober 1991
Vieweg+Teubner / Vieweg+Teubner Verlag
978-3-528-14718-1
eBook, PDF | 35,96 € |
![Grundlagen des maschinellen Beweisens (eBook, PDF) Grundlagen des maschinellen Beweisens (eBook, PDF)](https://bilder.buecher.de/produkte/53/53175/53175427m.jpg)
44,99 €**
35,96 €
**Preis der gedruckten Ausgabe (Broschiertes Buch)
Sofort per Download lieferbar
Versandkostenfrei![Grundlagen des maschinellen Beweisens (eBook, PDF) Grundlagen des maschinellen Beweisens (eBook, PDF)](https://bilder.buecher.de/produkte/53/53386/53386113m.jpg)
44,99 €**
42,99 €
**Preis der gedruckten Ausgabe (Broschiertes Buch)
Sofort per Download lieferbar
Versandkostenfrei![Fundamental Approaches to Software Engineering Fundamental Approaches to Software Engineering](https://bilder.buecher.de/produkte/03/03048/03048943m.jpg)
Broschiertes Buch
5th International Conference, FASE 2002, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002, Proceedings
2002
20. März 2002
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-43353-8
eBook, PDF | 40,95 € |
![Model-Based Software and Data Integration Model-Based Software and Data Integration](https://bilder.buecher.de/produkte/23/23602/23602248m.jpg)
Broschiertes Buch
First International Workshop, MBSDI 2008, Berlin, Germany, April 1-3, 2008, Proceedings. Book w. online files/update
2008
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-78998-7
eBook, PDF | 61,95 € |
Ähnliche Artikel
![Scientific Computing Scientific Computing](https://bilder.buecher.de/produkte/24/24754/24754069m.jpg)
Broschiertes Buch
Eine Einführung in das wissenschaftliche Rechnen und Parallele Numerik
1996.
1. Januar 1996
Vieweg+Teubner / Vieweg+Teubner Verlag
978-3-519-02969-4
![Autonome Mobile Systeme 2000 Autonome Mobile Systeme 2000](https://bilder.buecher.de/produkte/09/09366/09366928m.jpg)
Broschiertes Buch
16. Fachgespräch Karlsruhe, 20./21. November 2000
2000.
8. November 2000
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-41214-4
![Termersetzungssysteme Termersetzungssysteme](https://bilder.buecher.de/produkte/36/36111/36111037m.jpg)
Broschiertes Buch
Theorie, Implementierung, Anwendung
1998
16. Januar 1998
Vieweg+Teubner / Vieweg+Teubner Verlag
![Information Mining Information Mining](https://bilder.buecher.de/produkte/08/08795/08795702m.jpg)
Broschiertes Buch
Methoden, Algorithmen und Anwendungen intelligenter Datenanalyse
2000.
29. März 2000
Vieweg+Teubner / Vieweg+Teubner Verlag
![Formalisieren und Beweisen Formalisieren und Beweisen](https://bilder.buecher.de/produkte/25/25928/25928940m.jpg)
Broschiertes Buch
Logik für Informatiker
2., verb. Aufl.
1. Januar 1992
Vieweg+Teubner
![Parsing Parsing](https://bilder.buecher.de/produkte/27/27153/27153727m.jpg)
Broschiertes Buch
Eine Einführung in die maschinelle Analyse natürlicher Sprache
1994.
1. Januar 1994
Vieweg+Teubner / Vieweg+Teubner Verlag
978-3-519-02139-1
![Digitalrechner ¿ Grundlagen und Anwendungen Digitalrechner ¿ Grundlagen und Anwendungen](https://bilder.buecher.de/produkte/26/26979/26979951m.jpg)
Broschiertes Buch
Technische Informatik 1
Nachdr.
1. Januar 1990
Vieweg+Teubner / Vieweg+Teubner Verlag
978-3-528-06372-6
![Digitale Hardware/Software-Systeme Digitale Hardware/Software-Systeme](https://bilder.buecher.de/produkte/28/28019/28019205m.jpg)
Broschiertes Buch
Spezifikation und Verifikation
2010
24. Juni 2010
Springer / Springer Berlin Heidelberg / Springer, Berlin
12790234,978-3-642-05355-9
![Methoden der imperativen Programmierung Methoden der imperativen Programmierung](https://bilder.buecher.de/produkte/27/27140/27140670m.jpg)
Broschiertes Buch
Mit Beispielen in MODULA-2 und EIFFEL
1993.
1. Juni 1993
Vieweg+Teubner / Vieweg+Teubner Verlag
978-3-519-02416-3
Ähnlichkeitssuche: Fact®Finder von OMIKRON