Perspectives of Systems Informatics : 6th International Andrei Ershov Memorial Conference, PSI 2006, Russia, Revised Papers (Lecture Notes in Computer Science) 〈Vol. 4378〉
  • 洋書
  • ポイントキャンペーン

Perspectives of Systems Informatics : 6th International Andrei Ershov Memorial Conference, PSI 2006, Russia, Revised Papers (Lecture Notes in Computer Science) 〈Vol. 4378〉  Paperback,  言語:ENG

Voronkov, Andrei (EDT)/ Virbitskaite, Irina (EDT)

  • ウェブストア価格 ¥12,001(本体¥10,910)
  • Springer(2007/03発売)
  • ポイント 545pt
  • 海外取次在庫
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 (Theoretical Computer Science and General Issu
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

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 (Theoretical Computer Science and General Issu  Paperback

Mazzara, Manuel (EDT)/ Voronkov, Andrei (EDT)

  • ウェブストア価格 ¥12,001(本体¥10,910)
  • Springer International Publishing AG(2016/06発売)
  • ポイント 545pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Logic for Programming, Artificial Intelligence, and Reasoning : 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings (Theoretical Computer Science and General Issues)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Logic for Programming, Artificial Intelligence, and Reasoning : 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings (Theoretical Computer Science and General Issues)  Paperback,  言語:ENG

Davis, Martin (EDT)/ Fehnker, Ansgar (EDT)/ McIver, Annabelle (EDT)

  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2015/12発売)
  • ご注文いただけません
Perspectives of System Informatics : 9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. Revised Selected Papers (Lecture Notes in Computer Science) (2015)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Perspectives of System Informatics : 9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. Revised Selected Papers (Lecture Notes in Computer Science) (2015)  Paperback

Voronkov, Andrei (EDT)/ Virbitskaite, Irina (EDT)

  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2015/04発売)
  • ご注文いただけません
Logic for Programming, Artificial Intelligence, and Reasoning : 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013, Proceedings (Theoretical Computer Science and General Issues) (2013)
  • 洋書
  • ポイントキャンペーン

Logic for Programming, Artificial Intelligence, and Reasoning : 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013, Proceedings (Theoretical Computer Science and General Issues) (2013)  Paperback,  言語:ENG

McMillan, Ken (EDT)/ Middeldorp, Aart (EDT)/ Voronkov, Andrei (EDT)

  • ウェブストア価格 ¥12,001(本体¥10,910)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2013/12発売)
  • ポイント 545pt
  • 海外取次在庫
Logic Programming (Lecture Notes in Computer Science, Volume 592) (2007. 532 S. 235 mm)
  • 洋書
  • ポイントキャンペーン

Logic Programming (Lecture Notes in Computer Science, Volume 592) (2007. 532 S. 235 mm)  Paperback

Herausgeber: Voronkov, Andrei

  • ウェブストア価格 ¥14,150(本体¥12,864)
  • SPRINGER, BERLIN(2007発売)
  • ポイント 640pt
  • 海外取次在庫
Perspectives of Systems Informatics: 6th International Andrei Ershov Memorial Conference, Psi 2006 Novosibirsk, Russia, June 27-30, 2006 Revised Papers (Lecture Notes in Computer Science)
  • 洋書
  • ポイントキャンペーン

Perspectives of Systems Informatics: 6th International Andrei Ershov Memorial Conference, Psi 2006 Novosibirsk, Russia, June 27-30, 2006 Revised Papers (Lecture Notes in Computer Science)  言語:ENG

Virbitskaite, Irina (EDT)/ Voronkov, Andrei (EDT)

  • Springer(2007/01発売)
  • ご注文いただけません
Perspectives of System Informatics : 12th International Andrei P. Ershov Informatics Conference, PSI 2019, Novosibirsk, Russia, July 2-5, 2019, Revised Selected Papers (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Perspectives of System Informatics : 12th International Andrei P. Ershov Informatics Conference, PSI 2019, Novosibirsk, Russia, July 2-5, 2019, Revised Selected Papers (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Bjørner, Nikolaj (EDT)/ Virbitskaite, Irina (EDT)/ Voronkov, Andrei (EDT)

  • ウェブストア価格 ¥12,001(本体¥10,910)
  • Springer Nature Switzerland AG(2019/12発売)
  • ポイント 545pt
  • 海外取次在庫
Perspectives of System Informatics : 11th International Andrei P. Ershov Informatics Conference, PSI 2017, Moscow, Russia, June 27-29, 2017, Revised Selected Papers (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Perspectives of System Informatics : 11th International Andrei P. Ershov Informatics Conference, PSI 2017, Moscow, Russia, June 27-29, 2017, Revised Selected Papers (Lecture Notes in Computer Science)  Paperback

Petrenko, Alexander K. (EDT)/ Voronkov, Andrei (EDT)

  • ウェブストア価格 ¥12,001(本体¥10,910)
  • Springer International Publishing AG(2018/01発売)
  • ポイント 545pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Logic for Programming Artificial Intelligence and Reasoning : 10th International Conference, Lpar 2003, Almaty, Kazakhstan, September 22-26, 2003 : Pr
  • 洋書
  • ポイントキャンペーン

Logic for Programming Artificial Intelligence and Reasoning : 10th International Conference, Lpar 2003, Almaty, Kazakhstan, September 22-26, 2003 : Pr  Paperback,  言語:ENG

Lpar 2003 Alma-Ata (Kazakhstan))/ Vardi, Moshe Y./ Voronkov, Andrei/ V

  • ウェブストア価格 ¥12,001(本体¥10,910)
  • Springer Verlag(2003/09発売)
  • ポイント 545pt
  • 海外取次在庫