cav

的圖書，這是第 5 頁

	$ 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 / 普通級博客來 - 計算機概論 - 來源網頁看圖書介紹
	$ 646	To the Limit: An Air Cav Huey Pilot in Vietnam 作者：Johnson,Tom A.　出版社：New Amer Library 出版日期：2007-10-01 語言：英文規格：平裝 / 396頁 / 2.5 x 15.9 x 22.9 cm / 普通級博客來 - 歷史人物傳記 - 來源網頁看圖書介紹
	$ 6000	Computer Aided Verification: 19th International Confernece, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings 作者：Damm　出版社：Springer 出版日期：2007-08-01 語言：英文規格：平裝 / 562頁 / 23.6 x 15.7 x 3.3 cm / 普通級博客來 - 計算機概論 - 來源網頁看圖書介紹
	$ 7450	Computer Aided Verification: 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings 作者：Ball　出版社：Springer 出版日期：2006-09-01 語言：英文規格：平裝 / 564頁 / 22.4 x 15 x 3.3 cm / 普通級博客來 - 計算機概論 - 來源網頁看圖書介紹
	$ 1138	To the Limit: An Air Cav Huey Pilot in Vietnam 作者：Johnson,Tom A.　出版社：Potomac Books Inc 出版日期：2006-06-01 語言：英文規格：精裝 / 396頁 / 3.215.222.9 cm / 普級 / 單色印刷博客來 - 歷史人物傳記 - 來源網頁看圖書介紹