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 : 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)版です。キャンセルは承れません。
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 : 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 : 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 : 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)版です。キャンセルは承れません。