購物車/收銀台(0) | 在線留言板
| 付款方式
| 聯絡我們
| 運費計算
| 幫助中心 |
加入書簽 |
登入帳戶
| 訂單查詢
| 購物車/收銀台(0) | 在線留言板
| 付款方式
| 聯絡我們
| 運費計算
| 幫助中心 |
加入書簽 |
|
 HOME 新書上架暢銷書架好書推介特價區會員書架精選月讀2024年度TOP分類閱讀雜誌 |
香港／國際用戶 |
 |
最新/最熱/最齊全的簡體書網 | 品種：超過100萬種書，正品正价，放心網購，悭钱省心 | 送貨：速遞 / 物流，時效：出貨後2-4日 |  |
在 大書城
以“
全文
模式”搜“
郁文生 孙天宇 付尧顺
”共有
5814
結果：
（小貼士：您可以使用“精確”查詢方式縮窄範圍）
|
支援简体 / 繁體 / 正體字輸入搜索 |
 |
分析基础机器证明系统
作者：郁文生，付尧顺，郭礼权 出版：科学出版社 日期：2022-01-01 《分析基础机器证明系统》利用交互式定理证明工具Coq，在朴素集合论的基础上，从Peano五条公设出发，完整实现Landau著名的《分析基础》中实数理论的形式化系统，包括对《分析基础机器证明系统》中全部 ... |
詳情>> | 售價：NT$ 1010 
|
 |
公理化集合论机器证明系统
作者：郁文生，孙天宇，付尧顺 出版：科学出版社 日期：2020-03-01 布尔巴基学派的序、代数、拓扑三大母结构是现代数学的基础.利用计算机证明辅助工具,可以完整构建这三大母结构的形式化系统.《公理化集合论机器证明系统》利用交互式定理证明工具Coq,实现Morse-Kell ... |
詳情>> | 售價：NT$ 768
|
 |
自然数的紧化延伸机器证明系统
作者：郁文生，窦国威 出版：科学出版社 日期：2024-05-01 数系的扩充始终贯穿于数学理论的发展之中.本书利用交互式定理证明工具Coq， 在Morse-Kelley 公理化集合论形式化系统下，给出中国科学与技术大学汪芳庭教授在其《数学基础》中采用算术超滤分数构造 ... |
詳情>> | 售價：NT$ 1469
|
 |
顺丰传
作者：孟凡华 出版：中国华侨出版社 日期：2020-05-01 马云：王卫是我敬佩的人！ 王卫：我们做事不是为了向谁有个交代，我们要对自己有个交代。 快递有两种，一种叫顺丰，一种叫其他！本书 360 度全景展现顺丰的发展 ... |
詳情>> | 售價：NT$ 270
|
 |
尧治河民歌整理与研究
作者：凌崎 出版：华中科技大学出版社 日期：2024-01-01 《尧治河民歌整理与研究》全面展示了尧治河民歌文化特色和地方风土人情，赋能尧治河的乡村文化振兴。本书着重于尧治河民歌的系统整理与活态化保存，以及歌种研究。尧治河民 ... |
詳情>> | 售價：NT$ 500
|
 |
赐死年羹尧
作者：查献芹 出版：辽宁人民出版社 日期：2024-05-01 年羹尧是康熙、雍正两朝的封疆大吏，他曾备受雍正帝宠信。然而，赐死年羹尧却是雍正执政初期的一件大事。年羹尧功高盖主，为君王所忌，最终走向被赐死的结局。曾经的古往今 ... |
詳情>> | 售價：NT$ 398
|
 |
UI视觉与插画——APP/电商/H5/小程序/网页/游戏视觉升华实战
作者：付尧 出版：清华大学出版社 日期：2021-12-01 2008年，我策划了一本UI设计的书，至今还在销售，而作者早已从UI设计师进化到了大厂总监级别。多年来我认识了很多设计师，其中有人一直在一线做设计，而有人则迅速 ... |
詳情>> | 售價：NT$ 653
|
 |
猎天下 第3部：洛阳伽蓝 付遥作品
作者：付遥 著 出版：中国广播影视出版社 日期：2021-06-01 1.一本描写南北朝乱世的历史读物 本书选取发生在公元524—公元550年之间的历史，这段历史是一段乱世，乱裂程度超过三国。北边处于百万流民起义的激烈动乱中。政 ... |
詳情>> | 售價：NT$ 319
|
 |
医学化学实验（第3版）付双著
作者：付双 出版：科学出版社 日期：2023-08-01 《医学化学实验》（第3版）系医学院校学生基础化学课程配套实验教材，全书共七章，包括医学化学实验基础知识、基础性实验、综合设计实验、视频演示实验、虚拟仿真实验、创新性实验和习题。本书重点为培养学生的实验 ... |
詳情>> | 售價：NT$ 203
|
 |
智能机器人创新实践 付明磊
作者：付明磊 出版：机械工业出版社 日期：2023-11-01 本书以Dobot魔术师机器人和DashGO D1智能移动平台作为机器人硬件平台，以ROS作为机器人软件操作系统，以百度大脑AI开放平台提供的开发资源作为机器人AI功能支撑，设计了码垛机器人、声控分拣机 ... |
詳情>> | 售價：NT$ 254
|
 |
写人与叙事的艺术 ——金圣叹《水浒传》评点研究 付康平
作者：付康平 出版：中国言实出版社 日期：2024-07-01 金圣叹的《水浒传》评点是中国小说批评史上的高峰，它涉及文本的主题、结构、文法、叙事、人物、语言等方面，评点的内容形成了一套小说理论系统，具备很高的文学理论价值。 ... |
詳情>> | 售價：NT$ 347
|
 |
价值竞争：以客户为中心的销售转型 第2版 付遥
作者：付遥 出版：机械工业出版社 日期：2024-07-01 这是一本销售方法论口碑之作，现在更新到了第2版。本书是作者在数十年的销售职业生涯中工作、学习和培训的经验总结，得益于丰富的工作经历，作者写出了以销售为背景的百万 ... |
詳情>> | 售價：NT$ 352
|
 |
帝尧神话传说
作者：高忠严 出版：北岳文艺出版社 日期：2021-09-01 尧帝是古华夏族部落联盟首领，中国远古时代华夏民族的共主。中华民族五千年的文明史源远流长，帝尧文化在北方地区留下了许多文明的足迹。本书从细节入手，纵深考究，是一本 ... |
詳情>> | 售價：NT$ 193
|
 |
有机化学（付建龙）（第三版）
作者：付建龙、李红、谢珍茗 主编 出版：化学工业出版社 日期：2024-01-01 《有机化学》（第三版）共17章，分别为概论，烷烃，烯烃、二烯烃，炔烃，脂环烃，有机化合物波谱分析，芳烃，立体化学，卤代烃，醇、酚、醚，醛、酮、醌，羧酸及其衍生物，β-二羰基化合物，有机含氮化合物，杂环 ... |
詳情>> | 售價：NT$ 245
|
 |
汽车钣金技术 刘海峰 付清洁
作者：刘海峰 付清洁 出版：机械工业出版社 日期：2024-07-01 本书遵循职业教育教材编写规律和职业院校学生学习规律，配套齐全 ... |
詳情>> | 售價：NT$ 189
|
 |
现代控制理论 付主木
作者：付主木 出版：机械工业出版社 日期：2024-07-01 本书遵循教指委相关指导文件和高等院校学生学习规律编写而成。践行四新理念，融入思政元素，注重理论与实践相结合。 ... |
詳情>> | 售價：NT$ 301
|
 |
认识基金经理的投资风格 景顺长城基金管理有限公司
作者：景顺长城基金管理有限公司 出版：机械工业出版社 日期：2024-02-01 经历了基金市场近几年的跌宕起伏后，基民心中可能充满疑惑。主动权益的基金经理曾经给大家带来了丰厚的收益，却也在逆风时遭遇了较大的回撤。对于基民来说，究竟应该如何看 ... |
詳情>> | 售價：NT$ 301
|
 |
工程力学简明教程 付彦坤 赵同彬 陈俊国
作者：付彦坤 赵同彬 陈俊国 出版：机械工业出版社 日期：2024-04-01 本书遵循教指委相关指导文件和高等院校学生学习规律编写而成。践行四新理念，融入思政元素，注重理论与实践相结合。 ... |
詳情>> | 售價：NT$ 270
|
 |
城市轨道交通电工电子技术 付全立 王素立 朱占峰
作者：付全立 王素立 朱占峰 出版：机械工业出版社 日期：2024-07-01 本书遵循职业教育教材编写规律和职业院校学生学习规律，配套齐全 ... |
詳情>> | 售價：NT$ 224
|
 |
工业用水及污水水质分析（付渊）
作者：付渊、陶柏秋 主编 出版：化学工业出版社 日期：2024-08-01 《工业用水及污水水质分析》全书将理论和实践融为一体，共六章内容。内容包括水分析基础知识，水样的采集、保存和预处理，水样的物理指标分析测定，金属化合物的分析测定，非金属无机物的测定，有机污染物的分析测定 ... |
詳情>> | 售價：NT$ 214
|
| 書城介紹 | 合作申請 | 索要書目 | 新手入門 | 聯絡方式 | 幫助中心 | 找書說明 | 送貨方式 | 付款方式 | 台灣用户 | 香港/海外用户 |
| megBook.com.tw | |
| Copyright (C) 2013 - 2025 （香港）大書城有限公司 All Rights Reserved. | |