Ergebnisse filtern
Fachgebiet
Medium
  • 31
  • 2
Erscheinungsjahr
  • 1
  • 1
  • 1
  • 2
  • 2
  • 2
  • 1
  • 3
  • 3
  • 3
  • 1
  • 2
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
Autoren
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 33
  • 1
  • 1
Verlag
  • 1
  • 11
  • 17
  • 3
  • 1
Preis
  • 1
  • 25
  • 7
Sprachen
  • 33
Verfügbarkeit
  • 33
Katalog
  • 33
33  Treffer  für „Voronkov, Andrei“
    Voronkov | Perspectives of Systems Informatics | Buch | Sack Fachmedien

    Voronkov Perspectives of Systems Informatics

    6th International Andrei Ershov Memorial Conference, PSI 2006, Novosibirsk, Russia, June 27-30, 2006, Revised Papers
    2007
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-70880-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Voronkov / A.P. Ershov Institute of Informatics Systems | Perspectives of System Informatics | Buch | Sack Fachmedien

    Voronkov / A.P. Ershov Institute of Informatics Systems Perspectives of System Informatics

    9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. Revised Selected Papers
    2015
    Verlag: Springer
    ISBN: 978-3-662-46822-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Voronkov | Logic Programming | Buch | Sack Fachmedien

    Voronkov Logic Programming

    First Russian Conference on Logic Programming, Irkutsk, Russia, September 14-18, 1990. Second Russian Conference on Logic Programming, St.Petersburg, Russia, September 11-16, 1991. Proceedings
    1992
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-55460-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Voronkov | Logic Programming and Automated Reasoning | Buch | Sack Fachmedien

    Voronkov Logic Programming and Automated Reasoning

    International Conference LPAR '92, St.Petersburg, Russia, July 15-20, 1992. Proceedings
    1992
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-55727-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Voronkov | Logic Programming and Automated Reasoning | Buch | Sack Fachmedien

    Voronkov Logic Programming and Automated Reasoning

    4th International Conference, LPAR'93, St.Petersburg, Russia, July 13-20, 1993. Proceedings
    1993
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-56944-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Voronkov | Automated Deduction - CADE-18 | Buch | Sack Fachmedien

    Voronkov Automated Deduction - CADE-18

    18th International Conference on Automated Deduction, Copenhagen, Denmark, July 27-30, 2002 Proceedings
    2002
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-43931-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Pnueli / Voronkov | Perspectives of Systems Informatics | Buch | Sack Fachmedien

    Pnueli / Voronkov Perspectives of Systems Informatics

    7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009, Revised Papers
    1. Auflage. 2010
    Verlag: Springer
    ISBN: 978-3-642-11485-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Voronkov | Rewriting Techniques and Applications | Buch | Sack Fachmedien

    Voronkov Rewriting Techniques and Applications

    19th International Conference, RTA 2008 Hagenberg, Austria, July 15-17, 2008, Proceedings
    2008
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-70588-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Clarke / Voronkov | Perspectives of Systems Informatics | Buch | Sack Fachmedien

    Clarke / Voronkov Perspectives of Systems Informatics

    8th International Andrei Ershov Memorial Conference, PSI 2011, Novosibirsk, Russia, June 27 - July 1, 2011, Revised Selected Papers
    2012
    Verlag: Springer
    ISBN: 978-3-642-29708-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Voronkov / Petrenko | Perspectives of System Informatics | Buch | Sack Fachmedien

    Voronkov / Petrenko Perspectives of System Informatics

    11th International Andrei P. Ershov Informatics Conference, PSI 2017, Moscow, Russia, June 27-29, 2017, Revised Selected Papers
    1. Auflage 2018
    Verlag: Springer International Publishing
    ISBN: 978-3-319-74312-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Voronkov / Mazzara | Perspectives of System Informatics | Buch | Sack Fachmedien

    Voronkov / Mazzara 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
    1. Auflage 2016
    Verlag: Springer International Publishing
    ISBN: 978-3-319-41578-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Pnueli / Virbitskaite / Voronkov | Perspectives of Systems Informatics | eBook | Sack Fachmedien
    E-Book

    Pnueli / Virbitskaite / Voronkov Perspectives of Systems Informatics

    7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009, Revised Papers
    2010
    Verlag: Springer
    ISBN: 978-3-642-11486-1
    Medium: eBook
    Format: PDF
     Kopierschutz: Adobe DRM (»Systemvoraussetzungen)
    95,19 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Bjørner / Voronkov / Virbitskaite | Perspectives of System Informatics | Buch | Sack Fachmedien

    Bjørner / Voronkov / Virbitskaite Perspectives of System Informatics

    12th International Andrei P. Ershov Informatics Conference, PSI 2019, Novosibirsk, Russia, July 2¿5, 2019, Revised Selected Papers
    1. Auflage 2019
    Verlag: Springer International Publishing
    ISBN: 978-3-030-37486-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Voronkov / Dershowitz | Logic for Programming, Artificial Intelligence, and Reasoning | Buch | Sack Fachmedien

    Voronkov / Dershowitz Logic for Programming, Artificial Intelligence, and Reasoning

    14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007, Proceedings
    2007
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-75558-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Voronkov / Baaz | Logic for Programming, Artificial Intelligence, and Reasoning | Buch | Sack Fachmedien

    Voronkov / Baaz Logic for Programming, Artificial Intelligence, and Reasoning

    9th International Conference, LPAR 2002, Tbilisi, Georgia, October 14-18, 2002 Proceedings
    2002
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-00010-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Voronkov / Nieuwenhuis | Logic for Programming, Artificial Intelligence, and Reasoning | Buch | Sack Fachmedien

    Voronkov / Nieuwenhuis Logic for Programming, Artificial Intelligence, and Reasoning

    8th International Conference, LPAR 2001, Havana, Cuba, December 3-7, 2001, Proceedings
    2001
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-42957-9
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Weidenbach / Voronkov | Programming Logics | Buch | Sack Fachmedien

    Weidenbach / Voronkov Programming Logics

    Essays in Memory of Harald Ganzinger
    2013
    Verlag: Springer
    ISBN: 978-3-642-37650-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bjørner / Voronkov | Logic for Programming, Artificial Intelligence | Buch | Sack Fachmedien

    Bjørner / Voronkov Logic for Programming, Artificial Intelligence

    2012
    Verlag: Springer
    ISBN: 978-3-642-28716-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Voronkov / Sutcliffe | Logic for Programming, Artificial Intelligence, and Reasoning | Buch | Sack Fachmedien

    Voronkov / Sutcliffe Logic for Programming, Artificial Intelligence, and Reasoning

    12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005, Proceedings
    2005
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-30553-8
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Voronkov / Baader | Logic for Programming, Artificial Intelligence, and Reasoning | Buch | Sack Fachmedien

    Voronkov / Baader Logic for Programming, Artificial Intelligence, and Reasoning

    11th International Workshop, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005, Proceedings
    2005
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-25236-8
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Voronkov / Parigot | Logic for Programming and Automated Reasoning | Buch | Sack Fachmedien

    Voronkov / Parigot Logic for Programming and Automated Reasoning

    7th International Conference, LPAR 2000 Reunion Island, France, November 6-10, 2000 Proceedings
    2000
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-41285-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Voronkov / Vardi | Logic for Programming, Artificial Intelligence, and Reasoning | Buch | Sack Fachmedien

    Voronkov / Vardi Logic for Programming, Artificial Intelligence, and Reasoning

    10th International Conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003, Proceedings
    2003
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-20101-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Voronkov / Hermann | Logic for Programming, Artificial Intelligence, and Reasoning | Buch | Sack Fachmedien

    Voronkov / Hermann Logic for Programming, Artificial Intelligence, and Reasoning

    13th International Conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006, Proceedings
    2006
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-48281-9
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Voronkov / Clarke | Logic for Programming, Artificial Intelligence, and Reasoning | Buch | Sack Fachmedien

    Voronkov / Clarke Logic for Programming, Artificial Intelligence, and Reasoning

    16th International Conference, LPAR-16, Dakar, Senegal, April 25--May 1, 2010, Revised Selected Papers
    2011
    Verlag: Springer
    ISBN: 978-3-642-17510-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Fermüller / Voronkov | Logic for Programming, Artificial Intelligence, and Reasonin | Buch | Sack Fachmedien

    Fermüller / Voronkov Logic for Programming, Artificial Intelligence, and Reasonin

    2010
    Verlag: Springer
    ISBN: 978-3-642-16241-1
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular