購物車/收銀台(0) | 在線留言板
| 付款方式
| 聯絡我們
| 運費計算
| 幫助中心 |
加入書簽 |
登入帳戶
| 訂單查詢
| 購物車/收銀台(0) | 在線留言板
| 付款方式
| 聯絡我們
| 運費計算
| 幫助中心 |
加入書簽 |
|
 HOME 新書上架暢銷書架好書推介特價區會員書架精選月讀2024年度TOP分類閱讀雜誌 |
香港／國際用戶 |
 |
最新/最熱/最齊全的簡體書網 | 品種：超過100萬種書，正品正价，放心網購，悭钱省心 | 送貨：速遞 / 物流，時效：出貨後2-4日 |  |
在 大書城
以“
全文
模式”搜“
郁文生，付尧顺，郭礼权
”共有
7357
結果：
（小貼士：您可以使用“精確”查詢方式縮窄範圍）
|
支援简体 / 繁體 / 正體字輸入搜索 |
 |
分析基础机器证明系统
作者：郁文生，付尧顺，郭礼权 出版：科学出版社 日期：2022-01-01 《分析基础机器证明系统》利用交互式定理证明工具Coq，在朴素集合论的基础上，从Peano五条公设出发，完整实现Landau著名的《分析基础》中实数理论的形式化系统，包括对《分析基础机器证明系统》中全部5个公设、73条定义和301个定理Coq描述，其中依次构造了自然数、分数、分割、实数和复数，并建立了 ... |
詳情>> | 售價：NT$ 1010 
|
 |
公理化集合论机器证明系统
作者：郁文生，孙天宇，付尧顺 出版：科学出版社 日期：2020-03-01 布尔巴基学派的序、代数、拓扑三大母结构是现代数学的基础.利用计算机证明辅助工具,可以完整构建这三大母结构的形式化系统.《公理化集合论机器证明系统》利用交互式定理证明工具Coq,实现Morse-Kelley公理化集合论形式化系统,包括对该体系中8个公理含选择公理和1个公理图示以及全部181条定义或定理 ... |
詳情>> | 售價：NT$ 768
|
 |
自然数的紧化延伸机器证明系统
作者：郁文生，窦国威 出版：科学出版社 日期：2024-05-01 数系的扩充始终贯穿于数学理论的发展之中.本书利用交互式定理证明工具Coq， 在Morse-Kelley 公理化集合论形式化系统下，给出中国科学与技术大学汪芳庭教授在其《数学基础》中采用算术超滤分数构造实数的机器证明系统， 包括超滤空间与算术超滤的基本概念、超滤变换以及用算术超滤构造算术模型的形式化实 ... |
詳情>> | 售價：NT$ 1469
|
 |
尧治河民歌整理与研究
作者：凌崎 出版：华中科技大学出版社 日期：2024-01-01 《尧治河民歌整理与研究》全面展示了尧治河民歌文化特色和地方风土人情，赋能尧治河的乡村文化振兴。本书着重于尧治河民歌的系统整理与活态化保存，以及歌种研究。尧治河民歌保护传承采用乐谱与二维码同步保存（配以 ... |
詳情>> | 售價：NT$ 500
|
 |
赐死年羹尧
作者：查献芹 出版：辽宁人民出版社 日期：2024-05-01 年羹尧是康熙、雍正两朝的封疆大吏，他曾备受雍正帝宠信。然而，赐死年羹尧却是雍正执政初期的一件大事。年羹尧功高盖主，为君王所忌，最终走向被赐死的结局。曾经的古往今来君臣遇合之榜样为何会走向这样的结局，本 ... |
詳情>> | 售價：NT$ 398
|
 |
写人与叙事的艺术 ——金圣叹《水浒传》评点研究 付康平
作者：付康平 出版：中国言实出版社 日期：2024-07-01 金圣叹的《水浒传》评点是中国小说批评史上的高峰，它涉及文本的主题、结构、文法、叙事、人物、语言等方面，评点的内容形成了一套小说理论系统，具备很高的文学理论价值。《写人与叙事的艺术——金圣叹<水浒传>评 ... |
詳情>> | 售價：NT$ 347
|
 |
价值竞争：以客户为中心的销售转型 第2版 付遥
作者：付遥 出版：机械工业出版社 日期：2024-07-01 这是一本销售方法论口碑之作，现在更新到了第2版。本书是作者在数十年的销售职业生涯中工作、学习和培训的经验总结，得益于丰富的工作经历，作者写出了以销售为背景的百万级畅销书《输赢》，而本书则是《输赢》的实 ... |
詳情>> | 售價：NT$ 352
|
 |
帝尧神话传说
作者：高忠严 出版：北岳文艺出版社 日期：2021-09-01 尧帝是古华夏族部落联盟首领，中国远古时代华夏民族的共主。中华民族五千年的文明史源远流长，帝尧文化在北方地区留下了许多文明的足迹。本书从细节入手，纵深考究，是一本集趣味性、传奇性、学术性于一体的图文并茂 ... |
詳情>> | 售價：NT$ 193
|
 |
汽车钣金技术 刘海峰 付清洁
作者：刘海峰 付清洁 出版：机械工业出版社 日期：2024-07-01 本书遵循职业教育教材编写规律和职业院校学生学习规律，配套齐全 ... |
詳情>> | 售價：NT$ 189
|
 |
现代控制理论 付主木
作者：付主木 出版：机械工业出版社 日期：2024-07-01 本书遵循教指委相关指导文件和高等院校学生学习规律编写而成。践行四新理念，融入思政元素，注重理论与实践相结合。 ... |
詳情>> | 售價：NT$ 301
|
 |
方圆之间 长篇小说 付立果
作者：付立果 出版：中国言实出版社 日期：2025-02-01 《方圆之间》是一部长篇小说，讲述了银行人邢真受命到一个面临经营危机的支行任职，从上任“三把火”开始，到全力营销与危机应对，带领支行员工团结奋进、不惧风险、敢于担当与负责，三年内彻底改变了该支行的落后局 ... |
詳情>> | 售價：NT$ 296
|
 |
认识基金经理的投资风格 景顺长城基金管理有限公司
作者：景顺长城基金管理有限公司 出版：机械工业出版社 日期：2024-02-01 经历了基金市场近几年的跌宕起伏后，基民心中可能充满疑惑。主动权益的基金经理曾经给大家带来了丰厚的收益，却也在逆风时遭遇了较大的回撤。对于基民来说，究竟应该如何看待基金经理的业绩与行为表现？事实上，不同 ... |
詳情>> | 售價：NT$ 301
|
 |
工程力学简明教程 付彦坤 赵同彬 陈俊国
作者：付彦坤 赵同彬 陈俊国 出版：机械工业出版社 日期：2024-04-01 本书遵循教指委相关指导文件和高等院校学生学习规律编写而成。践行四新理念，融入思政元素，注重理论与实践相结合。 ... |
詳情>> | 售價：NT$ 270
|
 |
城市轨道交通电工电子技术 付全立 王素立 朱占峰
作者：付全立 王素立 朱占峰 出版：机械工业出版社 日期：2024-07-01 本书遵循职业教育教材编写规律和职业院校学生学习规律，配套齐全 ... |
詳情>> | 售價：NT$ 224
|
 |
工业用水及污水水质分析（付渊）
作者：付渊、陶柏秋 主编 出版：化学工业出版社 日期：2024-08-01 《工业用水及污水水质分析》全书将理论和实践融为一体，共六章内容。内容包括水分析基础知识，水样的采集、保存和预处理，水样的物理指标分析测定，金属化合物的分析测定，非金属无机物的测定，有机污染物的分析测定。本书为了便于教学和学生学习，在每章开头按照知识目标、技能目标和素质目标三个层次提出了每章的学习目标 ... |
詳情>> | 售價：NT$ 214
|
 |
人工智能技术及应用 张文安 杨旭升 付明磊 胡佛
作者：张文安 杨旭升 付明磊 胡佛 出版：机械工业出版社 日期：2024-11-01 本书以案例教学为特色，注重人工智能技术与图像处理技术的融合。本书核心内容既包含必要的人工智能基础知识，例如素材采集与标注、深度学习的建模与调试等，又包含人工智能开发的软件环境和人工智能技术应用方法，如 ... |
詳情>> | 售價：NT$ 301
|
 |
数据库应用与管理 张春波 许国彬 付海燕
作者：张春波 许国彬 付海燕 出版：机械工业出版社 日期：2025-01-01 本书遵循职业教育教材编写规律和职业院校学生学习规律，配套齐全 ... |
詳情>> | 售價：NT$ 199
|
 |
医学化学实验（第3版）付双著
作者：付双 出版：科学出版社 日期：2023-08-01 《医学化学实验》（第3版）系医学院校学生基础化学课程配套实验教材，全书共七章，包括医学化学实验基础知识、基础性实验、综合设计实验、视频演示实验、虚拟仿真实验、创新性实验和习题。本书重点为培养学生的实验动手能力、严谨求实的科学态度及团结合作的科学精神。特别是综合设计实验和创新性实验的设计和开展将为学生 ... |
詳情>> | 售價：NT$ 203
|
 |
智能机器人创新实践 付明磊
作者：付明磊 出版：机械工业出版社 日期：2023-11-01 本书以Dobot魔术师机器人和DashGO D1智能移动平台作为机器人硬件平台，以ROS作为机器人软件操作系统，以百度大脑AI开放平台提供的开发资源作为机器人AI功能支撑，设计了码垛机器人、声控分拣机器人、激光雷达自主导航机器人、视觉循码移动机器人和视觉追踪移动机器人共5个智能机器人创新项目，实现了 ... |
詳情>> | 售價：NT$ 254
|
 |
结构动力学分析方法与ANSYS Workbench计算应用 付稣昇
作者：付稣昇 出版：机械工业出版社 日期：2024-08-01 - 详细讲解网络划分技术等ANSYS重要应用方法 - 对于支撑结构动力学模拟计算的重点理论和软件选项等不惜笔墨、详尽介绍 - 精心选取大量工程案例，在案例中提供详细的操作步骤 - 各案例提供结果 ... |
詳情>> | 售價：NT$ 607
|
| 書城介紹 | 合作申請 | 索要書目 | 新手入門 | 聯絡方式 | 幫助中心 | 找書說明 | 送貨方式 | 付款方式 | 台灣用户 | 香港/海外用户 |
| megBook.com.tw | |
| Copyright (C) 2013 - 2025 （香港）大書城有限公司 All Rights Reserved. | |