1～3件／全3件 セーフサーチON
  •  
Tools and Algorithms for the Construction and Analysis of Systems : 12th Internation Converence, TACAS 2006 Held as Part of the Joint European Confere
  • 洋書

Tools and Algorithms for the Construction and Analysis of Systems : 12th Internation Converence, TACAS 2006 Held as Part of the Joint European Confere  Paperback,  言語：ENG

Hermanns, Holger (EDT)/ Palsberg, Jens (EDT)

  • ウェブストア価格 ¥11,535（本体¥10,487）
  • Springer-Verlag New York Inc（2006/04発売）
  • ポイント 104pt
  • 海外取次在庫
Verification, Model Checking, and Abstract Interpretation : 19th International Conference, VMCAI 2018, Los Angeles, CA, USA, January 7-9, 2018, Proceedings (Lecture Notes in Computer Science)
  • 洋書

Verification, Model Checking, and Abstract Interpretation : 19th International Conference, VMCAI 2018, Los Angeles, CA, USA, January 7-9, 2018, Proceedings (Lecture Notes in Computer Science)  Paperback,  言語：ENG

Dillig, Isil (EDT)/ Palsberg, Jens (EDT)

  • ウェブストア価格 ¥11,535（本体¥10,487）
  • Springer International Publishing AG（2018/01発売）
  • ポイント 104pt
  • 海外取次在庫
Principles and Practices of Building Parallel Software : Essays Dedicated to Vivek Sarkar on the Occasion of His 64th Birthday (Lecture Notes in Computer Science)
  • 洋書

Principles and Practices of Building Parallel Software : Essays Dedicated to Vivek Sarkar on the Occasion of His 64th Birthday (Lecture Notes in Computer Science)  Paperback

Barik, Rajkishore (EDT)/ Gupta, Rajiv (EDT)/ Palsberg, Jens (EDT)

  • ウェブストア価格 ¥20,977（本体¥19,070）
  • Springer International Publishing AG（2025/06発売）
  • ポイント 190pt
  • 海外取次在庫
1～3件／全3件
  •