Andrei voronkov u a (8 Ergebnisse)

Taschenbuch. Zustand: Neu. Perspectives of System Informatics | 11th International Andrei P. Ershov Informatics Conference, PSI 2017, Moscow, Russia, June 27-29, 2017, Revised Selected Papers | Alexander K. Petrenko (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xi | Englisch | 2018 | Springer | EAN 9783319743127 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…

Taschenbuch. Zustand: Neu. Logic for Programming, Artificial Intelligence, and Reasoning | 16th International Conference, LPAR-16, Dakar, Senegal, April 25--May 1, 2010, Revised Selected Papers | Edmund M. Clarke (u. a.) | Taschenbuch | x | Englisch | 2011 | Springer | EAN 9783642175107 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…

Taschenbuch. Zustand: Neu. Perspectives of Systems Informatics | 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009, Revised Papers | Amir Pnueli (u. a.) | Taschenbuch | xiii | Englisch | 2010 | Springer | EAN 9783642114854 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…

Taschenbuch. Zustand: Neu. Logic for Programming, Artificial Intelligence, and Reasoning | 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings | Martin Davis (u. a.) | Taschenbuch | xv | Englisch | 2015 | Springer | EAN 9783662488980 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…

Taschenbuch. Zustand: Neu. Perspectives of System Informatics | 12th International Andrei P. Ershov Informatics Conference, PSI 2019, Novosibirsk, Russia, July 2-5, 2019, Revised Selected Papers | Nikolaj Bjørner (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xviii | Englisch | 2019 | Springer | EAN 9783030374860 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…

Taschenbuch. Zustand: Neu. Perspectives of System Informatics | 10th International Andrei Ershov Informatics Conference, PSI 2015, in Memory of Helmut Veith, Kazan and Innopolis, Russia, August 24-27, 2015, Revised Selected Papers | Manuel Mazzara (u. a.) | Taschenbuch | Lecture Notes in Computer Science | x | Englisch | 2016 | Springer | EAN 9783319415789 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…

Taschenbuch. Zustand: Neu. Programming Logics | Essays in Memory of Harald Ganzinger | Andrei Voronkov (u. a.) | Taschenbuch | x | Englisch | 2013 | Springer | EAN 9783642376504 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu. …

Taschenbuch. Zustand: Neu. Logic for Programming, Artificial Intelligence, and Reasoning | 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008, Proceedings | Iliano Cervesato (u. a.) | Taschenbuch | xiv | Englisch | 2008 | Springer | EAN 9783540894384 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…