Karten Von Mykenai
  • 洋書

Karten Von Mykenai  Hardcover

Steffen, Bernhard

  • ウェブストア価格 ¥5,988(本体¥5,444)
  • Hutson Street Press(2025/05発売)
  • ポイント 54pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Karten Von Mykenai
  • 洋書

Karten Von Mykenai  Paperback

Steffen, Bernhard

  • ウェブストア価格 ¥3,188(本体¥2,899)
  • Hutson Street Press(2025/05発売)
  • ポイント 28pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Bridging the Gap between AI and Reality : Second International Conference, AISoLA 2024, Crete, Greece, October 30 - November 3, 2024, Proceedings (Lecture Notes in Computer Science) (2025)
  • 洋書

Bridging the Gap between AI and Reality : Second International Conference, AISoLA 2024, Crete, Greece, October 30 - November 3, 2024, Proceedings (Lecture Notes in Computer Science) (2025)  Paperback,  言語:ENG

Steffen, Bernhard (EDT)

  • ウェブストア価格 ¥16,744(本体¥15,222)
  • Springer International Publishing AG(2024/12発売)
  • ポイント 152pt
  • 海外からお取り寄せ(通常6~9週間)
Bridging the Gap between AI and Reality : First International Conference, AISoLA 2023, Crete, Greece, October 23-28, 2023, Proceedings (Lecture Notes in Computer Science)
  • 洋書

Bridging the Gap between AI and Reality : First International Conference, AISoLA 2023, Crete, Greece, October 23-28, 2023, Proceedings (Lecture Notes in Computer Science)  Paperback

Steffen, Bernhard (EDT)

  • ウェブストア価格 ¥16,780(本体¥15,255)
  • Springer International Publishing AG(2023/12発売)
  • ポイント 152pt
  • 海外取次在庫
Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola : 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part I (Lecture Notes in Computer Scien (2024)
  • 洋書

Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola : 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part I (Lecture Notes in Computer Scien (2024)  Paperback

Margaria, Tiziana (EDT)/ Steffen, Bernhard (EDT)

  • ウェブストア価格 ¥16,780(本体¥15,255)
  • Springer International Publishing AG(2024/11発売)
  • ポイント 152pt
  • 海外取次在庫
Real Time and Such: Essays Dedicated to Wang Yi to Celebrate His Scientific Career (Lecture Notes in Computer Science") 〈1523〉
  • 洋書

Real Time and Such: Essays Dedicated to Wang Yi to Celebrate His Scientific Career (Lecture Notes in Computer Science") 〈1523〉  Paperback

Graf, Susanne(EDT)/ Pettersson, Paul(EDT)/ Steffen, Bernhard(EDT)

  • ウェブストア価格 ¥11,535(本体¥10,487)
  • Springer(2024/10発売)
  • ポイント 104pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
The Combined Power of Research, Education, and Dissemination: Essays Dedicated to Tiziana Margaria on the Occasion of Her 60th Birthday (Lecture Notes in Computer Science") 〈1524〉
  • 洋書

The Combined Power of Research, Education, and Dissemination: Essays Dedicated to Tiziana Margaria on the Occasion of Her 60th Birthday (Lecture Notes in Computer Science") 〈1524〉  Paperback

Hinchey, Mike(EDT)/ Steffen, Bernhard(EDT)

  • ウェブストア価格 ¥15,732(本体¥14,302)
  • Springer(2024/10発売)
  • ポイント 143pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification : 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part III (Lecture Notes in Computer Science) (2024)
  • 洋書

Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification : 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part III (Lecture Notes in Computer Science) (2024)  Paperback,  言語:ENG

Margaria, Tiziana (EDT)/ Steffen, Bernhard (EDT)

  • ウェブストア価格 ¥16,780(本体¥15,255)
  • Springer International Publishing AG(2024/11発売)
  • ポイント 152pt
  • 海外取次在庫
Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies : 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part IV (Lecture Notes in Computer Science) (2024)
  • 洋書

Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies : 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part IV (Lecture Notes in Computer Science) (2024)  Paperback,  言語:ENG

Margaria, Tiziana (EDT)/ Steffen, Bernhard (EDT)

  • ウェブストア価格 ¥15,732(本体¥14,302)
  • Springer International Publishing AG(2024/10発売)
  • ポイント 143pt
  • 海外取次在庫
Leveraging Applications of Formal Methods, Verification and Validation. Application Areas : 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part V (Lecture Notes in Computer Science) (2024)
  • 洋書

Leveraging Applications of Formal Methods, Verification and Validation. Application Areas : 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part V (Lecture Notes in Computer Science) (2024)  Paperback,  言語:ENG

Margaria, Tiziana (EDT)/ Steffen, Bernhard (EDT)

  • ウェブストア価格 ¥11,535(本体¥10,487)
  • Springer International Publishing AG(2024/10発売)
  • ポイント 104pt
  • 海外取次在庫