Formal Methods for Industrial Critical Systems : 30th International Conference, FMICS 2025, Aarhus, Denmark, August 27-28, 2025, Proceedings (Lecture Notes in Computer Science)
  • 洋書
  • 予約

Formal Methods for Industrial Critical Systems : 30th International Conference, FMICS 2025, Aarhus, Denmark, August 27-28, 2025, Proceedings (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Remke, Anne (EDT)/ Steffen, Bernhard (EDT)

  • ウェブストア価格 ¥13,450(本体¥12,228)
  • Springer(2025/09発売)
  • ポイント 122pt
  • ご予約受付中。出版後の入荷・発送
Measurement, Modelling and Evaluation of Dependable Computer and Communication Systems : 18th International GI/ITG Conference, MMB & DFT 2016, Münster, Germany, April 4-6, 2016, Proceedings (Lecture Notes in Computer Science)
  • 洋書

Measurement, Modelling and Evaluation of Dependable Computer and Communication Systems : 18th International GI/ITG Conference, MMB & DFT 2016, Münster, Germany, April 4-6, 2016, Proceedings (Lecture Notes in Computer Science)  Paperback

Remke, Anne (EDT)/ Haverkort, Boudewijn R. (EDT)

  • ウェブストア価格 ¥11,380(本体¥10,346)
  • Springer International Publishing AG(2016/03発売)
  • ポイント 103pt
  • 海外取次在庫
Analytical and Stochastic Modelling Techniques and Applications : 22nd International Conference, ASMTA 2015, Albena, Bulgaria, May 26-29, 2015. Proceedings (Programming and Software Engineering) (2015)
  • 洋書

Analytical and Stochastic Modelling Techniques and Applications : 22nd International Conference, ASMTA 2015, Albena, Bulgaria, May 26-29, 2015. Proceedings (Programming and Software Engineering) (2015)  Paperback,  言語:ENG

Gribaudo, Marco (EDT)/ Manini, Daniele (EDT)/ Remke, Anne (EDT)

  • ウェブストア価格 ¥11,380(本体¥10,346)
  • Springer International Publishing AG(2015/05発売)
  • ポイント 103pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Algebraic and Complex Geometry : In Honour of Klaus Hulek's 60th Birthday (Springer Proceedings in Mathematics & Statistics)
  • 洋書

Algebraic and Complex Geometry : In Honour of Klaus Hulek's 60th Birthday (Springer Proceedings in Mathematics & Statistics)  Paperback,  言語:ENG

Frühbis-Krüger, Anne (EDT)/ Kloosterman, Remke Nanne (EDT)/ Schütt, Matthias (EDT)

  • ウェブストア価格 ¥35,183(本体¥31,985)
  • Springer International Publishing AG(2016/09発売)
  • ポイント 319pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
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,380(本体¥10,346)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2014/10発売)
  • ポイント 103pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Algebraic and Complex Geometry : In Honour of Klaus Hulek's 60th Birthday (Springer Proceedings in Mathematics & Statistics) (2014)
  • 洋書
  • 電子版あり

Algebraic and Complex Geometry : In Honour of Klaus Hulek's 60th Birthday (Springer Proceedings in Mathematics & Statistics) (2014)  Hardcover

Frühbis-Krüger, Anne (EDT)/ Kloosterman, Remke Nanne (EDT)/ Schütt, Matthias (EDT)

  • ウェブストア価格 ¥35,183(本体¥31,985)
  • Springer International Publishing AG(2014/10発売)
  • ポイント 319pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Distributed Applications and Interoperable Systems : 20th IFIP WG 6.1 International Conference, DAIS 2020, Held as Part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15-19, 20 (2020)
  • 洋書
  • 電子版あり

Distributed Applications and Interoperable Systems : 20th IFIP WG 6.1 International Conference, DAIS 2020, Held as Part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15-19, 20 (2020)  Paperback,  言語:ENG

Remke, Anne (EDT)/ Schiavoni, Valerio (EDT)

  • ウェブストア価格 ¥11,380(本体¥10,346)
  • Springer Nature Switzerland AG(2020/06発売)
  • ポイント 103pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Computer Performance Engineering : 15th European Workshop, EPEW 2018, Paris, France, October 29-30, 2018, Proceedings (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり

Computer Performance Engineering : 15th European Workshop, EPEW 2018, Paris, France, October 29-30, 2018, Proceedings (Lecture Notes in Computer Science)  Paperback

Bakhshi, Rena (EDT)/ Ballarini, Paolo (EDT)/ Barbot, Benoît (EDT)

  • ウェブストア価格 ¥11,380(本体¥10,346)
  • Springer Nature Switzerland AG(2018/10発売)
  • ポイント 103pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Quantitative Evaluation of Systems : 17th International Conference, QEST 2020, Vienna, Austria, August 31 - September 3, 2020, Proceedings (Theoretical Computer Science and General Issues)
  • 洋書

Quantitative Evaluation of Systems : 17th International Conference, QEST 2020, Vienna, Austria, August 31 - September 3, 2020, Proceedings (Theoretical Computer Science and General Issues)  Paperback,  言語:ENG

Gribaudo, Marco (EDT)/ Jansen, David N. (EDT)/ Remke, Anne (EDT)

  • ウェブストア価格 ¥11,380(本体¥10,346)
  • Springer Nature Switzerland AG(2020/11発売)
  • ポイント 103pt
  • 海外取次在庫
Computer Performance Engineering : 20th European Workshop, EPEW 2024, Venice, Italy, June 14, 2024, Revised Selected Papers (Lecture Notes in Computer Science)
  • 洋書

Computer Performance Engineering : 20th European Workshop, EPEW 2024, Venice, Italy, June 14, 2024, Revised Selected Papers (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Doncel, Josu (EDT)/ Remke, Anne (EDT)/ Di Pompeo, Daniele (EDT)

  • ウェブストア価格 ¥12,494(本体¥11,359)
  • Springer International Publishing AG(2025/02発売)
  • ポイント 113pt
  • 海外からお取り寄せ(通常6~9週間)