購物車/收銀台(0) | 在線留言板
| 付款方式
| 聯絡我們
| 運費計算
| 幫助中心 |
加入書簽 |
登入帳戶
| 訂單查詢
| 購物車/收銀台(0) | 在線留言板
| 付款方式
| 聯絡我們
| 運費計算
| 幫助中心 |
加入書簽 |
|
 HOME 新書上架暢銷書架好書推介特價區會員書架精選月讀2025年度TOP分類閱讀雜誌 |
香港／國際用戶 |
 |
最新/最熱/最齊全的簡體書網 | 品種：超過100萬種書，正品正价，放心網購，悭钱省心 | 送貨：速遞 / 物流，時效：出貨後2-4日 |  |
在 大書城
以“
全文
模式”搜“
DOUGLAS ROBINSON
”共有
147
結果：
|
支援简体 / 繁體 / 正體字輸入搜索 |
 |
基于时序逻辑的Resolution自动定理证明方法
作者：章岚 出版：首都经济贸易大学出版社 日期：2021-09-01 时序逻辑是人工智能和计算机科学领域中的重要建模工具。随着时序逻辑的广泛使用，应用时序逻辑来对复杂系统进行推理和验证的算法也应运而生。其中成功的方法之一就是Resolution算法，这也是本书的主题。 1965年美国数理逻辑专家鲁滨逊（J. A. Robinson）提出了一条Resolution推理规则，这标志着Res ... |
詳情>> | 售價：NT$ 303 
|
 |
量子世界中的蝴蝶-最迷人的量子分形故事
作者：[印]金杜.萨蒂亚 出版：哈尔滨工业大学出版社 日期：2020-07-01 本书是我们工作室引进的一部高级科普著作英文影印版。中文书名可译为：《量子世界中的蝴蝶：*迷人的量子分形故事》。 印度LiveMint的记者兼作家迪普利.德索萨的推荐语是：很少有人能读完这一整本书，但这本书丰富而广阔的想法让我惊讶。 本书的两大亮点是： 1.由蝴蝶图形的发现者道格拉斯.霍夫施塔特（Douglas H ... |
詳情>> | 售價：NT$ 708
|
 |
风险管理的失败（第二版）
作者：[美]道格拉斯·W.哈伯德 著 出版：中国金融出版社 日期：2021-05-01 本书提供了风险管理基本领域的专家检查，包括风险评估和分析方法、风险减小策略、定量分析中的常见错误等，为当前风险分析方法中的重大失误提供了有效的解决方案。 本书作者道格拉斯·W.哈伯德(Douglas W. Hubbard)是风险管理领域公认的领军人物。他将基于科学的分析与现实世界的例子相结合，对风险管理实践进行 ... |
詳情>> | 售價：NT$ 441
|
 |
战争预言者荷马李著作选译
作者：[美]荷马李 著，陈丹 译 出版：社会科学文献出版社 日期：2021-09-01 荷马李被称为“军事天才”“战争预言者”，《无知之勇》是其成名作，西点军校的校长麦克阿瑟将军（Gen. Douglas MacArthur） 一度规定该书为西点学生书。该书从哲学和地缘政治的角度论述了日美之间必有一战的原因，并在此基础上具体论述了日本将会从海上攻击美国，对二战期间的太平洋战争做出了精确的预测。《撒克逊时代 ... |
詳情>> | 售價：NT$ 930
|
 |
鲁滨孙漂流记中小学课外阅读名著未删减插图珍藏版全译本
作者：［英］丹尼尔·笛福 出版：春风文艺出版社 日期：2017-05-01 《鲁宾孙漂流记》是英国作家丹尼尔·笛福的一部长篇小说。该书首次出版于1719年4月25日。 该作主要讲述了主人公鲁滨逊·克鲁索（Robinson Crusoe）出生于一个中产阶级家庭，一生志在遨游四海的故事。一次在去非洲航海的途中遇到风暴，只身漂流到一个无人的荒岛上，开始了一段与世隔绝的生活。他凭着强韧的意志与不懈的 ... |
詳情>> | 售價：NT$ 202
|
 |
C*-代数例析（影印版）
作者：KENNETH R.，DAVIDSON 出版：高等教育出版社 日期： C*-代数在20世纪70年代得到了极大复兴，这缘于Brown、Douglas和Fillmore在C*-代数扩张中引入了拓扑方法，以及Elliott使用K-理论为AF代数提供了一个有用分类。这些结果成为一系列用于分析具体C*-代数出色的新工具之开端。 本书通过详细分析几种重要的C*-代数类，介绍了该主题的基础知识，可作为 ... |
詳情>> | 售價：NT$ 810
|
 |
深入理解OpenStack Trove
作者：[美]Amrith Kumar[艾姆瑞斯·库马尔]，[加]D 出版：电子工业出版社 日期：2016-11-01 本书由Tesora团队的CTO Amrith Kumar和研发副总裁Douglas Shelley联合编写，深入介绍并研究了OpenStack中Trove项目的架构及工作原理。Trove项目作为一个DBaaS（数据库即服务），可以方便地为用 ... |
詳情>> | 售價：NT$ 593
|
| 書城介紹 | 合作申請 | 索要書目 | 新手入門 | 聯絡方式 | 幫助中心 | 找書說明 | 送貨方式 | 付款方式 | 台灣用户 | 香港/海外用户 |
| megBook.com.tw | |
| Copyright (C) 2013 - 2026 （香港）大書城有限公司 All Rights Reserved. | |