Suchergebnisse für ""Dirk Siefkes""




Ähnliche Artikel


Logik für Informatiker
32,99 €
inkl. MwSt. und vom Verlag festgesetzt.
Versandfertig in über 4 Wochen
Versandkostenfrei*
Bernhard Heinemann
Thomas Ottman
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
Eine Einführung
2. Aufl.
1. September 1992
Vieweg+Teubner / Vieweg+Teubner Verlag
978-3-519-12248-7

Grundlagen des maschinellen Beweisens
44,99 €
inkl. MwSt. und vom Verlag festgesetzt.
Versandfertig in über 4 Wochen
Versandkostenfrei*
Dieter Hofbauer
Ralf-Detlef Kutsche
  (Aktuell noch keine Bewertungen)
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

Isabelle
40,99 €
Versandfertig in über 4 Wochen
Versandkostenfrei*
Lawrence C. Paulson
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
A Generic Theorem Prover
1994.
28. Juli 1994
Springer, Berlin

Logik für Informatiker
34,99 €
inkl. MwSt. und vom Verlag festgesetzt.
Versandfertig in über 4 Wochen
Versandkostenfrei*
Jürgen Dassow
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
2005
29. April 2005
Vieweg+Teubner / Vieweg+Teubner Verlag
978-3-519-00518-6

Grundlagen der Informatik
54,99 €
inkl. MwSt. und vom Verlag festgesetzt.
Versandfertig in über 4 Wochen
Versandkostenfrei*
Robert Schaback
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
für das Nebenfachstudium
1988.
1. Januar 1988
Vieweg+Teubner / Vieweg+Teubner Verlag
978-3-528-06304-7

Applied Algebra, Algorithmics and Error-Correcting Codes
40,99 €
Versandfertig in über 4 Wochen
Versandkostenfrei*
Poli
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
2nd International Conference, AAECC-2, Toulouse, France, October 1-5, 1984. Proceedings
1986.
1. Juli 1986
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-16767-9

Formale Beschreibungsverfahren der Informatik
27,99 €
inkl. MwSt. und vom Verlag festgesetzt.
Versandfertig in über 4 Wochen
Versandkostenfrei*
Helmut Eirund
Bernd Müller
Gerlinde Schreiber
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
Ein Arbeitsbuch für die Praxis
2000.
11. Oktober 2000
Vieweg+Teubner / Vieweg+Teubner Verlag

Kompendium Theoretische Informatik ¿ eine Ideensammlung
37,99 €
inkl. MwSt. und vom Verlag festgesetzt.
Versandfertig in über 4 Wochen
Versandkostenfrei*
Ingo Wegener
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
1996.
1. Januar 1996
Vieweg+Teubner / Vieweg+Teubner Verlag
978-3-519-02145-2



Ähnlichkeitssuche: Fact®Finder von OMIKRON