購物車/收銀台(0) | 在線留言板
| 付款方式
| 聯絡我們
| 運費計算
| 幫助中心 |
加入書簽 |
登入帳戶
| 訂單查詢
| 購物車/收銀台(0) | 在線留言板
| 付款方式
| 聯絡我們
| 運費計算
| 幫助中心 |
加入書簽 |
|
 HOME 新書上架暢銷書架好書推介特價區會員書架精選月讀2024年度TOP分類閱讀雜誌 |
香港／國際用戶 |
 |
最新/最熱/最齊全的簡體書網 | 品種：超過100萬種書，正品正价，放心網購，悭钱省心 | 送貨：速遞 / 物流，時效：出貨後2-4日 |  |
在 大書城
以“
全文
模式”搜“
胡思, 等
”共有
2
結果：
|
支援简体 / 繁體 / 正體字輸入搜索 |
 |
面向计算机科学的数理逻辑系统建模与推理（英文版第2版）
作者：胡思, 等 出版：机械工业出版社 日期：2005-04-01 数理逻辑是计算机科学的基础之一，在模型与系统的规约与验证等方面有着广泛的应用。随着当今软硬件产品日趋复杂，数理逻辑已经成为越来越多设计开发人员的日常工具。
本书适合作为高等院校计算机及相关专业的数理逻辑/形式化方法课程教材，涵盖了命题逻辑，谓词逻辑、模态逻辑与 Agent、
... |
詳情>> | 售價：NT$ 466 
|
 |
《南方文学》2017年第1期
作者：李浩，夏榆，廖伟棠，余思，丁国祥，周洁茹等 著 出版：广西师范大学出版社 日期：2017-01-01 你是谁？汤立问那个老头。你怎么会有这里的钥匙？ 那老头却侧着身，两眼看着汤立和李菁，他侧着身子朝卧室走，小声说，这是我的家，我怎么会没有钥匙。汤立和李菁面面相觑，他们不知道老头去卧室做什么，问题是他们都有点发懵，怎么回事？怎么会有这么一个老头从外边一下子进到他们的家里来。 王祥夫《房客》 胡思 ... |
詳情>> | 售價：NT$ 115
|
| >>> （頁碼:1/1 行數:20/2） 1 |
| 書城介紹 | 合作申請 | 索要書目 | 新手入門 | 聯絡方式 | 幫助中心 | 找書說明 | 送貨方式 | 付款方式 | 台灣用户 | 香港/海外用户 |
| megBook.com.tw | |
| Copyright (C) 2013 - 2025 （香港）大書城有限公司 All Rights Reserved. | |