1～3件／全3件 セーフサーチON
  •  
Dependable Software Engineering: Theories, Tools, and Applications : Second International Symposium, SETTA 2016, Beijing, China, November 9-11, 2016, Proceedings (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり

Dependable Software Engineering: Theories, Tools, and Applications : Second International Symposium, SETTA 2016, Beijing, China, November 9-11, 2016, Proceedings (Lecture Notes in Computer Science)  Paperback

Fränzle, Martin (EDT)/ Kapur, Deepak (EDT)/ Zhan, Naijun (EDT)

  • ウェブストア価格 ¥11,148（本体¥10,135）
  • Springer International Publishing AG（2016/10発売）
  • ポイント 101pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Automated Reasoning : 7th International Joint Conference, IJCAR 2014, Held as Part of the Vienna Summer of Logic, Vienna, Austria, July 19-22, 2014, Proceedings (Lecture Notes in Computer Science) （2014）
  • 洋書

Automated Reasoning : 7th International Joint Conference, IJCAR 2014, Held as Part of the Vienna Summer of Logic, Vienna, Austria, July 19-22, 2014, Proceedings (Lecture Notes in Computer Science) （2014）  Paperback,  言語：ENG

Demri, Stéphane (EDT)/ Kapur, Deepak (EDT)/ Weidenbach, Christoph (EDT)

  • ウェブストア価格 ¥12,248（本体¥11,135）
  • Springer International Publishing AG（2014/08発売）
  • ポイント 111pt
  • 海外からお取り寄せ（通常6～9週間）
Theoretical Aspects of Computing - ICTAC 2017 : 14th International Colloquium, Hanoi, Vietnam, October 23-27, 2017, Proceedings (Theoretical Computer Science and General Issues)
  • 洋書
  • 電子版あり

Theoretical Aspects of Computing - ICTAC 2017 : 14th International Colloquium, Hanoi, Vietnam, October 23-27, 2017, Proceedings (Theoretical Computer Science and General Issues)  Paperback

Hung, Dang Van (EDT)/ Kapur, Deepak (EDT)

  • ウェブストア価格 ¥11,148（本体¥10,135）
  • Springer International Publishing AG（2017/09発売）
  • ポイント 101pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
1～3件／全3件
  •