VLB Suche / Kommbuch

Suchergebnisse

261-270 von 1667 Ergebnissen

Das ist ein E-Book

Autor: Yves Bertot, Vorwort von G. Huet, Pierre Castéran, Vorwort von C. Paulin-Mohring
Titel: Interactive Theorem Proving and Program Development
Untertitel: Coq’Art: The Calculus of Inductive Constructions
Beschreibung: mehr
Verlag: Springer Berlin
Erscheinungsdatum: 14.05.2004
ISBN/EAN: 978-3-540-20854-9
Format: Einband - fest (Hardcover)
Status: lieferbar
Preis: 128,39 €

Das ist ein E-Book

Autor: Herausgegeben von V. Wiktor Marek, Herausgegeben von Anil Nerode, Herausgegeben von Miroslaw Truszcynski
Titel: Logic Programming and Nonmonotonic Reasoning
Untertitel: Third International Conference, LPNMR '95, Lexington, KY, USA, June 26 - 28, 1995. Proceedings
Beschreibung: This volume contains the revised refereed papers accepted for presentation at the Third International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR '95, held in Lexington, KY, USA ...mehr
Verlag: Springer Berlin
Erscheinungsdatum: 30.06.2005
ISBN/EAN: 978-3-540-49282-5
Format: E-Buch Text Elektronisches Buch in proprietärem
Status: lieferbar
Preis: 53,49 €

Das ist ein E-Book

Autor: Yves Bertot, Vorwort von G. Huet, Pierre Castéran, Vorwort von C. Paulin-Mohring
Titel: Interactive Theorem Proving and Program Development
Untertitel: Coq’Art: The Calculus of Inductive Constructions
Beschreibung: mehr
Verlag: Springer Berlin
Erscheinungsdatum: 14.03.2013
ISBN/EAN: 978-3-662-07964-5
Format: E-Buch Text Elektronisches Buch in proprietärem
Status: lieferbar
Preis: 90,94 €

Das ist ein E-Book

Autor: Herausgegeben von Jean-Yves Beziau, Herausgegeben von Julio Michael Stern
Titel: New Articulations of the Theory of Oppositions
Untertitel: Seventh World Congress on the Square of Opposition
Beschreibung: mehr
Verlag: Springer International Publishing
Erscheinungsdatum: 01.06.2026
ISBN/EAN: 978-3-032-13067-9
Format: E-Buch Text Elektronisches Buch in proprietärem
Status: lieferbar
Preis: 266,43 €

Autor: W. Kuyk
Titel: Complementarity in Mathematics
Untertitel: A First Introduction to the Foundations of Mathematics and Its History
Beschreibung: mehr
Verlag: Springer Netherland
Erscheinungsdatum: 25.12.2010
ISBN/EAN: 978-90-481-8348-7
Format: Einband - flex.(Paperback)
Status: lieferbar
Preis: 160,49 €

Das ist ein E-Book

Autor: El-Hai, Jack
Titel: Der Nazi und der Psychiater
Untertitel: Aus dem Amerikanischen von Henriette Heise
Beschreibung: Auf der Grundlage bisher nie veröffentlichter Dokumente erzählt der amerikanische Wissenschaftsjournalist Jack El-Hai von der Begegnung des amerikanischen Militärpsychiaters Douglas M.Kelley mit der Elite des Naziregimes – unter ihnen »Reichsmarschall« Hermann Göring.
Das Buch ist die Grundlage für den Spielfilm “Nürnberg” von James Vanderbilt.
Verlag: Die andere Bibliothek im Aufbau Verlag
Preis: 22,00 EURO

Autor: Ingendaay, Paul
Titel: Entscheidung in Spanien
Untertitel: Der große Kampf der Literatur 1936-1939
Beschreibung: Ein Buch darüber, was die Erfahrung des spanischen Bürgerkrieges in den Köpfen und Herzen der zeitgenössischen Künstler und Literaten anrichtet.
Verlag: C.H. Beck
Preis: 28,00 EURO

Autor: Jongeling, Nele
Titel: Ich will nicht arbeiten
Untertitel: Eine Graphic Novel
Beschreibung: Eine pointierte und absolut zeitaktuelle Satire auf Selbstverwirklichung und Selbstausbeutung, Arbeitszwänge und Arbeitsverweigerung und den zeitlosen Wunsch, zu arbeiten, um zu leben und nicht zu leben, um zu arbeiten.
Verlag: Reprodukt
Preis: 29,00 EURO