hol

的圖書，這是第 4 頁

	$ 5099	Concrete Semantics: With Isabelle/Hol 作者：Nipkow　出版社：Springer 出版日期：2014-12-15 語言：英文規格：精裝 / 298頁 / 23.39 x 15.6 x 1.91 cm / 普通級/ 初版博客來 - 數學 - 來源網頁看圖書介紹
	$ 95 電子書	U.S. Marshal Bill Logan, Band 55: Ich hol dich aus der Hölle, Bonny 作者：Pete Hackett　出版社：CassiopeiaPress 出版日期：2014-08-10 語言：德文樂天KOBO - 西部電影 - 來源網頁
	$ 722	The Natural Pregnancy Book: Your Complete Guide to a Safe, Organic Pregnancy and Childbirth with Herbs, Nutrition, and Other Hol 作者：Aviva Jill/Gaskin,Ina May(FRW),Romm　出版社：Random House Inc 出版日期：2014-08-05 語言：英文規格：平裝 / 19.1 x 24.1 x 1.9 cm / 普通級/ 再版博客來 - 草藥療法 - 來源網頁看圖書介紹
	$ 52 ～ 119	×××HOLｉC・戻 01【金石堂、博客來熱銷】作者：CLAMP　出版社：東立出版社出版日期：2014-06-16 共 9 筆 → 查價格、看圖書介紹
	$ 261 電子書	The Memory Palace of Isabella Stewart Gardner Museum 作者：Patricia Vigderman　出版社：Hol Art Books 出版日期：2012-03-15 語言：英文樂天KOBO - 藝術家、建築師與攝影師 - 來源網頁看圖書介紹
	$ 261 電子書	Jack Goldstein and the CalArts Mafia 作者：Richard Hertz　出版社：Hol Art Books 出版日期：2011-09-01 語言：英文樂天KOBO - 藝術家、建築師與攝影師 - 來源網頁看圖書介紹
	$ 60 電子書	Corot 作者：Elbert Hubbard　出版社：Hol Art Books 出版日期：2011-04-15 語言：英文樂天KOBO - 藝術家、建築師與攝影師 - 來源網頁看圖書介紹
$Nostalgia\$	$ 261 電子書	Nostalgia's Thread: Ten Poems on Norman Rockwell Paintings 作者：Randall R. Freisinger　出版社：Hol Art Books 出版日期：2009-11-01 語言：英文樂天KOBO - 詩歌 - 來源網頁看圖書介紹
	$ 3505	The Verification of MDG Algorithms in the HOL Theorem Prover 作者：Abed　出版社：LAP Lambert Academic Publishing 出版日期：2009-10-13 語言：英文規格：平裝 / 160頁 / 22.86 x 15.24 x 0.94 cm / 普通級/ 初版博客來 - 電腦與週邊硬體 - 來源網頁看圖書介紹
	$ 150 電子書	Whistler As I Knew Him 作者：Mortimer Menpes　出版社：Hol Art Books 出版日期：2009-09-13 語言：英文樂天KOBO - 藝術家、建築師與攝影師 - 來源網頁看圖書介紹
	$ 990	Colborne: A Singular Talent for War: the Napoleonic Wars Career of One of Wellington’s Most Highly Valued Officers in Egypt, Hol 作者：Colborne　出版社：Leonaur Ltd 出版日期：2007-11-29 語言：英文規格：平裝 / 280頁 / 21.6 x 14 x 1.5 cm / 普通級博客來 - 歷史人物傳記 - 來源網頁看圖書介紹
	$ 3000	Isabelle/Hol: A Proof Assistant for Higher-Order Logic 作者：Nipkow　出版社：Springer 出版日期：2002-04-03 語言：英文規格：平裝 / 226頁 / 23.6 x 16.5 x 1.5 cm / 普通級/ 初版博客來 - 計算機概論 - 來源網頁看圖書介紹