購物比價找書網找車網
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 / 普通級
博客來 博客來 - 程式  - 來源網頁  
圖書介紹看圖書介紹
贊助商廣告
 
TAAZE 讀冊生活 - 今日66折
男人的憂傷，只有屌知道︰你不可不知的性智慧
男人的憂傷，只有屌知道︰你不可不知的性智慧
作者：梁秀眉
出版社：大塊文化出版股份有限公司
出版日期：2023-12-01
66折： $ 231 
城邦讀書花園 - 今日66折
為何信任科學：科學的歷史、哲學、政治與社會學觀點
為何信任科學：科學的歷史、哲學、政治與社會學觀點
作者：娜歐蜜．歐蕾斯柯斯(Naomi Oreskes )
出版社：貓頭鷹出版社
出版日期：2024-04-09
66折： $ 436 
博客來 - 今日66折
冠軍心理學：天賦不是一切，比賽是一種心理遊戲，影響奪冠的關鍵因素是心理狀態
冠軍心理學：天賦不是一切，比賽是一種心理遊戲，影響奪冠的關鍵因素是心理狀態
作者：吉姆‧阿弗雷莫 (Jim Afremow)
出版社：久石文化
出版日期：2018-11-15
66折： $ 250 
 
博客來 - 暢銷排行榜
蛤蟆先生去看心理師（暢銷300萬冊！英國心理諮商經典，附《蛤蟆先生勇氣藏書卡》組）
蛤蟆先生去看心理師（暢銷300萬冊！英國心理諮商經典，附《蛤蟆先生勇氣藏書卡》組）
作者：羅伯．狄保德 (Robert de Board)
出版社：三采
出版日期：2022-01-26
$ 316 
博客來 - 暢銷排行榜
隱性潛能：華頓商學院最具影響力教授，突破天賦極限的實證科學【博客來獨家版．附人生領航指南書】
隱性潛能：華頓商學院最具影響力教授，突破天賦極限的實證科學【博客來獨家版．附人生領航指南書】
作者：亞當．格蘭特
出版社：平安文化
出版日期：2024-07-29
$ 379 
博客來 - 暢銷排行榜
執行長日記：關於事業與人生的33條法則
執行長日記：關於事業與人生的33條法則
作者：史蒂文．巴列特
出版社：悅知文化
出版日期：2024-07-05
$ 379 
博客來 - 暢銷排行榜
ONE-PUNCH MAN 一拳超人 30
ONE-PUNCH MAN 一拳超人 30
作者：ONE
出版社：東立
出版日期：2024-08-30
$ 105 
 
博客來 - 新書排行榜
何必討好，反正我也不喜歡你【限量附「雪兒說」金句貼紙】
何必討好，反正我也不喜歡你【限量附「雪兒說」金句貼紙】
作者：謝雪文（雪兒Cher）
出版社：時報出版
出版日期：2024-10-01
$ 300 
Taaze 讀冊生活 - 新書排行榜
逆境反彈：奧運冠軍都在用的韌性技能，養成不被挫折拖垮的復原力
逆境反彈：奧運冠軍都在用的韌性技能，養成不被挫折拖垮的復原力
作者：理查德．薩頓
出版社：英屬維京群島商高寶國際有限公司台灣分公司
出版日期：2024-09-04
$ 336 
Taaze 讀冊生活 - 新書排行榜
新婚雪妻想與我交融（02）
新婚雪妻想與我交融（02）
作者：三星めがね
出版社：尖端出版
出版日期：2024-09-27
$ 98 
 

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