博客來-作者-Strichman

熱門搜尋

分類(單選)	所有商品(7) 圖書(7) 顯示所有篩選
配送方式(可複選)	可海外宅配(7) 可港澳店取(5) 可新加坡店取(5) 可菲律賓店取(5)
其他(可複選)

搜尋結果共 7 筆, 頁數 1 / 1

呈現:

列表
小圖

		Decision Procedures: An Algorithmic Point of View 外文書 , Daniel Kroening Ofer Strichman , Ingram , 出版日期: 2018-07-13 優惠價: 3299 元 A decision procedure is an algorithm that, given a decision problem, terminates with a correct yes/n... more	放入購物車下次再買
		Decision Procedures: An Algorithmic Point of View 外文書 , Daniel/ Strichman Kroening Ofer , Ingram , 出版日期: 2017-01-27 優惠價: 5099 元 A decision procedure is an algorithm that, given a decision problem, terminates with a correct yes/n... more	放入購物車下次再買
		Theory and Applications of Satisfiability Testing: Sat 2010 外文書 , Ofer (EDT) Strichman , Ingram , 出版日期: 2010-06-30 優惠價: 3299 元 This book constitutes the refereed proceedings of the 13th International Conference on Theory and Ap... more	放入購物車下次再買
		Decision Procedures: An Algorithmic Point of View 外文書 , Daniel/ Strichman Kroening Ofer/ Bryant Randal E. (FRW) , Ingram , 出版日期: 2008-05-23 優惠價: 4199 元 A decision procedure is an algorithm that, given a decision problem, terminates with a correct yes/n... more	放入購物車下次再買
		Hardware and Software: Verification and Testing: 13th International Haifa Verification Conference, Hvc 2017, Haifa, Israel, November 13-15, 2017, Proc 外文書 , Ofer Rachel Strichman Tzoref-Brill , Ingram , 出版日期: 2017-11-12 優惠價: 3299 元 This book constitutes the refereed proceedings of the 13th International Haifa Verification Conferen... more	放入購物車下次再買
		The Adaptive Capacity of Social Change Nonprofits 外文書 , Nancy Strichman , Ingram , 出版日期: 2012-08-24 優惠價: 4693 元	可訂購時通知我
		Efficient Decision Procedures for Validation 外文書 , Ofer Strichman , Ingram , 出版日期: 2010-05-15 優惠價: 2911 元	可訂購時通知我

全選

放入購物車

搜尋推薦