博客來-作者-Wiedijk

		The Seventeen Provers of the World 外文書 , Dana S. (FRW) Freek (EDT)/ Scott Wiedijk , Ingram , 出版日期: 2006-03-01 優惠價: 3000 元 Wiedijk initiated the present book in 2004 by inviting formalizations of a proof of the irrationality of the square root of...... more	放入購物車下次再買
		Hybrid Systems: Computation and Control : 6th International Workshop, Hscc 2003, Prague, Czech Republic, April 3-5, 2003 : Proce 外文書 , Amir/ Hscc 200 (2003 Prague Czech Republic) Freek/ Maler Oded/ Pnueli Wiedijk , Ingram , 出版日期: 2003-03-18 優惠價: 7450 元 This volume contains the proceedings of the Sixth Workshop on Hybrid Systems: Computation and Contro... more	放入購物車下次再買
		Types for Proofs and Programs: Second International Workshop, Types 2002, Berg En Dal, the Netherlands, April 24-28, 2002, Selected Papers 外文書 , Freek Geuvers Herman Wiedijk , Ingram , 出版日期: 2003-04-28 優惠價: 3299 元	放入購物車下次再買
		Logics and Type Systems in Theory and Practice: Essays Dedicated to Herman Geuvers on the Occasion of His 60th Birthday 外文書 , Capretta Freek Krebbers Robbert Venanzio Wiedijk , Ingram , 出版日期: 2024-05-24 優惠價: 8399 元 This Festschrift, dedicated to Herman Geuvers on the occasion of his 60th birthday, contains papers ... more	可訂購時通知我

搜尋推薦