博客來-作者-Heule

熱門搜尋

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

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

呈現:

列表
小圖

		Lob der Ungleichheit 外文書 , Dagmar Schulze Heuling Michael Von Prollius , Ingram , 出版日期: 2015-06-05 優惠價: 820 元 Schulze Heuling. Auf intellektuell charmante Weise zeigt sie auf, dass erstens Freiheit und Gleichheit unvereinbar sind...... more	放入購物車下次再買
		Tools and Algorithms for the Construction and Analysis of Systems: 31st International Conference, Tacas 2025, Held as Part of the International Joint 外文書 , Arie Gurfinkel Heule Marjin , Ingram , 出版日期: 2025-05-01 優惠價: 2999 元 The open access book set LNCS 15696, 15697 and 15698 constitutes the proceedings of the 31st Interna... more	放入購物車下次再買
		Tools and Algorithms for the Construction and Analysis of Systems: 31st International Conference, Tacas 2025, Held as Part of the International Joint 外文書 , Arie Gurfinkel Heule Marjin , Ingram , 出版日期: 2025-05-01 優惠價: 2999 元 The open access book set LNCS 15696, 15697 and 15698 constitutes the proceedings of the 31st Interna... more	放入購物車下次再買
		Automated Reasoning: 12th International Joint Conference, Ijcar 2024, Nancy, France, July 3-6, 2024, Proceedings, Part II 外文書 , Benzmüller Christoph Heule Marijn J. H. Renate A. Schmidt , Ingram , 出版日期: 2024-07-02 優惠價: 4799 元 Infotext (nur auf Basis des Vorgängers): This two-volume set of LNAI 14739-14740 constitute the proc... more	放入購物車下次再買
		Automated Reasoning: 12th International Joint Conference, Ijcar 2024, Nancy, France, July 3-6, 2024, Proceedings, Part I 外文書 , Benzmüller Christoph Heule Marijn Renate A. Schmidt , Ingram , 出版日期: 2024-07-02 優惠價: 2699 元 This two-volume set of LNAI 14739-14740 constitute the proceedings of the 12th International Joint C... more	放入購物車下次再買
		Algorithmic and Aesthetic Literacy: Emerging Transdisciplinary Explorations for the Digital Age 外文書 , Christian Filk Heuling Lydia Schulze , Ingram , 出版日期: 2021-03-29 優惠價: 2400 元	放入購物車下次再買
		Theory and Applications of Satisfiability Testing -- SAT 2015: 18th International Conference, Austin, Tx, Usa, September 24-27, 2015, Proceedings 外文書 , Heule Marijn Sean Weaver , Ingram , 出版日期: 2015-11-04 優惠價: 4199 元	放入購物車下次再買
		Handbook of Satisfiability 外文書 , Armin (EDT)/ Heule Biere Hans (EDT)/ Walsh Marijn (EDT)/ Van Maaren Toby (EDT) , Ios Pr Inc , 出版日期: 2009-02-15 優惠價: 7410 元	可訂購時通知我
		Tools and Algorithms for the Construction and Analysis of Systems: 31st International Conference, Tacas 2025, Held as Part of the International Joint 外文書 , Arie Gurfinkel Heule Marjin , Ingram , 出版日期: 2025-05-01 優惠價: 2999 元 The open access book set LNCS 15696, 15697 and 15698 constitutes the proceedings of the 31st Interna... more	可訂購時通知我

全選

放入購物車

搜尋推薦