Tools and Algorithms for the Construction and Analysis of Systems
  • 洋書
  • ポイントキャンペーン

Tools and Algorithms for the Construction and Analysis of Systems  Paperback

Steffen, Bernhard/ Kordon, Fabrice/ Huisman, Marieke

  • ウェブストア価格 ¥9,639(本体¥8,763)
  • Saint Philip Street Press(2020/10発売)
  • ポイント 174pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Tools and Algorithms for the Construction and Analysis of Systems
  • 洋書
  • ポイントキャンペーン

Tools and Algorithms for the Construction and Analysis of Systems  Hardcover

Steffen, Bernhard/ Kordon, Fabrice/ Huisman, Marieke

  • ウェブストア価格 ¥12,103(本体¥11,003)
  • Saint Philip Street Press(2020/10発売)
  • ポイント 220pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Karten Von Mykenai
  • 洋書
  • ポイントキャンペーン

Karten Von Mykenai  Hardcover

Steffen, Bernhard

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

Karten Von Mykenai  Paperback

Steffen, Bernhard

  • ウェブストア価格 ¥3,274(本体¥2,977)
  • Hutson Street Press(2025/05発売)
  • ポイント 58pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Underground : Die Geschichte der frühen Hacker-Elite. Tatsachenroman (Heyne Bücher Nr.40943) (2012. 603 S. 187 mm)
  • 洋書
  • ポイントキャンペーン

Underground : Die Geschichte der frühen Hacker-Elite. Tatsachenroman (Heyne Bücher Nr.40943) (2012. 603 S. 187 mm)  Paperback

Assange, Julian/ Dreyfus, Suelette/ UEbersetzung: Jacobs, Steffen/ Josef, Bernhard/ Kellner, Michael

  • ウェブストア価格 ¥2,556(本体¥2,324)
  • HEYNE(2012発売)
  • ポイント 46pt
  • 海外からお取り寄せ(通常6~9週間)
Mathematical Foundations of Advanced Informatics : Volume 1: Inductive Approaches (2018)
  • 洋書
  • ポイントキャンペーン

Mathematical Foundations of Advanced Informatics : Volume 1: Inductive Approaches (2018)  Hardcover,  言語:ENG

Steffen, Bernhard/ Rüthing, Oliver/ Huth, Michael

  • ウェブストア価格 ¥8,614(本体¥7,831)
  • Springer International Publishing AG(2018/04発売)
  • ポイント 156pt
  • 海外取次在庫
Computing and Software Science : State of the Art and Perspectives (Theoretical Computer Science and General Issues) (2019)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Computing and Software Science : State of the Art and Perspectives (Theoretical Computer Science and General Issues) (2019)  Paperback,  言語:ENG

Steffen, Bernhard (EDT)/ Woeginger, Gerhard (EDT)

  • ウェブストア価格 ¥7,106(本体¥6,460)
  • Springer International Publishing AG(2019/10発売)
  • ポイント 128pt
  • 海外取次在庫
Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles : 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part I (Lecture Notes in Computer Science)
  • 洋書
  • ポイントキャンペーン

Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles : 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part I (Lecture Notes in Computer Science)  Paperback,  言語:ENG

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

  • ウェブストア価格 ¥21,540(本体¥19,582)
  • Springer International Publishing AG(2022/10発売)
  • ポイント 390pt
  • 海外取次在庫
Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning : 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part III (Lecture Notes in Computer Science)
  • 洋書
  • ポイントキャンペーン

Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning : 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part III (Lecture Notes in Computer Science)  Paperback,  言語:ENG

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

  • ウェブストア価格 ¥17,231(本体¥15,665)
  • Springer International Publishing AG(2022/10発売)
  • ポイント 312pt
  • 海外取次在庫
Leveraging Applications of Formal Methods, Verification and Validation. Practice : 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part IV (Lecture Notes in Computer Science)
  • 洋書
  • ポイントキャンペーン

Leveraging Applications of Formal Methods, Verification and Validation. Practice : 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part IV (Lecture Notes in Computer Science)  Paperback,  言語:ENG

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

  • ウェブストア価格 ¥15,076(本体¥13,706)
  • Springer International Publishing AG(2022/10発売)
  • ポイント 274pt
  • 海外取次在庫