1～3件／全3件 セーフサーチON
  •  
Tools and Algorithms for the Construction and Analysis of Systems : 22nd International Conference, TACAS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, the Netherlands, April 2-8, 2016,
  • 洋書
  • ポイントキャンペーン

Tools and Algorithms for the Construction and Analysis of Systems : 22nd International Conference, TACAS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, the Netherlands, April 2-8, 2016,  Paperback

Chechik, Marsha (EDT)/ Raskin, Jean-François (EDT)

  • ウェブストア価格 ¥12,078（本体¥10,980）
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K（2016/04発売）
  • ポイント 218pt
  • 海外取次在庫
Principles of Systems Design : Essays Dedicated to Thomas A. Henzinger on the Occasion of His 60th Birthday (Lecture Notes in Computer Science)
  • 洋書
  • ポイントキャンペーン

Principles of Systems Design : Essays Dedicated to Thomas A. Henzinger on the Occasion of His 60th Birthday (Lecture Notes in Computer Science)  Paperback,  言語：ENG

Raskin, Jean-François (EDT)/ Chatterjee, Krishnendu (EDT)/ Doyen, Laurent (EDT)

  • ウェブストア価格 ¥21,962（本体¥19,966）
  • Springer International Publishing AG（2022/12発売）
  • ポイント 398pt
  • 海外取次在庫
Automated Technology for Verification and Analysis : 12th International Symposium, ATVA 2014, Sydney, Australia, November 3-7, 2014, Proceedings (Lecture Notes in Computer Science) （2014）
  • 洋書
  • ポイントキャンペーン

Automated Technology for Verification and Analysis : 12th International Symposium, ATVA 2014, Sydney, Australia, November 3-7, 2014, Proceedings (Lecture Notes in Computer Science) （2014）  Paperback

Cassez, Franck (EDT)/ Raskin, Jean-Francois (EDT)

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