Handbook of Satisfiability : Second Edition (Frontiers in Artificial Intelligence and Applications (Ios Press))
  • 洋書

Handbook of Satisfiability : Second Edition (Frontiers in Artificial Intelligence and Applications (Ios Press))  Hardcover,  言語:ENG

Biere, Armin (EDT)/ van Maaren, Hans (EDT)/ Walsh, Toby (EDT)

  • IOS Press,US(2021/05発売)
  • ご注文いただけません
Tools and Algorithms for the Construction and Analysis of Systems
  • 洋書

Tools and Algorithms for the Construction and Analysis of Systems  Paperback

Biere, Armin/ Parker, David

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

Tools and Algorithms for the Construction and Analysis of Systems  Hardcover

Biere, Armin/ Parker, David

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

Tools and Algorithms for the Construction and Analysis of Systems  Paperback

Biere, Armin/ Parker, David

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

Tools and Algorithms for the Construction and Analysis of Systems  Hardcover

Biere, Armin/ Parker, David

  • ウェブストア価格 ¥13,895(本体¥12,632)
  • Saint Philip Street Press(2020/10発売)
  • ポイント 126pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Handbook of Satisfiability (Frontiers in Artificial Intelligence and Applications (Ios Press))
  • 洋書

Handbook of Satisfiability (Frontiers in Artificial Intelligence and Applications (Ios Press))  Hardcover,  言語:ENG

Biere, Armin (EDT)/ van Maaren, Hans (EDT)/ Walsh, Toby (EDT)

  • ウェブストア価格 ¥34,741(本体¥31,583)
  • IOS Press,US(2009/01発売)
  • ポイント 315pt
  • 海外からお取り寄せ(通常6~9週間)
Theory and Applications of Satisfiability Testing - Sat 2006 : 9th International Conference, Seattle, Wa, Usa, August 12-15, 2006, Proceedings (Lectur
  • 洋書

Theory and Applications of Satisfiability Testing - Sat 2006 : 9th International Conference, Seattle, Wa, Usa, August 12-15, 2006, Proceedings (Lectur  Paperback,  言語:ENG

Biere, Armin (EDT)/ Gomes, Carla P. (EDT)

  • ウェブストア価格 ¥12,155(本体¥11,050)
  • Springer-Verlag New York Inc(2006/09発売)
  • ポイント 110pt
  • 海外取次在庫
Computer Aided Verification : 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014, Proceedings (Lecture Notes in Computer Science) (2014)
  • 洋書

Computer Aided Verification : 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014, Proceedings (Lecture Notes in Computer Science) (2014)  Paperback,  言語:ENG

Biere, Armin (EDT)/ Bloem, Roderick (EDT)

  • ウェブストア価格 ¥24,313(本体¥22,103)
  • Springer International Publishing AG(2014/08発売)
  • ポイント 221pt
  • 海外取次在庫
Hardware and Software: Verification and Testing : 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers (Programming and Software Engineering) (2013)
  • 洋書

Hardware and Software: Verification and Testing : 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers (Programming and Software Engineering) (2013)  Paperback,  言語:ENG

Biere, Armin (EDT)/ Nahir, Amir (EDT)/ Vos, Tanja (EDT)

  • ウェブストア価格 ¥11,049(本体¥10,045)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2013/07発売)
  • ポイント 100pt
  • 海外取次在庫
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発売)
  • ご注文いただけません