購物比價找書網找車網
FindBook
排序：
 
 有 18 項符合

coq

的圖書，這是第 2 頁
Le Coq et le Renard
$ 32
    電子書
 Le Coq et le Renard
作者：Jean de La Fontaine　
出版社：Edition du Phoenix d'Or
出版日期：2015-04-08
語言：法文   
樂天KOBO 樂天KOBO - 詩歌  - 來源網頁  
A Formal Definition of JML in Coq
$ 5340
 A Formal Definition of JML in Coq
作者：Lehner Hermann　
出版社：Sudwestdeutscher Verlag Fur Hochschulschrifte
出版日期：2012-01-20
語言：英文   規格：平裝 / 236頁 / 22.86 x 15.24 x 1.37 cm / 普通級/ 初版
博客來 博客來 - 訊息資料處理與管理  - 來源網頁  
圖書介紹看圖書介紹
Cucurbit Fruit Fly (Bactrocera cucurbitae Coq.) In Summer Squash
$ 2911
 Cucurbit Fruit Fly (Bactrocera cucurbitae Coq.) In Summer Squash
作者：Sapkota　
出版社：LAP Lambert Academic Publishing
出版日期：2011-05-31
語言：英文   規格：平裝 / 72頁 / 22.86 x 15.24 x 0.43 cm / 普通級/ 初版
博客來 博客來 - 植物總論  - 來源網頁  
圖書介紹看圖書介紹
Interactive Theorem Proving and Program Development: Coq’’art: The Calculus of Inductive Constructions
$ 5399
 Interactive Theorem Proving and Program Development: Coq’’art: The Calculus of Inductive Constructions
作者：Bertot　
出版社：Springer
出版日期：2010-12-15
語言：英文   規格：平裝 / 472頁 / 23.39 x 15.6 x 2.57 cm / 普通級/ 初版
博客來 博客來 - 電腦與週邊硬體  - 來源網頁  
圖書介紹看圖書介紹
Du Coq A L’’Ane (From The Rooster To The Donkey): Or Jumping From One Thing To The Next
$ 440
 Du Coq A L’’Ane (From The Rooster To The Donkey): Or Jumping From One Thing To The Next
作者：Leete　
出版社：Createspace Independent Publishing Platform
出版日期：2008-11-28
語言：英文   規格：平裝 / 122頁 / 21.59 x 14 x 0.66 cm / 普通級/ 初版
博客來 博客來 - 傳記總論  - 來源網頁  
圖書介紹看圖書介紹
Interactive Theorem Proving and Program Development: Coq’art: The Calculus of Inductive Constructions
$ 7199
 Interactive Theorem Proving and Program Development: Coq’art: The Calculus of Inductive Constructions
作者：Bertot,Yves/CastTran,Pierre/Huet,Gerard(FRW)/Paulin-Mohring,Christine(FRW)　
出版社：Springer-Verlag New York Inc
出版日期：2004-05-14
語言：英文   規格：精裝 / 15.9 x 23.5 x 2.5 cm / 普通級
博客來 博客來 - 程式  - 來源網頁  
圖書介紹看圖書介紹
贊助商廣告
 
博客來 - 今日66折
冠軍心理學：天賦不是一切，比賽是一種心理遊戲，影響奪冠的關鍵因素是心理狀態
冠軍心理學：天賦不是一切，比賽是一種心理遊戲，影響奪冠的關鍵因素是心理狀態
作者：吉姆‧阿弗雷莫 (Jim Afremow)
出版社：久石文化
出版日期：2018-11-15
66折： $ 250 
城邦讀書花園 - 今日66折
為何信任科學：科學的歷史、哲學、政治與社會學觀點
為何信任科學：科學的歷史、哲學、政治與社會學觀點
作者：娜歐蜜．歐蕾斯柯斯(Naomi Oreskes )
出版社：貓頭鷹出版社
出版日期：2024-04-09
66折： $ 436 
TAAZE 讀冊生活 - 今日66折
男人的憂傷，只有屌知道︰你不可不知的性智慧
男人的憂傷，只有屌知道︰你不可不知的性智慧
作者：梁秀眉
出版社：大塊文化出版股份有限公司
出版日期：2023-12-01
66折： $ 231 
 
Taaze 讀冊生活 - 暢銷排行榜
miffy潔膚柔濕巾-20抽(黃)
miffy潔膚柔濕巾-20抽(黃)
作者：新台
出版社：新台圖書
出版日期：2023-08-30
$ 26 
Taaze 讀冊生活 - 暢銷排行榜
圖解英文文法的原理【暢銷修訂版】：看圖學文法不用背，一張圖就懂！用老外的思維理解英文！
圖解英文文法的原理【暢銷修訂版】：看圖學文法不用背，一張圖就懂！用老外的思維理解英文！
作者：安正鳳
出版社：語研學院
出版日期：2020-04-09
$ 299 
Taaze 讀冊生活 - 暢銷排行榜
穴道按壓使用手冊 ：史上最好找！立體穿透圖！疼痛立解、疲勞速消、身心都放鬆、百病不上身！
穴道按壓使用手冊 ：史上最好找！立體穿透圖！疼痛立解、疲勞速消、身心都放鬆、百病不上身！
作者：福辻鋭記
出版社：台灣廣廈
出版日期：2017-04-14
$ 197 
博客來 - 暢銷排行榜
致富心態：關於財富、貪婪與幸福的20堂理財課（暢銷增訂版）
致富心態：關於財富、貪婪與幸福的20堂理財課（暢銷增訂版）
作者：摩根‧豪瑟 (Morgan Housel)
出版社：天下文化
出版日期：2023-01-13
$ 355 
 
博客來 - 新書排行榜
100歲不掉牙的祕訣
100歲不掉牙的祕訣
作者：潘韞珊
出版社：聯合文學
出版日期：2024-09-26
$ 331 
Taaze 讀冊生活 - 新書排行榜
地理的力量：十張地圖揭開世界的未來
地理的力量：十張地圖揭開世界的未來
作者：提姆．馬歇爾
出版社：遠足文化事業股份有限公司
出版日期：2024-09-25
$ 392 
金石堂 - 新書排行榜
歐摸！韓語文法應該這樣學：30天打好基礎，韓檢初級閱讀高分過關！(首刷限定贈送別冊《合格！韓檢備考30天衝刺筆記》)
歐摸！韓語文法應該這樣學：30天打好基礎，韓檢初級閱讀高分過關！(首刷限定贈送別冊《合格！韓檢備考30天衝刺筆記》)
作者：陳彥伶、張磊
出版社：易說館(日月旗下)
出版日期：2024-09-04
$ 284 
金石堂 - 新書排行榜
高杉老師對×××沒有抵抗力(全)
高杉老師對×××沒有抵抗力(全)
$ 111 
 

©2024 FindBook.com.tw -  購物比價  找書網  找車網  服務條款  隱私權政策