Cav

的圖書，這是第 5 頁

	$ 3299	Computer Aided Verification: 27th International Conference, Cav 2015, San Francisco, Ca, Usa, July 18-24, 2015, Proceedings, Part II 出版社：Springer 出版日期：2015-07-23 語言：英文規格：平裝 / 469頁 / 23.39 x 15.6 x 2.49 cm / 普通級/ 初版博客來 - 數學理論與邏輯 - 來源網頁看圖書介紹
	$ 602	They Called him Cav 作者：Coury　出版社：Createspace Independent Publishing Platform 出版日期：2014-10-29 語言：英文規格：平裝 / 268頁 / 22.86 x 15.24 x 1.55 cm / 普通級/ 初版博客來 - 冒險/西部小說 - 來源網頁看圖書介紹
	$ 6599	Computer Aided Verification: 26th International Conference, Cav 2014, Held as Part of the Vienna Summer of Logic, Vsl 2014, Vienna, Austria, July 1 出版社：Springer 出版日期：2014-08-04 語言：英文規格：平裝 / 877頁 / 23.39 x 15.6 x 4.57 cm / 普通級/ 初版博客來 - 數學理論與邏輯 - 來源網頁看圖書介紹
	$ 0 電子書	Antiche memorie 作者：Cav. Michele Giacomo Pinto,Nuccia Graziani　出版社：Cav. Michele Giacomo Pinto 出版日期：2014-02-23 語言：義大利文樂天KOBO - 歷史文學 - 來源網頁
	$ 6599	Computer Aided Verification: 25th International Conference, Cav 2013, Saint Petersburg, Russia, July 13-19, 2013, Proceedings 出版社：Springer 出版日期：2013-07-14 語言：英文規格：平裝 / 1015頁 / 23.39 x 15.6 x 5.18 cm / 普通級/ 初版博客來 - 人工智慧 - 來源網頁看圖書介紹
	$ 3299	Computer Aided Verification: 24th International Conference, Cav 2012, Berkeley, Ca, Usa, July 7-13, 2012 Proceedings 出版社：Springer 出版日期：2012-06-27 語言：英文規格：平裝 / 789頁 / 23.39 x 15.6 x 4.06 cm / 普通級/ 初版博客來 - 數學理論與邏輯 - 來源網頁看圖書介紹
	$ 4693	Phragmites australis (Cav.) Trin. ex Steud. 作者：Eid　出版社：LAP Lambert Academic Publishing 出版日期：2012-04-18 語言：英文規格：平裝 / 292頁 / 22.86 x 15.24 x 1.68 cm / 普通級/ 初版博客來 - 生態學 - 來源網頁看圖書介紹
	$ 3299	Computer Aided Verification: 23rd International Conference, Cav 2011, Snowbird, Ut, USA, July 14-20, 2011, Proceedings 作者：Gopalakrishnan　出版社：Springer 出版日期：2011-07-05 語言：英文規格：平裝 / 763頁 / 23.4 x 15.5 x 4.1 cm / 普通級博客來 - 應用軟體與開發工程 - 來源網頁看圖書介紹
	$ 758	Air Cav: History of the 1st Cavalry Division in Vietnam 1965-1969 作者：Coleman,J. D.(EDT)　出版社：Ingram Pub Services 出版日期：2011-05-16 語言：英文規格：平裝 / 23.5 x 17.1 x 1.9 cm / 普通級博客來 - 軍事/戰爭史 - 來源網頁看圖書介紹
	$ 6599	Computer Aided Verification: 22nd International Conference, Cav 2010, Edinburgh, Uk, July 15-19, 2010, Proceedings 作者：Touili,Tayssir(EDT)/Cook,Byron(EDT)/Jackson,Paul(EDT)　出版社：Springer-Verlag New York Inc 出版日期：2010-06-30 語言：英文規格：平裝 / 676頁 / 2.515.222.9 cm / 普級 / 單色印刷博客來 - 程式語言 - 來源網頁看圖書介紹
	$ 6599	Computer Aided Verification: 21st International Conference, CAV 2009, Grenoble, France, June 26-July 2, 2009, Proceedings 出版社：Springer 出版日期：2009-06-19 語言：英文規格：平裝 / 740頁 / 23.37 x 15.49 x 2.54 cm / 普通級/ 初版博客來 - 計算機概論 - 來源網頁看圖書介紹
	$ 8340	Computer Aided Verification: 20th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 2008, Proceedings 作者：Gupta　出版社：Springer 出版日期：2008-06-17 語言：英文規格：平裝 / 558頁 / 23.4 x 15.2 x 3.3 cm / 普通級博客來 - 計算機概論 - 來源網頁看圖書介紹