Christoph wintersteiger (9 Ergebnisse)
- Softcover
Anbieter: medimops, Berlin, Deutschlandmedimops
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Gut
EUR 4,78
EUR 20,00 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
Zustand: very good. Gut/Very good: Buch bzw. Schutzumschlag mit wenigen Gebrauchsspuren an Einband, Schutzumschlag oder Seiten. / Describes a book or dust jacket that does show some signs of wear on either the binding, dust jacket or pages.
Gustav Tauschek und seine Maschinen. Mit einem Geleitwort von Heinz Zemanek.
Tauschek, G.- Helfert, Martin / Petra Mazuran / Christoph Wintersteiger.
Verlag: Linz, Trauner, 2006., 2006
- Softcover
Anbieter: Antiquariat MEINDL & SULZMANN OG, Wien - Vienna, ÖsterreichAntiquariat MEINDL & SULZMANN OG
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht
EUR 10,00
EUR 35,00 VersandVersand von Österreich nach USAAnzahl: 1 verfügbar
In den Warenkorb8°. Mit zahlr. Abbildungen. X, 120 SS. OKart. (guter Erhaltungszustand). "Schriftenreihe Geschichte der Naturwissenschaften und der Technik, Johannes Kepler Universität Linz Band 10".
- Softcover
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes KönigreichRia Christie Collections
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 61,06
EUR 13,98 VersandVersand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
Zustand: New. In.
Weitere Bilder- Softcover
Anbieter: Captain Book, Altach, ÖsterreichCaptain Book
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Gut
EUR 14,00
EUR 27,10 VersandVersand von Österreich nach USAAnzahl: 1 verfügbar
Taschenbuch. Zustand: Gut. 300 Seiten. 24 cm Das Buch befindet sich im einwandfreien Zustand. SB1452 Sprache: Deutsch Gewicht in Gramm: 749.
Theory and Applications of Satisfiability Testing - Sat, 2018: 21st International Conference, Sat 2018, Held As Part of the Federated Logic Conference, Floc 2018, Oxford, Uk, July 912, 2018, Proceedings
Beyersdorff, Olaf (Editor)/ Wintersteiger, Christoph M. (Editor)
- Softcover
Anbieter: Revaluation Books, Exeter, Vereinigtes KönigreichRevaluation Books
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 81,85
EUR 14,59 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
Paperback. Zustand: Brand New. 472 pages. 9.25x6.10x1.30 inches. In Stock.
Digitaltechnik - Eine praxisnahe Einführung (Springer-Lehrbuch) (German Edition)
Biere, Armin; Kröning, Daniel; Weissenbacher, Georg; Wintersteiger, Christoph M.
- Softcover
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes KönigreichRia Christie Collections
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 36,45
EUR 13,98 VersandVersand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
Zustand: New. In.
Sprache: Englisch
Verlag: Springer International Publishing, Springer International Publishing, 2018
- Softcover
Anbieter: AHA-BUCH GmbH, Einbeck, DeutschlandAHA-BUCH GmbH
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 53,49
EUR 63,55 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 21st InternationalConference on Theory and Applications of Satisfiability Testing, SAT2018, held in Oxford, UK, in July 2018.The 20 revised full papers, 4 short papers, and 2 tool papers were care…fully reviewed and selected from 58 submissions. The papers addressdifferent aspects ofSAT interpreted in a broad sense, including theoreticaladvances (such as exact algorithms, proof complexity, and other complexity issues),practical search algorithms, knowledge compilation, implementation-leveldetails of SAT solvers and SAT-based systems, problem encodings and reformulations,applications as well ascase studies and reports on findings based onrigorous experimentation. They are organized in the following topical sections: maximum satisfiability; conflict driven clause learning; model counting; quantified Boolean formulae; theory; minimally unsatisfiable sets; satisfiability modulo theories; and tools and applications.
Weitere Bilder- Softcover
Anbieter: preigu, Osnabrück, Deutschlandpreigu
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 50,40
EUR 70,00 VersandVersand von Deutschland nach USAAnzahl: 5 verfügbar
Taschenbuch. Zustand: Neu. Theory and Applications of Satisfiability Testing - SAT 2018 | 21st International Conference, SAT 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018, Proceedings | Olaf Beyersdorff (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xix | Englisch | 201…8 | Springer | EAN 9783319941431 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Digitaltechnik - Eine praxisnahe Einführung
Armin Biere|Daniel Kröning|Georg Weissenbacher|Christoph M. Wintersteiger
- Softcover
Anbieter: moluna, Greven, Deutschlandmoluna
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 28,45
EUR 48,99 VersandVersand von Deutschland nach USAAnzahl: Mehr als 20 verfügbar
Kartoniert / Broschiert. Zustand: New.
