博客來-作者-Gurfinkel

熱門搜尋

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

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

呈現:

列表
小圖

		Computer Aided Verification: 36th International Conference, Cav 2024, Montreal, Qc, Canada, July 24-27, 2024, Proceedings, Part II 外文書 , Arie Ganesh Gurfinkel Vijay , Ingram , 出版日期: 2024-07-25 優惠價: 2999 元 This open access 3-volume set constitutes the proceedings of the 36th International Conference on Co... more	放入購物車下次再買
		Pastries from the Past: From my Grandmother’s Recipe Book 外文書 , Gurfinkel Judith , Ingram , 出版日期: 2022-11-12 優惠價: 1096 元 40 pastry recipes selected from the most successful and delicious cakes and desserts described in th... more	放入購物車下次再買
		Outlaw Fathers in Victorian and Modern British Literature: Queering Patriarchy 外文書 , Gurfinkel Helena , Ingram , 出版日期: 2017-02-24 優惠價: 3479 元 Outlaw Fathers provides an innovative reading of fatherhood and father-son relationships in a number... more	放入購物車下次再買
		Outlaw Fathers in Victorian and Modern British Literature: Queering Patriarchy 外文書 , Gurfinkel Helena , Ingram , 出版日期: 2014-03-27 優惠價: 7200 元 Outlaw Fathers provides an innovative reading of fatherhood and father-son relationships in a number... 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	放入購物車下次再買
		Computer Aided Verification: 36th International Conference, Cav 2024, Montreal, Qc, Canada, July 24-27, 2024, Proceedings, Part III 外文書 , Ganesh Vijay Arie Gurfinkel , Ingram , 出版日期: 2024-07-26 優惠價: 2999 元 This open access book constitutes the proceedings of the 36th International Conference on Computer-A... more	放入購物車下次再買
		Computer Aided Verification: 36th International Conference, Cav 2024, Montreal, Qc, Canada, July 24-27, 2024, Proceedings, Part I 外文書 , Ganesh Vijay Arie Gurfinkel , Ingram , 出版日期: 2024-07-26 優惠價: 2999 元 This open access 3-volume set constitutes the proceedings of the 36th International Conference on Co... more	放入購物車下次再買
		Verified Software: Theories, Tools, and Experiments: 7th International Conference, Vstte 2015, San Francisco, Ca, Usa, July 18-19, 2015. Revised Selec 外文書 , Arie Gurfinkel Sanjit A. Seshia , Ingram , 出版日期: 2016-01-29 優惠價: 3299 元 This volume constitutes the thoroughly refereed post-conference proceedings of the 7th International... more	放入購物車下次再買
		Limitless / Sun limites: Contemporary Art in Mexico City 2000-2010 / Arte contemporaneo en la ciudad de Mexico 1000-2010 外文書 , Cuauhtemoc/ Santamarina Edgar Alejandro (EDT)/ Gurfinkel Guillermo/ Sloan Hernandez Inbal Miller (EDT)/ Medina Patricia , Ingram , 出版日期: 2014-03-31 優惠價: 1710 元	可訂購時通知我
		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	可訂購時通知我

全選

放入購物車

搜尋推薦