1～3件／全3件 セーフサーチON
  •  
Distributed Computing and Internet Technology : 12th International Conference, ICDCIT 2016, Bhubaneswar, India, January 15-18, 2016, Proceedings (Lecture Notes in Computer Science)
  • 洋書

Distributed Computing and Internet Technology : 12th International Conference, ICDCIT 2016, Bhubaneswar, India, January 15-18, 2016, Proceedings (Lecture Notes in Computer Science)  Paperback,  言語：ENG

Bjorner, Nikolaj (EDT)/ Prasad, Sanjiva (EDT)/ Parida, Laxmi (EDT)

  • ウェブストア価格 ¥11,148（本体¥10,135）
  • Springer International Publishing AG（2015/12発売）
  • ポイント 101pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
FM 2015: Formal Methods : 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings (Lecture Notes in Computer Science) （2015）
  • 洋書

FM 2015: Formal Methods : 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings (Lecture Notes in Computer Science) （2015）  Paperback

Bjørner, Nikolaj (EDT)/ de Boer, Frank (EDT)

  • ウェブストア価格 ¥11,148（本体¥10,135）
  • Springer International Publishing AG（2015/06発売）
  • ポイント 101pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
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,148（本体¥10,135）
  • Springer Nature Switzerland AG（2019/12発売）
  • ポイント 101pt
  • 海外取次在庫
1～3件／全3件
  •