Armin biere u a (7 risultati)

Taschenbuch. Condizione: Neu. Tools and Algorithms for the Construction and Analysis of Systems | 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings, Part II | Armin Biere (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xxiii | Englisch | 2020 | Springer | EAN 9783030452360 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…

Taschenbuch. Condizione: Neu. Tools and Algorithms for the Construction and Analysis of Systems | 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings, Part I | Armin Biere (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xxiii | Englisch | 2020 | Springer | EAN 9783030451899 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…

Taschenbuch. Condizione: Neu. Hardware and Software: Verification and Testing | 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers | Armin Biere (u. a.) | Taschenbuch | xii | Englisch | 2013 | Springer | EAN 9783642396106 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…

Paperback. Condizione: Brand New. 236 pages. German language. 9.21x6.14x0.55 inches. In Stock.

Taschenbuch. Condizione: Neu. Computer Aided Verification | 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014, Proceedings | Armin Biere (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xxxiv | Englisch | 2014 | Springer | EAN 9783319088662 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…

Taschenbuch. Condizione: Neu. Digitaltechnik - Eine praxisnahe Einführung | Armin Biere (u. a.) | Taschenbuch | x | Deutsch | 2008 | Springer | EAN 9783540777281 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…

Buch. Condizione: Neu. Handbook of Satisfiability | A. Biere (u. a.) | Buch | Englisch | 2009 | IOS Press | EAN 9781586039295 | Verantwortliche Person für die EU: Libri GmbH, Europaallee 1, 36244 Bad Hersfeld, gpsr[at]libri[dot]de | Anbieter: preigu Print on Demand.