Entdecke Informationen, Ratschläge und Preise für Alessandro Armando Automated Reasoning 4th, das für 45.01 € verkauft wird und in der Kategorie Bücher & Zeitschriften erhältlich ist; dieses Produkt wird von MEDIMOPS verkauft und von Alessandro Armando - hergestellt.
Binding : Taschenbuch, Edition : 2008, Label : Springer, Publisher : Springer, PackageQuantity : 3, medium : Taschenbuch, numberOfPages : 572, publicationDate : 2008-09-11, publishers : Alessandro Armando, languages : english, ISBN : 3540710698
Zustand: new
Verfügbarkeit: in_stock
Lieferzeit: 3-5 Werktage
EAN: 9783540710691
Erhalte Tipps, Meinungen und Funktionen zu Andrei Voronkov Logic Programming and, das für 53.49 € erhältlich ist; dieses Produkt ist in der Kategorie Bücher & Zeitschriften gelistet, wird von Andrei Voronkov - hergestellt und von MEDIMOPS verkauft.
Brand : Springer, Binding : Taschenbuch, Edition : 1993, Label : Springer, Publisher : Springer, Format : Illustriert, medium : Taschenbuch, numberOfPages : 408, publicationDate : 2008-06-13, authors : Andrei Voronkov, ISBN : 3540569448
Zustand: new
Verfügbarkeit: in_stock
Lieferzeit: 3-5 Werktage
EAN: 9783540569442
Finde Tipps, Bewertungen und Funktionen zu Nicolas Peltier Automated Reasoning 10th, das für 85.59 € verkauft wird und in der Kategorie Bücher & Zeitschriften erhältlich ist; dieses Produkt gehört zu Nicolas Peltier - und wird von MEDIMOPS verkauft.
Brand : Springer, Binding : Taschenbuch, Edition : 1st ed. 2020, Label : Springer, Publisher : Springer, medium : Taschenbuch, numberOfPages : 568, publicationDate : 2020-06-30, releaseDate : 2020-06-30, publishers : Nicolas Peltier, Viorica Sofronie-Stokkermans, ISBN : 3030510735
Zustand: new
Verfügbarkeit: in_stock
Lieferzeit: 3-5 Werktage
EAN: 9783030510732
Entdecke Informationen, Ratschläge und Preise für Nicolas Peltier Automated Reasoning 10th, zum Preis von 79.04 € : es gehört zur Kategorie Bücher & Zeitschriften; dieses Produkt wird von MEDIMOPS verkauft und von Nicolas Peltier - hergestellt.
Brand : Springer, Binding : Taschenbuch, Edition : 1st ed. 2020, Label : Springer, Publisher : Springer, medium : Taschenbuch, numberOfPages : 532, publicationDate : 2020-06-30, releaseDate : 2020-06-30, publishers : Nicolas Peltier, Viorica Sofronie-Stokkermans, ISBN : 3030510530
Zustand: new
Verfügbarkeit: in_stock
Lieferzeit: 3-5 Werktage
EAN: 9783030510534
Entdecke Informationen, Ratschläge und Preise für Alessandro Armando Frontiers of Combining, 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 Alessandro Armando - hergestellt.
Brand : Springer, Binding : Taschenbuch, Edition : 2002, Label : Springer, Publisher : Springer, NumberOfItems : 1, PackageQuantity : 5, medium : Taschenbuch, numberOfPages : 272, publicationDate : 2008-06-13, authors : Alessandro Armando, ISBN : 3540433813
Zustand: new
Verfügbarkeit: in_stock
Lieferzeit: 3-5 Werktage
EAN: 9783540433811
Finde Tipps, Bewertungen und Funktionen zu Franz Winkler Automated Deduction in, das für 53.49 € verkauft wird und in der Kategorie Bücher & Zeitschriften erhältlich ist; dieses Produkt gehört zu Franz Winkler - und wird von MEDIMOPS verkauft.
Brand : Springer, Binding : Taschenbuch, Edition : 2004, Label : Springer, Publisher : Springer, NumberOfItems : 1, medium : Taschenbuch, numberOfPages : 248, publicationDate : 2008-06-13, authors : Franz Winkler, ISBN : 3540209271
Zustand: new
Verfügbarkeit: in_stock
Lieferzeit: 3-5 Werktage
EAN: 9783540209270
Entdecke Informationen, Ratschläge und Preise für Natarajan Shankar GEBRAUCHT Automated, das für 6.98 € verkauft wird und in der Kategorie Bücher & Zeitschriften erhältlich ist; dieses Produkt wird von MEDIMOPS verkauft und von Natarajan Shankar - hergestellt.
Brand : Springer, Binding : Taschenbuch, Edition : 2006, Label : Springer, Publisher : Springer, medium : Taschenbuch, numberOfPages : 704, publicationDate : 2008-06-13, releaseDate : 2006-10-15, authors : Natarajan Shankar, Ulrich Furbach, ISBN : 3540371877
Zustand: used
Verfügbarkeit: in_stock
Versandkosten: 1.99
Lieferzeit: 3 bis 5 Werktagen
EAN: 9783540371878
Entdecke Informationen, Ratschläge und Preise für Stephane Demri Automated Reasoning 7th, zum Preis von 53.49 € : es gehört zur Kategorie Bücher & Zeitschriften; dieses Produkt wird von MEDIMOPS verkauft und von Stephane Demri - hergestellt.
Brand : Springer, Binding : Taschenbuch, Edition : 2014, Label : Springer, Publisher : Springer, medium : Taschenbuch, numberOfPages : 556, publicationDate : 2014-08-04, releaseDate : 2014-08-04, publishers : Stephane Demri, Deepak Kapur, Christoph Weidenbach, ISBN : 3319085867
Zustand: new
Verfügbarkeit: in_stock
Lieferzeit: 3-5 Werktage
EAN: 9783319085869
Entdecke Informationen, Ratschläge und Preise für Haeberer Armando Martin Algebraic, zum Preis von 53.49 € : es gehört zur Kategorie Bücher & Zeitschriften; dieses Produkt wird von MEDIMOPS verkauft und von Haeberer, Armando Martin - hergestellt.
Brand : Springer, Binding : Taschenbuch, Edition : 1999, Label : Springer, Publisher : Springer, NumberOfItems : 1, medium : Taschenbuch, numberOfPages : 552, publicationDate : 1998-12-28, publishers : Haeberer, Armando Martin, ISBN : 3540654623
Zustand: new
Verfügbarkeit: in_stock
Lieferzeit: 3-5 Werktage
EAN: 9783540654629
Entdecke Informationen, Ratschläge und Preise für Nicola Olivetti Automated Reasoning 8th, zum Preis von 85.59 € : es gehört zur Kategorie Bücher & Zeitschriften; dieses Produkt wird von MEDIMOPS verkauft und von Nicola Olivetti - hergestellt.
Binding : Taschenbuch, Edition : 1st ed. 2016, Label : Springer, Publisher : Springer, medium : Taschenbuch, numberOfPages : 600, publicationDate : 2016-06-12, releaseDate : 2016-06-12, publishers : Nicola Olivetti, languages : english, ISBN : 3319402285
Zustand: new
Verfügbarkeit: in_stock
Lieferzeit: 3-5 Werktage
EAN: 9783319402284
Finde Tipps, Bewertungen und Funktionen zu Z Stachniak Resolution Proof Systems, das für 106.99 € verkauft wird und in der Kategorie Bücher & Zeitschriften erhältlich ist; dieses Produkt gehört zu Z. Stachniak - und wird von MEDIMOPS verkauft.
Brand : Springer, Binding : Gebundene Ausgabe, Edition : 1996, Label : Springer, Publisher : Springer, PackageQuantity : 1, Format : Illustriert, medium : Gebundene Ausgabe, numberOfPages : 224, publicationDate : 1996-04-30, releaseDate : 1996-04-30, authors : Z. Stachniak, ISBN : 0792340175
Zustand: new
Verfügbarkeit: in_stock
Lieferzeit: 3-5 Werktage
EAN: 9780792340171
Entdecke Informationen, Ratschläge und Preise für Jiming Liu Intelligent Data Engineering, zum Preis von 53.49 € : es gehört zur Kategorie Bücher & Zeitschriften; dieses Produkt wird von MEDIMOPS verkauft und von Jiming Liu - hergestellt.
Brand : Springer, Binding : Taschenbuch, Edition : 2003, Label : Springer, Publisher : Springer, medium : Taschenbuch, numberOfPages : 1167, publicationDate : 2003-07-29, publishers : Jiming Liu, Yiuming Cheung, Hujun Yin, ISBN : 354040550X
Zustand: new
Verfügbarkeit: in_stock
Lieferzeit: 3-5 Werktage
EAN: 9783540405504
Entdecke Informationen, Ratschläge und Preise für Edmund Burke Practice and Theory, 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 Edmund Burke - hergestellt.
Brand : Springer, Binding : Taschenbuch, Edition : 2003, Label : Springer, Publisher : Springer, NumberOfItems : 1, medium : Taschenbuch, numberOfPages : 380, publicationDate : 2008-06-13, authors : Edmund Burke, Causmaecker, Patrick De, ISBN : 3540406999
Zustand: new
Verfügbarkeit: in_stock
Lieferzeit: 3-5 Werktage
EAN: 9783540406990
Erhalte Tipps, Meinungen und Funktionen zu John Harrison Handbook of Practical, das für 167.2 € erhältlich ist; dieses Produkt ist in der Kategorie Bücher & Zeitschriften gelistet, wird von John Harrison - hergestellt und von MEDIMOPS verkauft.
Binding : Gebundene Ausgabe, Edition : 1, Label : Cambridge University Press, Publisher : Cambridge University Press, medium : Gebundene Ausgabe, numberOfPages : 702, publicationDate : 2009-03-12, authors : John Harrison, languages : english, ISBN : 0521899575
Zustand: new
Verfügbarkeit: in_stock
Lieferzeit: 3-5 Werktage
EAN: 9780521899574
Erhalte Tipps, Meinungen und Funktionen zu Andrei Voronkov Logic Programming and, das für 53.49 € erhältlich ist; dieses Produkt ist in der Kategorie Bücher & Zeitschriften gelistet, wird von Andrei Voronkov - hergestellt und von MEDIMOPS verkauft.
Brand : Springer, Binding : Taschenbuch, Edition : 1992, Label : Springer, Publisher : Springer, NumberOfItems : 1, Format : Illustriert, medium : Taschenbuch, numberOfPages : 532, publicationDate : 2008-06-13, authors : Andrei Voronkov, ISBN : 354055727X
Zustand: new
Verfügbarkeit: in_stock
Lieferzeit: 3-5 Werktage
EAN: 9783540557272
Entdecke Informationen, Ratschläge und Preise für Tobias Nipkow Automated Reasoning First, zum Preis von 106.99 € : es gehört zur Kategorie Bücher & Zeitschriften; dieses Produkt wird von MEDIMOPS verkauft und von Tobias Nipkow - hergestellt.
Brand : Springer, Binding : Taschenbuch, Edition : 2001, Label : Springer, Publisher : Springer, NumberOfItems : 1, medium : Taschenbuch, numberOfPages : 728, publicationDate : 2008-06-13, authors : Tobias Nipkow, Alexander Leitsch, Rajeev Gore, ISBN : 3540422544
Zustand: new
Verfügbarkeit: in_stock
Lieferzeit: 3-5 Werktage
EAN: 9783540422549
Entdecke Informationen, Ratschläge und Preise für Jasmin Blanchette Automated Reasoning 11th, zum Preis von 42.79 € : es gehört zur Kategorie Bücher & Zeitschriften; dieses Produkt wird von MEDIMOPS verkauft und von Jasmin Blanchette - hergestellt.
Binding : Taschenbuch, Edition : 1st ed. 2022, Label : Springer, Publisher : Springer, medium : Taschenbuch, numberOfPages : 771, publicationDate : 2022-07-17, releaseDate : 2022-07-17, publishers : Jasmin Blanchette, Laura Kovács, Dirk Pattinson, ISBN : 3031107683
Zustand: new
Verfügbarkeit: in_stock
Lieferzeit: 3-5 Werktage
EAN: 9783031107689
Erhalte Tipps, Meinungen und Funktionen zu Art Quaife Automated Development of, das für 194.34 € erhältlich ist; dieses Produkt ist in der Kategorie Bücher & Zeitschriften gelistet, wird von Art Quaife - hergestellt und von MEDIMOPS verkauft.
Brand : Springer, Binding : Gebundene Ausgabe, Edition : 1993, Label : Springer, Publisher : Springer, PackageQuantity : 1, medium : Gebundene Ausgabe, numberOfPages : 291, publicationDate : 1992-11-30, authors : Art Quaife, ISBN : 0792320212
Zustand: new
Verfügbarkeit: in_stock
Lieferzeit: 3-5 Werktage
EAN: 9780792320210
Finde Tipps, Bewertungen und Funktionen zu Zhe Hou Fundamentals of Logic, das für 64.19 € verkauft wird und in der Kategorie Bücher & Zeitschriften erhältlich ist; dieses Produkt gehört zu Zhe Hou - und wird von MEDIMOPS verkauft.
Binding : Gebundene Ausgabe, Edition : 1st ed. 2021, Label : Springer, Publisher : Springer, medium : Gebundene Ausgabe, numberOfPages : 232, publicationDate : 2021-12-04, releaseDate : 2021-12-04, authors : Zhe Hou, ISBN : 3030878813
Zustand: new
Verfügbarkeit: in_stock
Lieferzeit: 3-5 Werktage
EAN: 9783030878818
Finde Tipps, Bewertungen und Funktionen zu Stephan Schulz Automated Reasoning 9th, das für 53.34 € verkauft wird und in der Kategorie Bücher & Zeitschriften erhältlich ist; dieses Produkt gehört zu Stephan Schulz - und wird von MEDIMOPS verkauft.
Binding : Taschenbuch, Edition : 1st ed. 2018, Label : Springer, Publisher : Springer, medium : Taschenbuch, numberOfPages : 744, publicationDate : 2018-07-01, releaseDate : 2018-07-01, publishers : Stephan Schulz, Roberto Sebastiani, Didier Galmiche, ISBN : 3319942042
Zustand: new
Verfügbarkeit: in_stock
Lieferzeit: 3-5 Werktage
EAN: 9783319942049
