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)

  • ウェブストア価格 ¥10,662(本体¥9,693)
  • Springer(2007/03発売)
  • ポイント 192pt
  • 海外取次在庫
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)

  • ウェブストア価格 ¥10,662(本体¥9,693)
  • Springer International Publishing AG(2016/06発売)
  • ポイント 192pt
  • オンデマンド(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)
  • 洋書
  • ポイントキャンペーン

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)  Paperback,  言語:ENG

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

  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2013/12発売)
  • ご注文いただけません
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

  • ウェブストア価格 ¥12,282(本体¥11,166)
  • SPRINGER, BERLIN(2007発売)
  • ポイント 222pt
  • 海外取次在庫
Logic for Programming, Artificial Intelligence, and Reasoning : 13th International Conference, LPAR 2006, Cambodia, Proceedings (Lecture Notes in Computer Science) 〈Vol. 4246〉
  • 洋書
  • ポイントキャンペーン

Logic for Programming, Artificial Intelligence, and Reasoning : 13th International Conference, LPAR 2006, Cambodia, Proceedings (Lecture Notes in Computer Science) 〈Vol. 4246〉  Paperback,  言語:ENG

Hermann, Miki (EDT)/ Voronkov, Andrei (EDT)

  • ウェブストア価格 ¥21,327(本体¥19,389)
  • Springer(2006/11発売)
  • ポイント 386pt
  • 海外取次在庫
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発売)
  • ご注文いただけません
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

  • ウェブストア価格 ¥10,662(本体¥9,693)
  • Springer Verlag(2003/09発売)
  • ポイント 192pt
  • 海外取次在庫
Logic for Programming, Artificial Intelligence, and Reasoning : 12th International Conference, Lpar 2005, Montego Bay, Jamaica, December 2-6, 2005, Pr
  • 洋書
  • ポイントキャンペーン

Logic for Programming, Artificial Intelligence, and Reasoning : 12th International Conference, Lpar 2005, Montego Bay, Jamaica, December 2-6, 2005, Pr  Paperback,  言語:ENG

Sutcliffe, Geoff (EDT)/ Voronkov, Andrei (EDT)

  • ウェブストア価格 ¥21,327(本体¥19,389)
  • Springer-Verlag New York Inc(2006/02発売)
  • ポイント 386pt
  • 海外取次在庫