Proof Assistants and Their Applications in Mathematics and Computer Science (Computer Science Foundations and Applied Logic) (2026. x, 390 S. X, 390 p. 40 illus. 235 mm)
  • 洋書
  • 予約

Proof Assistants and Their Applications in Mathematics and Computer Science (Computer Science Foundations and Applied Logic) (2026. x, 390 S. X, 390 p. 40 illus. 235 mm)  Hardcover,  言語:ENG

Herausgegeben:Blanchette, Jasmin/ Mahboubi, Assia

  • ウェブストア価格 ¥20,079(本体¥18,254)
  • SPRINGER, BERLIN; SPRINGER NATURE SWITZERLAND; SPRING(2026発売)
  • ポイント 182pt
  • ご予約受付中。出版後の入荷・発送
Automated Reasoning : 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8-10, 2022, Proceedings (Lecture Notes in Computer Science)
  • 洋書

Automated Reasoning : 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8-10, 2022, Proceedings (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Blanchette, Jasmin (EDT)/ Kovács, Laura (EDT)/ Pattinson, Dirk (EDT)

  • ウェブストア価格 ¥10,487(本体¥9,534)
  • Springer International Publishing AG(2022/07発売)
  • ポイント 95pt
  • 海外取次在庫
Interactive Theorem Proving : 7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016, Proceedings (Theoretical Computer Science and General Issues)
  • 洋書
  • 電子版あり

Interactive Theorem Proving : 7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016, Proceedings (Theoretical Computer Science and General Issues)  Paperback

Blanchette, Jasmin Christian (EDT)/ Merz, Stephan (EDT)

  • ウェブストア価格 ¥11,535(本体¥10,487)
  • Springer International Publishing AG(2016/08発売)
  • ポイント 104pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Tests and Proofs : 9th International Conference, TAP 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 22-24, 2015. Proceedings (Programming and Software Engineering) (2015)
  • 洋書

Tests and Proofs : 9th International Conference, TAP 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 22-24, 2015. Proceedings (Programming and Software Engineering) (2015)  Paperback,  言語:ENG

Blanchette, Jasmin Christian (EDT)/ Kosmatov, Nikolai (EDT)

  • ウェブストア価格 ¥11,535(本体¥10,487)
  • Springer International Publishing AG(2015/07発売)
  • ポイント 104pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
C++ GUI Programming with Qt 4 (2ND)
  • 洋書

C++ GUI Programming with Qt 4 (2ND)  Hardcover,  言語:ENG

Blanchette, Jasmin/ Summerfield, Mark

  • Prentice Hall(2008/02発売)
  • ご注文いただけません