博客來-作者-Nipkow

熱門搜尋

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

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

呈現:

列表
小圖

		Concrete Semantics: With Isabelle/Hol 外文書 , Gerwin Klein Nipkow Tobias , Ingram , 出版日期: 2016-09-10 優惠價: 3299 元	放入購物車下次再買
		Concrete Semantics: With Isabelle/Hol 外文書 , Gerwin Klein Nipkow Tobias , Ingram , 出版日期: 2014-12-15 優惠價: 5099 元 Introduction.- Programming and Proving.- Case Study: IMP Expressions.- Logic and Proof Beyond Equali... more	放入購物車下次再買
		FM 2006: Formal Methods: 14th International Symposium on Formal Methods Hamilton, Canada, August 21-27, 2006 Proceedings 外文書 , Emil (EDT) Jayadev (EDT)/ Nipkow Misra Tobias (EDT)/ Sekerinski , Ingram , 出版日期: 2006-09-01 優惠價: 7450 元 This book presents the refereed proceedings of the 14th International Symposium on Formal Methods, F... more	放入購物車下次再買
		Isabelle/Hol: A Proof Assistant for Higher-Order Logic 外文書 , Lawrence C./ Wenzel Markus/ Nipkow Nipkow Tobias (EDT) Tobias/ Paulson , Ingram , 出版日期: 2002-04-03 優惠價: 3000 元 This volume is a self-contained introduction to interactive proof in high- order logic (HOL), using ... more	放入購物車下次再買
		Automated Reasoning: Proceedings of the First International Joint Conference, Ijcar 2001 Siena, Italy, June 18-23, 2001 外文書 , Alexander (EDT)/ Nipkow Gore Rajeev (EDT)/ Leitsch Tobias (EDT) , Ingram , 出版日期: 2001-06-06 優惠價: 8450 元 The last ten years have seen a gradual fragmentation of the Automated Reas- ing community into vario... more	放入購物車下次再買
		Term Rewriting and All That 外文書 , Baader Franz/ Nipkow Tobias , Ingram , 出版日期: 1999-08-28 優惠價: 2950 元 This textbook offers a unified, self-contained introduction to the field of term rewriting. Baader and Nipkow cover all...... more	放入購物車下次再買
		Theorem Proving in Higher Order Logics: 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009, Proceedings 外文書 , Berghofer Christian Nipkow Stefan Tobias Urban , Ingram , 出版日期: 2009-08-04 優惠價: 3299 元 This book constitutes the refereed proceedings of the 22nd International Conference on Theorem Provi... more	放入購物車下次再買
		Rewriting Techniques and Applications: 9th International Conference, Rta-98, Tsukuba, Japan, March 30 - April 1, 1998, Proceedings 外文書 , Nipkow Tobias , Ingram , 出版日期: 1998-03-11 優惠價: 3299 元	放入購物車下次再買
		God, Human Nature and Education for Peace: New Approaches to Moral and Religious Maturity 外文書 , Karl Ernst Nipkow , Ingram , 出版日期: 2019-11-11 優惠價: 2577 元 interpretations of the most outstanding traditions of the Old and New Testament, Karl Ernst Nipkow’s approach of ’elementarization...... more	可訂購時通知我
		God, Human Nature and Education for Peace: New Approaches to Moral and Religious Maturity 外文書 , Karl Ernst Nipkow , Ingram , 出版日期: 2017-11-30 優惠價: 8400 元	可訂購時通知我
		Software Safety and Security: Tools for Analysis and Verification 外文書 , Benedikt (EDT) Nipkow Orna (EDT)/ Hauptmann Tobias (EDT)/ Grumberg , Ios Pr Inc , 出版日期: 2012-06-15 優惠價: 7448 元	可訂購時通知我
		Formal Logical Methods for System Security and Correctness 外文書 , Christian (EDT) Grumberg Orna (EDT)/ Nipkow Tobias (EDT)/ Pfaller , Ios Pr Inc , 出版日期: 2008-05-15 優惠價: 6118 元	可訂購時通知我
		God, Human Nature and Education for Peace: New Approaches to Moral and Religious Maturity 外文書 , Karl Ernst Nipkow , Ashgate Pub Co , 出版日期: 2003-12-01 優惠價: 1518 元	可訂購時通知我
		God, Human Nature and Education for Peace: New Approaches to Moral and Religious Maturity 外文書 , Karl Ernst Nipkow , Ashgate Pub Co , 出版日期: 2003-12-01 優惠價: 3798 元	可訂購時通知我

全選

放入購物車

搜尋推薦