Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification : 4th International Conference, RSSRail 2022, Paris, France, June 1-2, 2022, Proceedings (Lecture Notes in Computer Science)
  • 洋書
  • ポイントキャンペーン

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification : 4th International Conference, RSSRail 2022, Paris, France, June 1-2, 2022, Proceedings (Lecture Notes in Computer Science)  Paperback

Collart-Dutilleul, Simon (EDT)/ Haxthausen, Anne E. (EDT)/ Lecomte, Thierry (EDT)

  • ウェブストア価格 ¥14,952(本体¥13,593)
  • Springer International Publishing AG(2022/05発売)
  • ポイント 270pt
  • 海外からお取り寄せ(通常6~9週間)
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification : First International Conference, RSSRail 2016, Paris, France, June 28-30, 2016, Proceedings (Programming and Software Engineering)
  • 洋書
  • ポイントキャンペーン

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification : First International Conference, RSSRail 2016, Paris, France, June 28-30, 2016, Proceedings (Programming and Software Engineering)  Paperback

Lecomte, Thierry (EDT)/ Pinger, Ralf (EDT)/ Romanovsky, Alexander (EDT)

  • ウェブストア価格 ¥11,767(本体¥10,698)
  • Springer International Publishing AG(2016/06発売)
  • ポイント 212pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Formal Methods: Foundations and Applications : 19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, Proceedings (Programming and Software Engineering)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Formal Methods: Foundations and Applications : 19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, Proceedings (Programming and Software Engineering)  Paperback

Ribeiro, Leila (EDT)/ Lecomte, Thierry (EDT)

  • ウェブストア価格 ¥11,767(本体¥10,698)
  • Springer International Publishing AG(2016/11発売)
  • ポイント 212pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification : Second International Conference, RSSRail 2017, Pistoia, Italy, November 14-16, 2017, Proceedings (Programming and Software Engineering)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification : Second International Conference, RSSRail 2017, Pistoia, Italy, November 14-16, 2017, Proceedings (Programming and Software Engineering)  Paperback,  言語:ENG

Fantechi, Alessandro (EDT)/ Lecomte, Thierry (EDT)/ Romanovsky, Alexander (EDT)

  • ウェブストア価格 ¥11,767(本体¥10,698)
  • Springer International Publishing AG(2017/10発売)
  • ポイント 212pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification : 5th International Conference, RSSRail 2023, Berlin, Germany, October 10-12, 2023, Proceedings (Lecture Notes in Computer Science)
  • 洋書
  • ポイントキャンペーン

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification : 5th International Conference, RSSRail 2023, Berlin, Germany, October 10-12, 2023, Proceedings (Lecture Notes in Computer Science)  Paperback

Milius, Birgit (EDT)/ Collart-Dutilleul, Simon (EDT)/ Lecomte, Thierry (EDT)

  • ウェブストア価格 ¥14,978(本体¥13,617)
  • Springer International Publishing AG(2023/09発売)
  • ポイント 272pt
  • 海外取次在庫
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification : Third International Conference, RSSRail 2019, Lille, France, June 4-6, 2019, Proceedings (Programming and Software Engineering) (2019)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification : Third International Conference, RSSRail 2019, Lille, France, June 4-6, 2019, Proceedings (Programming and Software Engineering) (2019)  Paperback,  言語:ENG

Collart-Dutilleul, Simon (EDT)/ Lecomte, Thierry (EDT)/ Romanovsky, Alexander (EDT)

  • ウェブストア価格 ¥13,908(本体¥12,644)
  • Springer Nature Switzerland AG(2019/04発売)
  • ポイント 252pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification : 6th International Conference, RSSRail 2025, Pisa, Italy, November 26-28, 2025, Proceedings (Lecture Notes in Computer Science 16236) (2025. xx, 318 S. XX, 318 p. 235 mm)
  • 洋書
  • 予約
  • ポイントキャンペーン

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification : 6th International Conference, RSSRail 2025, Pisa, Italy, November 26-28, 2025, Proceedings (Lecture Notes in Computer Science 16236) (2025. xx, 318 S. XX, 318 p. 235 mm)  Paperback,  言語:ENG

Herausgegeben:ter Beek, Maurice H./ Collart-Dutilleul, Simon/ Lecomte, Thierry

  • ウェブストア価格 ¥15,704(本体¥14,277)
  • SPRINGER, BERLIN; SPRINGER NATURE SWITZERLAND; SPRING(2026/01発売)
  • ポイント 284pt
  • ご予約受付中。出版後の入荷・発送