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,155(本体¥11,050)
  • Springer International Publishing AG(2018/01発売)
  • ポイント 110pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Algorithms and Models for the Web Graph : 15th International Workshop, WAW 2018, Moscow, Russia, May 17-18, 2018, Proceedings (Lecture Notes in Computer Science) (2018)
  • 洋書
  • 電子版あり

Algorithms and Models for the Web Graph : 15th International Workshop, WAW 2018, Moscow, Russia, May 17-18, 2018, Proceedings (Lecture Notes in Computer Science) (2018)  Paperback,  言語:ENG

Bonato, Anthony (EDT)/ Prałat, Paweł (EDT)/ Raigorodskii, Andrei (EDT)

  • ウェブストア価格 ¥12,155(本体¥11,050)
  • Springer International Publishing AG(2018/05発売)
  • ポイント 110pt
  • 海外取次在庫
VLSI-SoC: from Algorithms to Circuits and System-on-Chip Design : 20th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2012, Santa Cruz, CA, USA, October 7-10, 2012, Revised Selected Papers (Ifip Advances in Infor
  • 洋書

VLSI-SoC: from Algorithms to Circuits and System-on-Chip Design : 20th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2012, Santa Cruz, CA, USA, October 7-10, 2012, Revised Selected Papers (Ifip Advances in Infor  Hardcover,  言語:ENG

Burg, Andreas (EDT)/ Coskun, Ayse (EDT)/ Guthaus, Matthew (EDT)

  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2013/11発売)
  • ご注文いただけません
Swarm Intelligence : 11th International Conference, ANTS 2018, Rome, Italy, October 29-31, 2018, Proceedings (Theoretical Computer Science and General Issues)
  • 洋書
  • 電子版あり

Swarm Intelligence : 11th International Conference, ANTS 2018, Rome, Italy, October 29-31, 2018, Proceedings (Theoretical Computer Science and General Issues)  Paperback,  言語:ENG

Dorigo, Marco (EDT)/ Birattari, Mauro (EDT)/ Blum, Christian (EDT)

  • ウェブストア価格 ¥12,155(本体¥11,050)
  • Springer Nature Switzerland AG(2018/10発売)
  • ポイント 110pt
  • 海外取次在庫
Frontiers of Combining Systems : 12th International Symposium, FroCoS 2019, London, UK, September 4-6, 2019, Proceedings (Lecture Notes in Computer Science) (2019)
  • 洋書
  • 電子版あり

Frontiers of Combining Systems : 12th International Symposium, FroCoS 2019, London, UK, September 4-6, 2019, Proceedings (Lecture Notes in Computer Science) (2019)  Paperback,  言語:ENG

Herzig, Andreas (EDT)/ Popescu, Andrei (EDT)

  • ウェブストア価格 ¥15,471(本体¥14,065)
  • Springer Nature Switzerland AG(2019/08発売)
  • ポイント 140pt
  • 海外取次在庫
Automated Reasoning with Analytic Tableaux and Related Methods : 28th International Conference, TABLEAUX 2019, London, UK, September 3-5, 2019, Proceedings (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり

Automated Reasoning with Analytic Tableaux and Related Methods : 28th International Conference, TABLEAUX 2019, London, UK, September 3-5, 2019, Proceedings (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Cerrito, Serenella (EDT)/ Popescu, Andrei (EDT)

  • ウェブストア価格 ¥12,155(本体¥11,050)
  • Springer Nature Switzerland AG(2019/08発売)
  • ポイント 110pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
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

  • ウェブストア価格 ¥27,844(本体¥25,313)
  • SPRINGER, BERLIN(2010発売)
  • ポイント 253pt
  • 海外取次在庫
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,920(本体¥12,655)
  • SPRINGER, BERLIN(2012発売)
  • ポイント 126pt
  • 海外取次在庫