購物車/收銀台(0) | 在線留言板
| 付款方式
| 運費計算
| 聯絡我們
| 幫助中心 |
加入書簽 |
登入帳戶
| 訂單查詢
| 購物車/收銀台(0) | 在線留言板
| 付款方式
| 運費計算
| 聯絡我們
| 幫助中心 |
加入書簽 |
||
 HOME 新書上架 暢銷書架好書推介特價區會員書架精選月讀2025年度TOP分類瀏覽雜誌 |
臺灣用戶 |
 |
品種：超過100萬種各類書籍/音像和精品，正品正價，放心網購，悭钱省心 | 服務：香港／台灣／澳門／海外 | 送貨：速遞／郵局／服務站 |  |
在 大書城
以“
全文
模式”搜“
陆汝钤
”共有
2
结果：
|
同時支援繁體 / 正體 / 简体字輸入搜索 |
 |
人工智能（上下册）（中国院士文库）
『简体书』 作者：陆汝钤 编著 出版：上海科学技术文献出版社 日期：2023-01-01 本书是人工智能专业最基础最全面的解读，作者陆汝钤院士在知识工程和基于知识的软件工程方面做了系统的、创造性的工作，是我国该领域研究的开拓者之一。倡导并主持完成了以软件的机械化生成和移植为目标的系列软件计划（XR计划），推动了当时国产机软件缺乏问题的解决。 本书 ... |
詳情>> | |
 |
计算系统的形式语义
『简体书』 作者：陆汝钤 出版：清华大学出版社 日期：2017-01-01 计算系统的形式语义是目前计算机科学理论研究的两大方向之一，其研究成果对程序设计语言、编译技术、应用软件、分布式系统等分支领域有重大的实际意义。本书大体上分为三个部分。*部分是数学基础，为*章。第二部分包括第二到第五章，概述了形式语义中的操作语义、指称语义、公理 ... |
詳情>> | |
| >>> （頁碼:1/1 行數:20/2） 1 |