Andrei voronkov u a (15 Ergebnisse)

Taschenbuch. Zustand: Neu. Logic for Programming, Artificial Intelligence, and Reasoning | 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007, Proceedings | Nachum Dershowitz (u. a.) | Taschenbuch | Einband - flex.(Paperback) | Englisch | 2007 | Springer | EAN 9783540755586 | Verantwortliche Person für die EU: Springer Nature Customer Service Center GmbH, Europaplatz 3, 69115 Heidelberg, productsafety[at]springernature[dot]com | Anbieter: preigu.…

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. 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.…

Taschenbuch. Zustand: Neu. Logic Programming and Automated Reasoning | 6th International Conference, LPAR'99, Tbilisi, Georgia, September 6-10, 1999, Proceedings | Harald Ganzinger (u. a.) | Taschenbuch | xii | Englisch | 1999 | Springer | EAN 9783540664925 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu Print on Demand. …

Taschenbuch. Zustand: Neu. Logic for Programming, Artificial Intelligence, and Reasoning | 10th International Conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003, Proceedings | Moshe Vardi (u. a.) | Taschenbuch | Einband - flex.(Paperback) | Englisch | 2003 | Springer | EAN 9783540201014 | Verantwortliche Person für die EU: Springer Nature Customer Service Center GmbH, Europaplatz 3, 69115 Heidelberg, productsafety[at]springernature[dot]com | Anbieter: preigu Print on Demand.…

Taschenbuch. Zustand: Neu. Logic for Programming and Automated Reasoning | 7th International Conference, LPAR 2000 Reunion Island, France, November 6-10, 2000 Proceedings | Michel Parigot (u. a.) | Taschenbuch | Einband - flex.(Paperback) | Englisch | 2000 | Springer | EAN 9783540412854 | Verantwortliche Person für die EU: Springer Nature Customer Service Center GmbH, Europaplatz 3, 69115 Heidelberg, productsafety[at]springernature[dot]com | Anbieter: preigu Print on Demand.…

Taschenbuch. Zustand: Neu. Logic for Programming, Artificial Intelligence, and Reasoning | 13th International Conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006, Proceedings | Miki Hermann (u. a.) | Taschenbuch | xiv | Englisch | 2006 | Springer | EAN 9783540482819 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu Print on Demand.…

Taschenbuch. Zustand: Neu. Logic for Programming, Artificial Intelligence, and Reasoning | 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005, Proceedings | Geoff Sutcliffe (u. a.) | Taschenbuch | xiv | Englisch | 2005 | Springer | EAN 9783540305538 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu Print on Demand.…

Taschenbuch. Zustand: Neu. Logic for Programming, Artificial Intelligence, and Reasoning | 8th International Conference, LPAR 2001, Havana, Cuba, December 3-7, 2001, Proceedings | Robert Nieuwenhuis (u. a.) | Taschenbuch | xv | Englisch | 2001 | Springer | EAN 9783540429579 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu Print on Demand.…

Taschenbuch. Zustand: Neu. Logic for Programming, Artificial Intelligence, and Reasoning | 11th International Workshop, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005, Proceedings | Franz Baader (u. a.) | Taschenbuch | xii | Englisch | 2005 | Springer | EAN 9783540252368 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu Print on Demand.…