Entdecke Informationen, Ratschläge und Preise für Boulton Richard J Theorem Proving, zum Preis von 53.49 € : es gehört zur Kategorie Bücher & Zeitschriften; dieses Produkt wird von MEDIMOPS verkauft und von Boulton, Richard J. - hergestellt.
Brand : Springer, Binding : Taschenbuch, Edition : 2001, Label : Springer, Publisher : Springer, NumberOfItems : 1, medium : Taschenbuch, numberOfPages : 410, publicationDate : 2008-06-13, authors : Boulton, Richard J., Jackson, Paul B., ISBN : 354042525X
Zustand: new
Verfügbarkeit: in_stock
Lieferzeit: 3-5 Werktage
EAN: 9783540425250
Entdecke Informationen, Ratschläge und Preise für Carrier Richard C Proving History, das für 28.1 € verkauft wird und in der Kategorie Bücher & Zeitschriften erhältlich ist; dieses Produkt wird von MEDIMOPS verkauft und von Carrier, Richard C. - hergestellt.
Binding : Gebundene Ausgabe, Edition : New, Label : Prometheus Books, Publisher : Prometheus Books, NumberOfItems : 1, PackageQuantity : 1, medium : Gebundene Ausgabe, numberOfPages : 340, publicationDate : 2012-04-24, releaseDate : 2012-04-24, authors : Carrier, Richard C., ISBN : 1616145595
Zustand: new
Verfügbarkeit: in_stock
Lieferzeit: 3-5 Werktage
EAN: 9781616145590
Entdecke Informationen, Ratschläge und Preise für Joyce Jeffrey J Higher Order, das für 53.24 € verkauft wird und in der Kategorie Bücher & Zeitschriften erhältlich ist; dieses Produkt wird von MEDIMOPS verkauft und von Joyce, Jeffrey J. - hergestellt.
Brand : Springer, Binding : Taschenbuch, Edition : 1994, Label : Springer, Publisher : Springer, NumberOfItems : 1, medium : Taschenbuch, numberOfPages : 536, publicationDate : 2008-06-13, authors : Joyce, Jeffrey J., Seger, Carl-Johan H., ISBN : 3540578269
Zustand: new
Verfügbarkeit: in_stock
Lieferzeit: 3-5 Werktage
EAN: 9783540578260
Erhalte Tipps, Meinungen und Funktionen zu Activision GEBRAUCHT Tony Hawk s, das für 15.48 € erhältlich ist; dieses Produkt ist in der Kategorie Videospiele gelistet, wird von Activision - hergestellt und von MEDIMOPS verkauft.
AudienceRating : Freigegeben ab 6 Jahren, Brand : Activision, Binding : Videospiel, Label : Activision, Publisher : Activision, NumberOfDiscs : 1, Feature : System : Sony Playstation 3 // Genre : Skateboard, Sport // Fernsehnorm : PAL // Version : deutsch // Altersfreigabe : ab 6 J ahren, medium : Videospiel, 0 : Playstation 3, 0 : PlayStation 3, releaseDate : 2007-11-01
Zustand: used
Verfügbarkeit: auf Lager1
Versandkosten: 1.99
Lieferzeit: 1-4 Werktage
EAN: 5030917047435
Entdecke Informationen, Ratschläge und Preise für Blanchette Jasmin Christian Interactive, zum Preis von 52.94 € : es gehört zur Kategorie Bücher & Zeitschriften; dieses Produkt wird von MEDIMOPS verkauft und von Blanchette, Jasmin Christian - hergestellt.
Binding : Taschenbuch, Edition : 1st ed. 2016, Label : Springer, Publisher : Springer, medium : Taschenbuch, numberOfPages : 520, publicationDate : 2016-08-07, releaseDate : 2016-08-07, publishers : Blanchette, Jasmin Christian, languages : english, ISBN : 3319431439
Zustand: new
Verfügbarkeit: in_stock
Lieferzeit: 3-5 Werktage
EAN: 9783319431437
Entdecke Informationen, Ratschläge und Preise für Yves Bertot Interactive Theorem Proving, zum Preis von 84.94 € : es gehört zur Kategorie Bücher & Zeitschriften; dieses Produkt wird von MEDIMOPS verkauft und von Yves Bertot - hergestellt.
Brand : Springer, Binding : Taschenbuch, Edition : Softcover reprint of hardcover 1st ed. 2004, Label : Springer Berlin Heidelberg, Publisher : Springer Berlin Heidelberg, medium : Taschenbuch, numberOfPages : 500, publicationDate : 2010-02-19, authors : Yves Bertot, ISBN : 3642058809
Zustand: new
Verfügbarkeit: in_stock
Lieferzeit: 3-5 Werktage
EAN: 9783642058806
Erhalte Tipps, Meinungen und Funktionen zu Wen Ts Xfcn Wu Mechanical, das für 53.49 € erhältlich ist; dieses Produkt ist in der Kategorie Bücher & Zeitschriften gelistet, wird von Wen-Ts\Xfcn Wu - hergestellt und von MEDIMOPS verkauft.
Brand : Springer, Binding : Taschenbuch, Edition : Softcover reprint of the original 1st ed. 1994, Label : Springer, Publisher : Springer, medium : Taschenbuch, numberOfPages : 308, publicationDate : 1994-04-14, releaseDate : 1994-04-14, authors : Wen-Ts\Xfcn Wu, ISBN : 3211825061
Zustand: new
Verfügbarkeit: in_stock
Lieferzeit: 3-5 Werktage
EAN: 9783211825068
Entdecke Informationen, Ratschläge und Preise für Gerwin Klein Interactive Theorem Proving, das für 52.94 € verkauft wird und in der Kategorie Bücher & Zeitschriften erhältlich ist; dieses Produkt wird von MEDIMOPS verkauft und von Gerwin Klein - hergestellt.
Binding : Taschenbuch, Edition : 2014, Label : Springer, Publisher : Springer, medium : Taschenbuch, numberOfPages : 580, publicationDate : 2014-08-01, releaseDate : 2014-08-01, publishers : Gerwin Klein, languages : english, ISBN : 3319089692
Zustand: new
Verfügbarkeit: in_stock
Lieferzeit: 3-5 Werktage
EAN: 9783319089690
Finde Tipps, Bewertungen und Funktionen zu Dominique Snyers From Logic Design, das für 53.49 € verkauft wird und in der Kategorie Bücher & Zeitschriften erhältlich ist; dieses Produkt gehört zu Dominique Snyers - und wird von MEDIMOPS verkauft.
Binding : Taschenbuch, Edition : 1987, Label : Springer, Publisher : Springer, medium : Taschenbuch, numberOfPages : 134, publicationDate : 2008-06-13, authors : Dominique Snyers, André Thayse, languages : english, ISBN : 3540182179
Zustand: new
Verfügbarkeit: in_stock
Lieferzeit: 3-5 Werktage
EAN: 9783540182177
Entdecke Informationen, Ratschläge und Preise für Carre o Victor A Theorem, das für 53.49 € verkauft wird und in der Kategorie Bücher & Zeitschriften erhältlich ist; dieses Produkt wird von MEDIMOPS verkauft und von Carreño, Victor A. - hergestellt.
Brand : Springer, Binding : Taschenbuch, Edition : 2002, Label : Springer, Publisher : Springer, NumberOfItems : 1, medium : Taschenbuch, numberOfPages : 380, publicationDate : 2009-02-22, publishers : Carreño, Victor A., ISBN : 3540440399
Zustand: new
Verfügbarkeit: in_stock
Lieferzeit: 3-5 Werktage
EAN: 9783540440390
Finde Tipps, Bewertungen und Funktionen zu Jim Grundy Theorem Proving in, das für 53.49 € verkauft wird und in der Kategorie Bücher & Zeitschriften erhältlich ist; dieses Produkt gehört zu Jim Grundy - und wird von MEDIMOPS verkauft.
Brand : Springer, Binding : Taschenbuch, Edition : 1998, Label : Springer, Publisher : Springer, NumberOfItems : 1, medium : Taschenbuch, numberOfPages : 514, publicationDate : 2008-06-13, authors : Jim Grundy, Malcolm Newey, ISBN : 3540649875
Zustand: new
Verfügbarkeit: in_stock
Lieferzeit: 3-5 Werktage
EAN: 9783540649878
Entdecke Informationen, Ratschläge und Preise für Melvin Fitting First Order Logic, zum Preis von 90.94 € : es gehört zur Kategorie Bücher & Zeitschriften; dieses Produkt wird von MEDIMOPS verkauft und von Melvin Fitting - hergestellt.
Brand : Springer, Binding : Taschenbuch, Edition : 2nd ed. 1996. Softcover reprint of the original 2nd ed. 1996, Label : Springer, Publisher : Springer, medium : Taschenbuch, numberOfPages : 348, publicationDate : 2013-06-26, releaseDate : 2013-06-26, authors : Melvin Fitting, ISBN : 1461275156
Zustand: new
Verfügbarkeit: in_stock
Lieferzeit: 3-5 Werktage
EAN: 9781461275152
Finde Tipps, Bewertungen und Funktionen zu Stefan Berghofer Theorem Proving in, das für 53.49 € verkauft wird und in der Kategorie Bücher & Zeitschriften erhältlich ist; dieses Produkt gehört zu Stefan Berghofer - und wird von MEDIMOPS verkauft.
Binding : Taschenbuch, Edition : 2009, Label : Springer, Publisher : Springer, medium : Taschenbuch, numberOfPages : 532, publicationDate : 2009-08-04, releaseDate : 2009-08-04, publishers : Stefan Berghofer, languages : english, ISBN : 364203358X
Zustand: new
Verfügbarkeit: in_stock
Lieferzeit: 3-5 Werktage
EAN: 9783642033582
Finde Tipps, Bewertungen und Funktionen zu Shang Ching Chou Mechanical Geometry, das für 106.24 € verkauft wird und in der Kategorie Bücher & Zeitschriften erhältlich ist; dieses Produkt gehört zu Shang-Ching Chou - und wird von MEDIMOPS verkauft.
Brand : Springer, Binding : Taschenbuch, Edition : Softcover reprint of the original 1st ed. 1988, Label : Springer, Publisher : Springer, medium : Taschenbuch, numberOfPages : 380, publicationDate : 2001-11-30, releaseDate : 2001-11-30, authors : Shang-Ching Chou, ISBN : 1402003307
Zustand: new
Verfügbarkeit: in_stock
Lieferzeit: 3-5 Werktage
EAN: 9781402003301
Entdecke Informationen, Ratschläge und Preise für Schubert E Thomas Higher Order, zum Preis von 53.49 € : es gehört zur Kategorie Bücher & Zeitschriften; dieses Produkt wird von MEDIMOPS verkauft und von Schubert, E. Thomas - hergestellt.
Brand : Springer, Binding : Taschenbuch, Edition : 1995, Label : Springer, Publisher : Springer, NumberOfItems : 1, medium : Taschenbuch, numberOfPages : 416, publicationDate : 2009-02-22, publishers : Schubert, E. Thomas, ISBN : 3540602755
Zustand: new
Verfügbarkeit: in_stock
Lieferzeit: 3-5 Werktage
EAN: 9783540602750
Erhalte Tipps, Meinungen und Funktionen zu Schumann Johann M Automated Theorem, das für 52.94 € erhältlich ist; dieses Produkt ist in der Kategorie Bücher & Zeitschriften gelistet, wird von Schumann, Johann M. - hergestellt und von MEDIMOPS verkauft.
Binding : Taschenbuch, medium : Taschenbuch, publicationDate : 2010-01-01, authors : Schumann, Johann M., ISBN : 3642087590
Zustand: new
Verfügbarkeit: in_stock
Lieferzeit: 3-5 Werktage
EAN: 9783642087592
Entdecke Informationen, Ratschläge und Preise für Osman Hasan Formalized Probability Theory, das für 213.6 € verkauft wird und in der Kategorie Bücher & Zeitschriften erhältlich ist; dieses Produkt wird von MEDIMOPS verkauft und von Osman Hasan - hergestellt.
Brand : Information Science Reference, Binding : Gebundene Ausgabe, Edition : Illustrated, Label : Information Science Reference, Publisher : Information Science Reference, Format : Illustriert, medium : Gebundene Ausgabe, numberOfPages : 312, publicationDate : 2015-03-31, releaseDate : 2015-03-31, authors : Osman Hasan, Sofiène Tahar, ISBN : 1466683155
Zustand: new
Verfügbarkeit: in_stock
Lieferzeit: 3-5 Werktage
EAN: 9781466683150
Entdecke Informationen, Ratschläge und Preise für Wu Wen tsun Mathematics Mechanization, zum Preis von 102.94 € : es gehört zur Kategorie Bücher & Zeitschriften; dieses Produkt wird von MEDIMOPS verkauft und von Wu Wen-tsun - hergestellt.
Brand : Springer, Binding : Gebundene Ausgabe, Edition : 2001, Label : Springer, Publisher : Springer, PackageQuantity : 1, Format : Illustriert, medium : Gebundene Ausgabe, numberOfPages : 432, publicationDate : 2001-04-30, authors : Wu Wen-tsun, ISBN : 079235835X
Zustand: new
Verfügbarkeit: in_stock
Lieferzeit: 3-5 Werktage
EAN: 9780792358350
Entdecke Informationen, Ratschläge und Preise für Mauricio Ayala Rinc n Interactive, zum Preis von 52.94 € : es gehört zur Kategorie Bücher & Zeitschriften; dieses Produkt wird von MEDIMOPS verkauft und von Mauricio Ayala-Rincón - hergestellt.
Binding : Taschenbuch, Edition : 1st ed. 2017, Label : Springer, Publisher : Springer, medium : Taschenbuch, numberOfPages : 552, publicationDate : 2017-08-21, releaseDate : 2017-08-21, publishers : Mauricio Ayala-Rincón, languages : english, ISBN : 331966106X
Zustand: new
Verfügbarkeit: in_stock
Lieferzeit: 3-5 Werktage
EAN: 9783319661063
Finde Tipps, Bewertungen und Funktionen zu Burkhart Wolff Theorem Proving in, das für 53.49 € verkauft wird und in der Kategorie Bücher & Zeitschriften erhältlich ist; dieses Produkt gehört zu Burkhart Wolff - und wird von MEDIMOPS verkauft.
Brand : Springer, Binding : Taschenbuch, Edition : 2003, Label : Springer, Publisher : Springer, NumberOfItems : 1, medium : Taschenbuch, numberOfPages : 380, publicationDate : 2008-06-13, authors : Burkhart Wolff, David Basin, ISBN : 3540406646
Zustand: new
Verfügbarkeit: in_stock
Lieferzeit: 3-5 Werktage
EAN: 9783540406648
