1～7件／全7件 セーフサーチON
  •  
Computer Aided Verification
  • 洋書

Computer Aided Verification  Paperback

Weissenbacher, Georg/ Chockler, Hana

  • ウェブストア価格 ¥14,316（本体¥13,015）
  • Saint Philip Street Press（2020/10発売）
  • ポイント 130pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Computer Aided Verification
  • 洋書

Computer Aided Verification  Hardcover

Weissenbacher, Georg/ Chockler, Hana

  • ウェブストア価格 ¥16,844（本体¥15,313）
  • Saint Philip Street Press（2020/10発売）
  • ポイント 153pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Computer Aided Verification
  • 洋書

Computer Aided Verification  Paperback

Chockler, Hana/ Weissenbacher, Georg

  • ウェブストア価格 ¥12,841（本体¥11,674）
  • Saint Philip Street Press（2020/10発売）
  • ポイント 116pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Computer Aided Verification
  • 洋書

Computer Aided Verification  Hardcover

Chockler, Hana/ Weissenbacher, Georg

  • ウェブストア価格 ¥15,369（本体¥13,972）
  • Saint Philip Street Press（2020/10発売）
  • ポイント 139pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Computer Aided Verification : 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I (Theoretical Computer Science and General Issues) （2018）
  • 洋書

Computer Aided Verification : 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I (Theoretical Computer Science and General Issues) （2018）  Paperback,  言語：ENG

Chockler, Hana (EDT)/ Weissenbacher, Georg (EDT)

  • ウェブストア価格 ¥13,260（本体¥12,055）
  • Springer International Publishing AG（2018/07発売）
  • ポイント 120pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Computer Aided Verification : 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part II (Theoretical Computer Science and General Issues) （2018）
  • 洋書

Computer Aided Verification : 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part II (Theoretical Computer Science and General Issues) （2018）  Paperback,  言語：ENG

Chockler, Hana (EDT)/ Weissenbacher, Georg (EDT)

  • ウェブストア価格 ¥13,260（本体¥12,055）
  • Springer International Publishing AG（2018/07発売）
  • ポイント 120pt
  • 海外取次在庫
Digitaltechnik - Eine praxisnahe Einführung （2008. X, 226 S. m. Abb. 23,5 cm）
  • 洋書

Digitaltechnik - Eine praxisnahe Einführung （2008. X, 226 S. m. Abb. 23,5 cm）  Paperback

Von Armin Biere, Daniel Kroening, Georg Weissenbacher u. a.

  • SPRINGER, BERLIN（2008発売）
  • ご注文いただけません
1～7件／全7件
  •