Concise Guide to Fault Tree Analysis : Models, Methods and Algorithms (Computer Science Foundations and Applied Logic)
  • 洋書
  • ポイントキャンペーン

Concise Guide to Fault Tree Analysis : Models, Methods and Algorithms (Computer Science Foundations and Applied Logic)  Hardcover,  言語:ENG

Stoelinga, Mariëlle/ Ruijters, Enno/ Krčál, Pavel

  • ウェブストア価格 ¥16,255(本体¥14,778)
  • Birkhauser Verlag AG(2026/01発売)
  • ポイント 735pt
  • 海外からお取り寄せ(通常6~9週間)
A Journey from Process Algebra via Timed Automata to Model Learning : Essays Dedicated to Frits Vaandrager on the Occasion of His 60th Birthday (Lecture Notes in Computer Science)
  • 洋書
  • ポイントキャンペーン

A Journey from Process Algebra via Timed Automata to Model Learning : Essays Dedicated to Frits Vaandrager on the Occasion of His 60th Birthday (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Jansen, Nils (EDT)/ Stoelinga, Mariëlle (EDT)/ van den Bos, Petra (EDT)

  • ウェブストア価格 ¥12,001(本体¥10,910)
  • Springer International Publishing AG(2022/09発売)
  • ポイント 545pt
  • 海外取次在庫
Quantitative Evaluation of Systems : 10th International Conference, QEST 2013, Buenos Aires, Argentina, August 27-30, 2013, Proceedings (Theoretical Computer Science and General Issues) (2013)
  • 洋書
  • ポイントキャンペーン

Quantitative Evaluation of Systems : 10th International Conference, QEST 2013, Buenos Aires, Argentina, August 27-30, 2013, Proceedings (Theoretical Computer Science and General Issues) (2013)  Paperback,  言語:ENG

Joshi, Kaustubh (EDT)/ Siegle, Markus (EDT)/ Stoelinga, Mariëlle (EDT)

  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2013/08発売)
  • ご注文いただけません
Formal Methods for Industrial Critical Systems : 17th International Workshop, FMICS 2012, Paris, France, August 27-28, 2012, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering .7437) (2012. XIV, 223 p. 235 mm)
  • 洋書
  • ポイントキャンペーン

Formal Methods for Industrial Critical Systems : 17th International Workshop, FMICS 2012, Paris, France, August 27-28, 2012, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering .7437) (2012. XIV, 223 p. 235 mm)  Paperback

Ed. by Stoelinga, Mari

  • ウェブストア価格 ¥13,020(本体¥11,837)
  • SPRINGER, BERLIN(2012発売)
  • ポイント 590pt
  • 海外取次在庫
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)

  • ウェブストア価格 ¥12,001(本体¥10,910)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2014/10発売)
  • ポイント 545pt
  • オンデマンド(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,909(本体¥9,918)
  • Springer Nature Switzerland AG(2021/03発売)
  • ポイント 495pt
  • 海外取次在庫
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)

  • ウェブストア価格 ¥12,001(本体¥10,910)
  • Springer Nature Switzerland AG(2019/08発売)
  • ポイント 545pt
  • 海外取次在庫