購物車/收銀台(0) | 在線留言板
| 付款方式
| 運費計算
| 聯絡我們
| 幫助中心 |
加入書簽 |
登入帳戶
| 訂單查詢
| 購物車/收銀台(0) | 在線留言板
| 付款方式
| 運費計算
| 聯絡我們
| 幫助中心 |
加入書簽 |
||
 HOME 新書上架暢銷書架好書推介特價區會員書架精選月讀2024年度TOP分類瀏覽雜誌 |
臺灣用戶 |
 |
品種：超過100萬種各類書籍/音像和精品，正品正價，放心網購，悭钱省心 | 服務：香港／台灣／澳門／海外 | 送貨：速遞／郵局／服務站 |  |
在 大書城
以“
全文
模式”搜“
邓玉欣 著
”共有
2
结果：
|
同時支援繁體 / 正體 / 简体字輸入搜索 |
 |
函数式程序设计
『简体书』 作者：邓玉欣 出版：清华大学出版社 日期：2023-07-01 在内容选取上，本讲义只涉及 λ-演算，Coq 和 OCaml。毫无疑问，λ-演 算是理解函数式编程语言的基础和出发点，因此在第一章我们介绍不带类型 的 λ-演算和简单类型的 λ-演算，主要讨论语法和 β-规约语义。虽然 λ-演算适 合理解函数式编程的一些核心思想，比如数据即函数，但是它的语法构造比较原始，即使表示一个数 ... |
詳情>> | |
 |
概率进程语义（英文版）
『简体书』 作者：邓玉欣 著 出版：上海交通大学出版社 日期：2015-11-01 随着计算机网络和通信技术的发展，对并发分布式系统的研究变得越来越重要。作为一种描述并发计算的模型，进程演算受到广泛研究并被成功应用到实际系统的规范、设计、分析及验证中。近些年来，人们提出概率进程演算用来描述和分析并发系统的量化行为，这要求对概率进程的语义基础进行深入研究。 在邓玉欣*作的《概率进程 ... |
詳情>> | |
| >>> （頁碼:1/1 行數:20/2） 1 |
如果未能搜尋到意向中的書籍，可以參看：“找書說明” 或 “尋書登記服務”
| 書城介紹 | 合作申請 | 索要書目 | 新手入門 | 聯絡方式 | 幫助中心 | 找書說明 | 送貨方式 | 付款方式 | 香港用户 | 台灣用户 | 海外用户 |
| megBook.com.hk | |
| Copyright © 2013 - 2025 （香港）大書城有限公司 All Rights Reserved. | |