博客來-作者-Henzinger

熱門搜尋

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

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

呈現:

列表
小圖

		Mathematical and Engineering Methods in Computer Science: 8th International Doctoral Workshop, Memics 2012, Znojmo, Czech Republ 外文書 , Antonin (EDT)/ Henzinger David (EDT) Jaroslav (EDT)/ Vojnar Kucera Thomas A. (EDT)/ Nesetril Tomas (EDT)/ Antos , Ingram , 出版日期: 2013-01-09 優惠價: 3299 元 This volume contains the post-proceedings of the 8th Doctoral Workshop on Mathematical and Engineeri... more	放入購物車下次再買
		Hybrid Systems: Computation and Control : First International Workshop, Hscc’98, Berkeley, California, Usa, April 1998 : Procee 外文書 , Calif.)/ Henzinger Hscc’9 1998 (Berkeley Shankar T. A./ Sastry , Ingram , 出版日期: 1998-03-25 優惠價: 5950 元 This book constitutes the refereed proceedings of the First International Workshop on Hybrid Systems... more	放入購物車下次再買
		Computational Methods in Systems Biology: 11th International Conference, Cmsb 2013, Klosterneuburg, Austria, September 22-24, 2013, Proceedings 外文書 , Ashutosh Gupta Henzinger Thomas A. , Ingram , 出版日期: 2013-08-19 優惠價: 3299 元 This book constitutes the proceedings of the 11th International Conference on Computational Methods ... more	放入購物車下次再買
		Automata, Languages and Programming: 38th International Colloquium, ICALP 2011, Zurich, Switzerland, July 4-8, 2010. Proceedings, Part II 外文書 , Aceto Henzinger Jiri Luca Monika Sgall , Ingram , 出版日期: 2011-06-27 優惠價: 6599 元	放入購物車下次再買
		Automata, Languages and Programming: 38th International Colloquium, ICALP 2011, Zurich, Switzerland, July 4-8, 2011. Proceedings, Part I 外文書 , Aceto Henzinger Jiří Luca Monika Sgall , Ingram , 出版日期: 2011-06-27 優惠價: 6599 元	放入購物車下次再買
		Formal Modeling and Analysis of Timed Systems: 8th International Conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010, Proceedings 外文書 , Chatterjee Henzinger Krishnendu Thomas A. , Ingram , 出版日期: 2010-08-30 優惠價: 3299 元	放入購物車下次再買
		Computer Science Logic: 21 International Workshop, CSL 2007, 16th Annual Conference of the Eacsl, Lausanne, Switzerland, September 11-15, 2007 外文書 , Duparc Henzinger Jacques Thomas A. , Ingram , 出版日期: 2007-08-30 優惠價: 6599 元	放入購物車下次再買
		Hybrid Systems III: Verification and Control 外文書 , Alur Eduardo D. Henzinger Rajeev Sontag Thomas A. , Ingram , 出版日期: 1996-04-24 優惠價: 6599 元	放入購物車下次再買
		Handbook of Model Checking 外文書 , Clarke Edmund M. (EDT)/ Henzinger Helmut (EDT)/ Bloem Roderick (EDT) Thomas A. (EDT)/ Veith , Ingram , 出版日期: 2018-06-08 優惠價: 9599 元 Model checking is a computer-assisted method for the analysis of dynamical systems that can be model... more	可訂購時通知我
		Handbook of Model Checking 外文書 , Clarke Edmund M. Helmut Henzinger Thomas A. Veith , Ingram , 出版日期: 2020-11-14 優惠價: 9599 元	可訂購時通知我

全選

放入購物車

搜尋推薦