TOP
0
0
【簡體曬書區】 單本79折,5本7折,活動好評延長至5/31,趕緊把握這一波!

縮小範圍


商品類型


簡體書 (2)

商品狀況


可訂購商品 (2)

庫存狀況


無庫存 (2)

商品定價


$200~$399 (1)
$800以上 (1)

出版日期


2016年以前 (2)

裝訂方式


平裝 (1)
精裝 (1)

作者


屈延文 (1)
屈延文、李明生 (1)

出版社/品牌


科學出版社 (2)

三民網路書店 / 搜尋結果

2筆商品,1/1頁
形式語義學基礎與形式說明(第二版)(簡體書)
滿額折

1.形式語義學基礎與形式說明(第二版)(簡體書)

作者:屈延文  出版社:科學出版社  出版日:2010/03/01 裝訂:平裝
本書第一版是20世紀80年代國家教委計算機軟件專業教材編委會推薦教材之一。本書詳細地給出了形式語義學的基礎理論框架,但它並不是一本純理論的教材,而是一本理論與軟件實踐相結合的教材。 全書共分十章。介紹了指稱語義學、代數語義學、操作語義學與公理語義學的基本內容及其應用,并介紹了并發程序設計語言各流派的語義模型和新一代計算機計算模型的理論問題。例如curry的組合邏輯,Martin-Lof的直覺主義數
定價:354 元, 優惠價:87 308
海外經銷商無庫存,到貨日平均30天至45天
網路世界再現生命學:中醫學與現代生物行為學和系統學(簡體書)
滿額折

2.網路世界再現生命學:中醫學與現代生物行為學和系統學(簡體書)

作者:屈延文; 李明生  出版社:科學出版社  出版日:2012/06/14 裝訂:精裝
《網絡世界再現生命學:中醫學與現代生物行為學和系統學》是一本旨在網絡世界中“再現生命”的科學書籍,主要從系統學、生物行為學、計算機科學、信息化科學和新數學的視角,對生命科學、生物學和醫學,包括中醫學,進行新描述和新論述,并由此產生一門新的學科,即在網絡世界中再現生命或生物體的新學科和新專業。 本書由中醫學理論框架概論、生命科學的現狀與困惑、中醫學與生命科學發展的新動
定價:1614 元, 優惠價:87 1404
海外經銷商無庫存,到貨日平均30天至45天

暢銷榜

客服中心

收藏

會員專區