1～3件／全3件 セーフサーチON
  •  
Runtime Verification : 24th International Conference, RV 2024, Istanbul, Turkey, October 15-17, 2024, Proceedings (Lecture Notes in Computer Science) （2025）
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Runtime Verification : 24th International Conference, RV 2024, Istanbul, Turkey, October 15-17, 2024, Proceedings (Lecture Notes in Computer Science) （2025）  Paperback,  言語：ENG

Ábrahám, Erika (EDT)/ Abbas, Houssam (EDT)

  • ウェブストア価格 ¥13,092（本体¥11,902）
  • Springer International Publishing AG（2024/10発売）
  • ポイント 595pt
  • 海外取次在庫
At The Pinnacle: One Woman's Running Journey
  • 洋書
  • ポイントキャンペーン

At The Pinnacle: One Woman's Running Journey  Paperback

Abraham, Erika/ Schaffer, Greg(EDT)

  • ウェブストア価格 ¥2,854（本体¥2,595）
  • Second Chance Publishing（2018/05発売）
  • ポイント 125pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Tools and Algorithms for the Construction and Analysis of Systems : 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedi （2014）
  • 洋書
  • ポイントキャンペーン

Tools and Algorithms for the Construction and Analysis of Systems : 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedi （2014）  Paperback,  言語：ENG

Abraham, Erika (EDT)/ Havelund, Klaus (EDT)

  • ウェブストア価格 ¥12,001（本体¥10,910）
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K（2014/03発売）
  • ポイント 545pt
  • 海外取次在庫
1～3件／全3件
  •