1～3件／全3件 セーフサーチON
  •  
Computer Aided Verification : 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014, Proceedings (Lecture Notes in Computer Science) （2014）
  • 洋書

Computer Aided Verification : 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014, Proceedings (Lecture Notes in Computer Science) （2014）  Paperback,  言語：ENG

Biere, Armin (EDT)/ Bloem, Roderick (EDT)

  • ウェブストア価格 ¥24,313（本体¥22,103）
  • Springer International Publishing AG（2014/08発売）
  • ポイント 221pt
  • 海外取次在庫
Hardware and Software: Verification and Testing : 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers (Lecture Notes in Computer Science) （2013）
  • 洋書

Hardware and Software: Verification and Testing : 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers (Lecture Notes in Computer Science) （2013）  Paperback,  言語：ENG

Biere, Armin (EDT)/ Nahir, Amir (EDT)/ Vos, Tanja (EDT)

  • ウェブストア価格 ¥11,049（本体¥10,045）
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K（2013/07発売）
  • ポイント 100pt
  • 海外取次在庫
Tools and Algorithms for the Construction and Analysis of Systems : 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedi
  • 洋書

Tools and Algorithms for the Construction and Analysis of Systems : 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedi  Paperback,  言語：ENG

Biere, Armin (EDT)/ Parker, David (EDT)

  • ウェブストア価格 ¥9,945（本体¥9,041）
  • Springer Nature Switzerland AG（2020/04発売）
  • ポイント 90pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
1～3件／全3件
  •