Ergebnisse filtern
Fachgebiet
Medium
  • 23
Erscheinungsjahr
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 2
  • 3
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
Autoren
  • 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
  • 23
  • 1
Verlag
  • 8
  • 14
  • 1
Preis
  • 19
  • 4
Sprachen
  • 23
Verfügbarkeit
  • 23
Katalog
  • 23

Programmierung | Softwareentwicklung

23  Treffer  für „Voronkov, Andrei“
Alle Filter löschen
    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 | 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 / 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 | 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 / 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
    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
    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
    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 / 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 / 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 / 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 / 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
    McMillan / Voronkov / Middeldorp | Logic for Programming, Artificial Intelligence, and Reasoning | Buch | Sack Fachmedien

    McMillan / Voronkov / Middeldorp Logic for Programming, Artificial Intelligence, and Reasoning

    19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013, Proceedings
    2013
    Verlag: Springer
    ISBN: 978-3-642-45220-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Cervesato / Veith / Voronkov | Logic for Programming, Artificial Intelligence, and Reasoning | Buch | Sack Fachmedien

    Cervesato / Veith / Voronkov Logic for Programming, Artificial Intelligence, and Reasoning

    15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008, Proceedings
    1. Auflage 2008
    Verlag: Springer
    ISBN: 978-3-540-89438-4
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Diekert / Voronkov / Volkov | Computer Science - Theory and Applications | Buch | Sack Fachmedien

    Diekert / Voronkov / Volkov Computer Science - Theory and Applications

    Second International Symposium on Computer Science in Russia, CSR 2007, Ekaterinburg, Russia, September 3-7, 2007, Proceedings
    2007
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-74509-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ganzinger / Voronkov / McAllester | Logic Programming and Automated Reasoning | Buch | Sack Fachmedien

    Ganzinger / Voronkov / McAllester Logic Programming and Automated Reasoning

    6th International Conference, LPAR'99, Tbilisi, Georgia, September 6-10, 1999, Proceedings
    1999
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-66492-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Davis / Voronkov / Fehnker | Logic for Programming, Artificial Intelligence, and Reasoning | Buch | Sack Fachmedien

    Davis / Voronkov / Fehnker Logic for Programming, Artificial Intelligence, and Reasoning

    20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings
    1. Auflage 2015
    Verlag: Springer
    ISBN: 978-3-662-48898-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Freitag / Voronkov / Decker | Transactions and Change in Logic Databases | Buch | Sack Fachmedien

    Freitag / Voronkov / Decker Transactions and Change in Logic Databases

    International Seminar on Logic Databases and the Meaning of Change, Schloss Dagstuhl, Germany, September 23-27, 1996 and ILPS'97 Post-Conference Workshop on (Trans)Actions and Change in Logic Programming and Deductive Databases(DYNAMICS'97)
    1998
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-65305-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

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