Grundlagen des maschinellen Beweisens: Eine Einführung für Informatiker und Mathematiker
von Dieter Hofbauer Verlag: Vieweg+Teubner Verlag
Taschenbuch 22.8 X 16.2 X 1.6 cm 184 S. EAN: 9783528047184Das Buch könnte Gebrauchsspuren und Knicke aufweisen, ansonsten allgemein in gutem Zustand. Gegebenenfalls kann Namenseintrag tragen und das Titelbild oder die Auflage könnte abweichen. Kostenfreie Rücksendung. Die Rechnung mit ausgewiese…
Die Welt der Überflieger - Bremen D 1167
von Michael Hofbauer
Deutschen Post AG, Bonn, 2003. 192 S. mit zahlreichen Abb. und 8 Original-Briefmarken, Kunstledereinband mit Silberprägung, quart - 75 Jahre Atlantiküberquerung Ost-West / gutes Exemplar -
Grundlagen des maschinellen Beweisens Eine Einführung für Informatiker und Mathematiker
von Dieter Hofbauer Verlag: Braunschweig ; Wiesbaden: Vieweg. 1989
23 cm. VIII, 172 S. Orig.-Karton. graph. Darst. Gutes Exemplar.
Die Grundwasserkarte von Bayern 1: 25000. - Sonderdruck aus dem "Sonderheft 1967 der Deutschen Ge…
von Wolf-Dieter Grimm Verlag: Koblenz,
1967. brosch. in Mappe. Seite 113-118, 7 Beilagen, Ill., 4° Gewidmet von Wolf-Dieter Grimm! Eigentumsvermerk, leichte Gebrauchsspuren, sonst guter Zustand. Ei1591
- Sammlerstück
Grundlagen des maschinellen Beweisens : eine Einführung für Informatiker und Mathematiker.
von Dieter Hofbauer Verlag: Braunschweig ; Wiesbaden : Vieweg
1989. Broschiert VIII, 172 Seiten; Das hier angebotene Buch stammt aus einer teilaufgelösten wissenschaftlichen Bibliothek und trägt die entsprechenden Kennzeichnungen (Rückenschild, Instituts-Stempel...); leichte altersbedingte Anbräunung des Papiers; der Buchzustand ist ansonsten ordentlich und…
Basquiat by Himself
von Dieter Buchhart Verlag: Hirmer,
2019. gebundene Ausgabe 184 Seiten Text Englisch - Leichte äußere Mängel - Buch ist als Mängelexemplar gekennzeichnet - Buch ansonsten in sehr gutem und ungelesenem Zustand
Grundlagen Des Maschinellen Beweisens: Eine Einführung für Informatiker Und Mathematiker
von Dieter Hofbauer Verlag: Braunschweig: Friedr. Vieweg & Sohn Verlagsgesell…
1991 172 Seiten, Broschiert Zust: Gutes Exemplar. Mit Vorbesitzereintrag.
Grundlagen des maschinellen Beweisens - Eine Einführung für Informatiker und Mathematiker
von Ralf-Detlef Kutsche, Dieter Hofbauer
1989 Kartoniert, 184 Seiten, 244mm x 170mm x 11mm, Sprache(n): ger Dieses Buch ist entstanden aus einer Lehrveranstaltung, die wir in den Jahren 1987 und 1988 konzipiert und weiterentwickelt haben. Sie ist an der Technischen Universitlit Berlin unter dem Namen "LOGIK II fUr Informatiker: Grundla…
Grundlagen des maschinellen Beweisens - Eine Einführung für Informatiker und Mathematiker
von Dieter Hofbauer Verlag: Vieweg & Teubner,
1989 1989. Gepflegter, sauberer Zustand. Aus der Auflösung einer renommierten Bibliothek. Kann Stempel beinhalten. 22692860/202
Die Welt der Überflieger. 75 Jahre Nordatlantikflug Ost-West
von Michael Hofbauer
Hofbauer & Partner, Heidelberg, 2003. 192 S. mit zahlreichen Abb., Kunstleder mit Silberprägung, quart - Herausgeber: Deutsche Post AG, Bonn / Mit 8 original Briefmarken / gutes Exemplar -
- Autor
- Dieter Hofbauer
Speichern Sie Ihre Suche als Auftrag für einen späteren Zeitpunkt und lassen Sie sich bei neu eintreffenden Artikeln automatisch per E-Mail benachrichtigen (optional)!