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)

  • ウェブストア価格 ¥11,380(本体¥10,346)
  • Springer International Publishing AG(2016/06発売)
  • ポイント 103pt
  • オンデマンド(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 (Lecture Notes in Computer Science) (2013)
  • 洋書

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

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

  • ウェブストア価格 ¥11,380(本体¥10,346)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2013/12発売)
  • ポイント 103pt
  • 海外取次在庫
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

  • ウェブストア価格 ¥13,231(本体¥12,029)
  • SPRINGER, BERLIN(2007発売)
  • ポイント 120pt
  • 海外取次在庫
Logic for Programming, Artificial Intelligence, and Reasoning : 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010, Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues 6397) (2010. XII, 656 S.)
  • 洋書

Logic for Programming, Artificial Intelligence, and Reasoning : 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010, Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues 6397) (2010. XII, 656 S.)  Paperback

Herausgegeben von Fermueller, Christian G./ Voronkov, Andrei

  • ウェブストア価格 ¥26,468(本体¥24,062)
  • SPRINGER, BERLIN(2010発売)
  • ポイント 240pt
  • 海外取次在庫
Perspectives of Systems Informatics : 8th International Andrei Ershov Memorial Conference, PSI 2011, Novosibirsk, Russia, June 27 - July 1, 2011, Revised Selected Papers (Lecture Notes in Computer Science Vol.7162) (2012. XIV, 411 p.)
  • 洋書

Perspectives of Systems Informatics : 8th International Andrei Ershov Memorial Conference, PSI 2011, Novosibirsk, Russia, June 27 - July 1, 2011, Revised Selected Papers (Lecture Notes in Computer Science Vol.7162) (2012. XIV, 411 p.)  Paperback,  言語:ENG

Herausgegeben von Clarke, Edmund/ Virbitskaite, Irina/ Voronkov, Andrei

  • ウェブストア価格 ¥13,231(本体¥12,029)
  • SPRINGER, BERLIN(2012発売)
  • ポイント 120pt
  • 海外取次在庫
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)

  • ウェブストア価格 ¥11,380(本体¥10,346)
  • Springer Nature Switzerland AG(2019/12発売)
  • ポイント 103pt
  • 海外取次在庫
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)

  • ウェブストア価格 ¥11,380(本体¥10,346)
  • Springer International Publishing AG(2018/01発売)
  • ポイント 103pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。