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,226(本体¥10,206)
  • Springer International Publishing AG(2016/11発売)
  • ポイント 102pt
  • オンデマンド(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,226(本体¥10,206)
  • Springer International Publishing AG(2016/06発売)
  • ポイント 102pt
  • オンデマンド(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,289(本体¥12,990)
  • Springer International Publishing AG(2023/09発売)
  • ポイント 129pt
  • 海外取次在庫
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)

  • ウェブストア価格 ¥15,045(本体¥13,678)
  • Springer International Publishing AG(2022/05発売)
  • ポイント 136pt
  • 海外からお取り寄せ(通常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,226(本体¥10,206)
  • Springer International Publishing AG(2017/10発売)
  • ポイント 102pt
  • オンデマンド(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,268(本体¥12,062)
  • Springer Nature Switzerland AG(2019/04発売)
  • ポイント 120pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。