1～3件／全3件 セーフサーチON
  •  
Stochastic Model Checking : International Autumn School, ROCKS 2012, Vahrn, Italy, October 22-26, 2012. Advanced Lectures (Lecture Notes in Computer Science) （2014）
  • 洋書
  • ポイントキャンペーン

Stochastic Model Checking : International Autumn School, ROCKS 2012, Vahrn, Italy, October 22-26, 2012. Advanced Lectures (Lecture Notes in Computer Science) （2014）  Paperback,  言語：ENG

Remke, Anne (EDT)/ Stoelinga, Mariëlle (EDT)

  • ウェブストア価格 ¥11,767（本体¥10,698）
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K（2014/10発売）
  • ポイント 212pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Fundamental Approaches to Software Engineering : 24th International Conference, FASE 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedin
  • 洋書
  • ポイントキャンペーン

Fundamental Approaches to Software Engineering : 24th International Conference, FASE 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedin  Paperback,  言語：ENG

Guerra, Esther (EDT)/ Stoelinga, Mariëlle (EDT)

  • ウェブストア価格 ¥10,698（本体¥9,726）
  • Springer Nature Switzerland AG（2021/03発売）
  • ポイント 194pt
  • 海外取次在庫
Formal Modeling and Analysis of Timed Systems : 17th International Conference, FORMATS 2019, Amsterdam, the Netherlands, August 27-29, 2019, Proceedings (Theoretical Computer Science and General Issues)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Formal Modeling and Analysis of Timed Systems : 17th International Conference, FORMATS 2019, Amsterdam, the Netherlands, August 27-29, 2019, Proceedings (Theoretical Computer Science and General Issues)  Paperback,  言語：ENG

Andre, Etienne (EDT)/ Stoelinga, Marielle (EDT)

  • ウェブストア価格 ¥11,767（本体¥10,698）
  • Springer Nature Switzerland AG（2019/08発売）
  • ポイント 212pt
  • 海外取次在庫
1～3件／全3件
  •