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
  • ご予約受付中。出版後の入荷・発送
Coordination Models and Languages (Lecture Notes in Computer Science 13271) (1st ed. 2022. 2022. Approx. 220 p. 235 mm)
  • 洋書
  • ポイントキャンペーン

Coordination Models and Languages (Lecture Notes in Computer Science 13271) (1st ed. 2022. 2022. Approx. 220 p. 235 mm)  Hardcover

Herausgegeben:ter Beek, Maurice H./ Sirjani, Marjan

  • ウェブストア価格 ¥17,601(本体¥16,001)
  • SPRINGER, BERLIN; SPRINGER INTERNATIONAL PUBLISHING;(2022発売)
  • ポイント 320pt
  • 海外からお取り寄せ(通常6~9週間)
Integrated Formal Methods : 17th International Conference, IFM 2022, Lugano, Switzerland, June 7-10, 2022, Proceedings (Lecture Notes in Computer Science)
  • 洋書
  • ポイントキャンペーン

Integrated Formal Methods : 17th International Conference, IFM 2022, Lugano, Switzerland, June 7-10, 2022, Proceedings (Lecture Notes in Computer Science)  Paperback

ter Beek, Maurice H. (EDT)/ Monahan, Rosemary (EDT)

  • ウェブストア価格 ¥16,935(本体¥15,396)
  • Springer International Publishing AG(2022/06発売)
  • ポイント 306pt
  • 海外取次在庫
From Software Engineering to Formal Methods and Tools, and Back : Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday (Theoretical Computer Science and General Issues)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

From Software Engineering to Formal Methods and Tools, and Back : Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday (Theoretical Computer Science and General Issues)  Paperback,  言語:ENG

ter Beek, Maurice H. (EDT)/ Fantechi, Alessandro (EDT)/ Semini, Laura (EDT)

  • ウェブストア価格 ¥11,767(本体¥10,698)
  • Springer Nature Switzerland AG(2019/09発売)
  • ポイント 212pt
  • 海外取次在庫