サイバーフィジカル・システムの論理的基盤(テキスト)<br>Logical Foundations of Cyber-Physical Systems
  • 洋書
  • ポイントキャンペーン

サイバーフィジカル・システムの論理的基盤(テキスト)
Logical Foundations of Cyber-Physical Systems
 Hardcover

Platzer, André

  • ウェブストア価格 ¥12,155(本体¥11,050)
  • Springer International Publishing AG(2018/08発売)
  • ポイント 550pt
  • 海外取次在庫
Logical Foundations of Cyber-Physical Systems
  • 洋書
  • ポイントキャンペーン

Logical Foundations of Cyber-Physical Systems  Paperback,  言語:ENG

Platzer, André

  • ウェブストア価格 ¥12,155(本体¥11,050)
  • Springer Nature Switzerland AG(2019/02発売)
  • ポイント 550pt
  • 海外取次在庫
Logical Analysis of Hybrid Systems : Proving Theorems for Complex Dynamics (2010)
  • 洋書
  • ポイントキャンペーン

Logical Analysis of Hybrid Systems : Proving Theorems for Complex Dynamics (2010)  Paperback

Platzer, André

  • ウェブストア価格 ¥24,313(本体¥22,103)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2014/11発売)
  • ポイント 1,105pt
  • 海外取次在庫
Correct System Design : Symposium in Honor of Ernst-Rüdiger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015, Proceedings (Lecture Notes in Computer Science)
  • 洋書
  • ポイントキャンペーン

Correct System Design : Symposium in Honor of Ernst-Rüdiger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015, Proceedings (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Meyer, Roland (EDT)/ Platzer, André (EDT)/ Wehrheim, Heike (EDT)

  • ウェブストア価格 ¥12,155(本体¥11,050)
  • Springer International Publishing AG(2015/09発売)
  • ポイント 550pt
  • 海外取次在庫
Formal Methods : 26th International Symposium, FM 2024, Milan, Italy, September 9-13, 2024, Proceedings, Part I (Lecture Notes in Computer Science) (2025)
  • 洋書
  • ポイントキャンペーン

Formal Methods : 26th International Symposium, FM 2024, Milan, Italy, September 9-13, 2024, Proceedings, Part I (Lecture Notes in Computer Science) (2025)  Paperback

Platzer, André (EDT)/ Rozier, Kristin Yvonne (EDT)/ Pradella, Matteo (EDT)

  • ウェブストア価格 ¥11,049(本体¥10,045)
  • Springer International Publishing AG(2024/09発売)
  • ポイント 500pt
  • 海外取次在庫
Automated Deduction - CADE 28 : 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings (Lecture Notes in Computer Science)
  • 洋書
  • ポイントキャンペーン

Automated Deduction - CADE 28 : 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Platzer, André (EDT)/ Sutcliffe, Geoff (EDT)

  • ウェブストア価格 ¥11,049(本体¥10,045)
  • Springer Nature Switzerland AG(2021/07発売)
  • ポイント 500pt
  • 海外取次在庫
Formal Methods : 26th International Symposium, FM 2024, Milan, Italy, September 9-13, 2024, Proceedings, Part II (Lecture Notes in Computer Science) (2025)
  • 洋書
  • ポイントキャンペーン

Formal Methods : 26th International Symposium, FM 2024, Milan, Italy, September 9-13, 2024, Proceedings, Part II (Lecture Notes in Computer Science) (2025)  Paperback

Platzer, Andre (EDT)/ Rozier, Kristin Yvonne (EDT)/ Pradella, Matteo (EDT)

  • ウェブストア価格 ¥37,577(本体¥34,161)
  • Springer International Publishing AG(2024/09発売)
  • ポイント 1,705pt
  • 海外取次在庫