1～3件／全3件 セーフサーチON
  •  
Quality of Information and Communications Technology : 17th International Conference on the Quality of Information and Communications Technology, QUATIC 2024, Pisa, Italy, September 11-13, 2024, Proceedings (Communications in Computer and Information （2024）
  • 洋書

Quality of Information and Communications Technology : 17th International Conference on the Quality of Information and Communications Technology, QUATIC 2024, Pisa, Italy, September 11-13, 2024, Proceedings (Communications in Computer and Information （2024）  Paperback,  言語：ENG

Bertolino, Antonia (EDT)/ Pascoal Faria, João (EDT)/ Lago, Patricia (EDT)

  • ウェブストア価格 ¥30,945（本体¥28,132）
  • Springer International Publishing AG（2024/09発売）
  • ポイント 281pt
  • 海外取次在庫
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)

  • ウェブストア価格 ¥12,155（本体¥11,050）
  • Springer Nature Switzerland AG（2019/09発売）
  • ポイント 110pt
  • 海外取次在庫
Journeys Between Formal Methods and the Railway Industry : Essays Dedicated to Alessandro Fantechi on the Occasion of His 70th Birthday (Lecture Notes in Computer Science 16470) （2026. Approx. 700 p. 235 mm）
  • 洋書
  • 予約

Journeys Between Formal Methods and the Railway Industry : Essays Dedicated to Alessandro Fantechi on the Occasion of His 70th Birthday (Lecture Notes in Computer Science 16470) （2026. Approx. 700 p. 235 mm）  Paperback,  言語：ENG

Herausgegeben:ter Beek, Maurice H./ Gnesi, Stefania/ Haxthausen, Anne E./ Semini, Laura

  • ウェブストア価格 ¥27,287（本体¥24,807）
  • SPRINGER, BERLIN; SPRINGER（2026/06発売）
  • ポイント 248pt
  • ご予約受付中。出版後の入荷・発送
1～3件／全3件
  •