購物車/收銀台(0) | 在線留言板
| 付款方式
| 運費計算
| 聯絡我們
| 幫助中心 |
加入書簽 |
登入帳戶
| 訂單查詢
| 購物車/收銀台(0) | 在線留言板
| 付款方式
| 運費計算
| 聯絡我們
| 幫助中心 |
加入書簽 |
||
 HOME 新書上架暢銷書架好書推介特價區會員書架精選月讀2024年度TOP分類瀏覽雜誌 |
臺灣用戶 |
 |
品種：超過100萬種各類書籍/音像和精品，正品正價，放心網購，悭钱省心 | 服務：香港／台灣／澳門／海外 | 送貨：速遞／郵局／服務站 |  |
在 大書城
以“
全文
模式”搜“
郁文生，孙天宇，付尧顺
”共有
5175
结果：
（小貼士：您可以使用“精確”查詢方式縮窄範圍）
|
同時支援繁體 / 正體 / 简体字輸入搜索 |
 |
公理化集合论机器证明系统
『简体书』 作者：郁文生，孙天宇，付尧顺 出版：科学出版社 日期：2020-03-01 布尔巴基学派的序、代数、拓扑三大母结构是现代数学的基础.利用计算机证明辅助工具,可以完整构建这三大母结构的形式化系统.《公理化集合论机器证明系统》利用交互式定理证明工具Coq,实现Morse-Kelley公理化集合论形式化系统,包括对该体系中8个公理含选择公理和1个公理图示以及全部181条定义或定理的Coq描述,其中构 ... |
詳情>> | |
 |
分析基础机器证明系统
『简体书』 作者：郁文生，付尧顺，郭礼权 出版：科学出版社 日期：2022-01-01 《分析基础机器证明系统》利用交互式定理证明工具Coq，在朴素集合论的基础上，从Peano五条公设出发，完整实现Landau著名的《分析基础》中实数理论的形式化系统，包括对《分析基础机器证明系统》中全部5个公设、73条定义和301个定理Coq描述，其中依次构造了自然数、分数、分割、实数和复数，并建立了Dedekind实数 ... |
詳情>> | |
 |
自然数的紧化延伸机器证明系统
『简体书』 作者：郁文生，窦国威 出版：科学出版社 日期：2024-05-01 数系的扩充始终贯穿于数学理论的发展之中.本书利用交互式定理证明工具Coq， 在Morse-Kelley 公理化集合论形式化系统下，给出中国科学与技术大学汪芳庭教授在其《数学基础》中采用算术超滤分数构造实数的机器证明系统， 包括超滤空间与算术超滤的基本概念、超滤变换以及用算术超滤构造算术模型的形式化实现， 构建了非标准实 ... |
詳情>> | |
 |
工业用水及污水水质分析（付渊）
『简体书』 作者：付渊、陶柏秋 主编 出版：化学工业出版社 日期：2024-08-01 《工业用水及污水水质分析》全书将理论和实践融为一体，共六章内容。内容包括水分析基础知识，水样的采集、保存和预处理，水样的物理指标分析测定，金属化合物的分析测定，非金属无机物的测定，有机污染物的分析测定。本书为了便于教学和学生学习，在每章开头按照知识目标、技能目标和素质目标三个层次提出了每章的学习目标。在每一章结尾增加了 ... |
詳情>> | |
 |
方圆之间 长篇小说 付立果
『简体书』 作者：付立果 出版：中国言实出版社 日期：2025-02-01 ... |
詳情>> | |
 |
写人与叙事的艺术 ——金圣叹《水浒传》评点研究 付康平
『简体书』 作者：付康平 出版：中国言实出版社 日期：2024-07-01 金圣叹的《水浒传》评点涉及文本的主题、结构、文法、叙事、人物、语言等方面，评点内容形成了一套小说理论系统，具备很高的文学理论价值。本书主要是对金圣叹《水浒传》评点中涉及到的人物理论和叙事理论进行研究。 上篇分析人物论。分析人物名号与文本内容和篇章结构的关联以及名号意象群。分析人物性格理论中的个性、复杂性和天性。分析人 ... |
詳情>> | |
 |
年羹尧之死
『简体书』 作者：郑小悠 著 出版：山西人民出版社发行部 日期：2024-07-01 本书围绕着年羹尧与雍正君臣关系的演变历程，全面回顾了年羹尧一生从得意到失意的宦海浮沉：年少时科场高中，入仕后步步高升，在胤禛继位过程中发挥重要作用，立下赫赫战功后位极人臣，但最终身死名裂。在此叙述之中，作品从新颖的角度，立体而真实地展现了年羹尧性格的复杂多面。 全书还依托奏章、信件、皇帝朱批等原始资料，立足于对 ... |
詳情>> | |
 |
顺江而行
『简体书』 作者：亚男 出版：长江文艺出版社 日期：2024-11-01 本书是诗人亚男的一部诗集，全书收录其诗歌约200首。在本书中，诗人以朴素真挚的语言，从细处着笔，书写生活中散发着微光的点滴细节，寻觅自我和心灵的声音。长江、松花江、雅鲁藏布江、钱塘江以及嘉陵江、锦江等，诗人的生活与这些河流密切相关，大地上的名川大河，既灌溉着诗人的情感，更是深入到了诗人的血脉之中。诗人“顺江而行”，一路 ... |
詳情>> | |
 |
机车控制系统 配微课视频 付娟
『简体书』 作者：付娟，林辉，王博 主编 出版：西南交通大学出版社 日期：2023-01-01 本书采用任务驱动模式编写，内容包括：电力牵引传动系统的分类、组成和功能；机车的分类、工作原理和速度调节；机车的控制策略、牵引特性和制动特性；牵引变流器的组成、工作原理及应用；机车自动控制的概念、功能和应用；SS4G、HXD3、HXD1C、HXN5型机车的电气线路、相关试验和常见故障判断处理；CRH3型动车组牵引控制系统 ... |
詳情>> | |
 |
文以载道：中国出版“走出去”数字化模式研究/韩建民 付玉
『简体书』 作者：韩建民 付玉 出版：浙江科学技术出版社 日期：2024-12-01 党的二十届三中全会对“构建更有效力的国际传播体系”作出部署。出版是文化领域必不可少的组成部分，通过出版“走出去”推进构建更有效力的国际传播体系，对于讲好中国故事、加强文明交流、提升国家文化软实力和中华文化影响力，具有重要意义。 本书是国内系统研究中国出版“走出去”数字化的专著，填补了出版界在这一领域的研究空白，也是促 ... |
詳情>> | |
 |
医学化学实验（第3版）付双著
『简体书』 作者：付双 出版：科学出版社 日期：2023-08-01 《医学化学实验》（第3版）系医学院校学生基础化学课程配套实验教材，全书共七章，包括医学化学实验基础知识、基础性实验、综合设计实验、视频演示实验、虚拟仿真实验、创新性实验和习题。本书重点为培养学生的实验动手能力、严谨求实的科学态度及团结合作的科学精神。特别是综合设计实验和创新性实验的设计和开展将为学生创新性思维的养成奠定 ... |
詳情>> | |
 |
智能机器人创新实践 付明磊
『简体书』 作者：付明磊 出版：机械工业出版社 日期：2023-11-01 本书以Dobot魔术师机器人和DashGO D1智能移动平台作为机器人硬件平台，以ROS作为机器人软件操作系统，以百度大脑AI开放平台提供的开发资源作为机器人AI功能支撑，设计了码垛机器人、声控分拣机器人、激光雷达自主导航机器人、视觉循码移动机器人和视觉追踪移动机器人共5个智能机器人创新项目，实现了“国产机器人平台+国 ... |
詳情>> | |
 |
结构动力学分析方法与ANSYS Workbench计算应用 付稣昇
『简体书』 作者：付稣昇 出版：机械工业出版社 日期：2024-08-01 本书基于ANSYS Workbench软件平台，详细介绍了结构动力学仿真分析计算方法和技术应用。首先讲解了ANSYS Workbench工程数据、网格划分、Mechanical通用设置的使用方法，然后对基本模态分析、循环对称模态分析、线性扰动分析、谐响应分析、子结构CMS法分析、响应谱分析、随机振动分析、刚体动力学分析 ... |
詳情>> | |
 |
连续性血液净化操作规程 付荣国,张凌主编 急危重症患者救治 连续性血液净化治疗管理
『简体书』 作者：付荣国，张凌 出版：世界图书出版公司 日期：2024-12-01 连续性血液净化治疗是急危重症患者救治的重要手段。本书从连续性血液净化治疗的管理办法、操作规程、操作中的抗凝治疗、常见并发症的预防与处理、紧急情况的应急预案、技术质量控制等方面进行了详细介绍，同时本书还专门讲述了其他血液净化模式、儿童血液净化、腹膜透析技术以及以内瘘和半永久置管作为血管通路的相关内容。本书内容全面丰富、简 ... |
詳情>> | |
 |
蔡桢词学文集
『简体书』 作者：孫克强 出版：社会科学文献出版社 日期：2025-07-01 本书是“河南大学文学院词话研究丛书”第二辑“民国时期河南大学词学名家文丛”之一。 ... |
詳情>> | |
 |
有机化学（付建龙）（第三版）
『简体书』 作者：付建龙、李红、谢珍茗 主编 出版：化学工业出版社 日期：2024-01-01 《有机化学》（第三版）共17章，分别为概论，烷烃，烯烃、二烯烃，炔烃，脂环烃，有机化合物波谱分析，芳烃，立体化学，卤代烃，醇、酚、醚，醛、酮、醌，羧酸及其衍生物，β-二羰基化合物，有机含氮化合物，杂环化合物，碳水化合物，氨基酸和蛋白质。全书以有机化学基本概念、基本理论和基本反应为基础，以结构和性质的关系与电子效应、共轭 ... |
詳情>> | |
 |
Cinema 4D实例设计与制作
『简体书』 作者：朱河，付尧，徐谌榕 出版：华中科技大学出版社 日期：2023-07-01 本教材准备8个案例，既做到了知识点由浅入深，又能完整讲述案例的制作流程，根据每个案例的需求，着重进行了细致的项目分析和创意构想。本教材案例需求清晰明确，使学习者能够深刻地了解到二维设计和三维设计相结合的重要性和趋势，完整地学习从需求分析到创意构想，能够提升对Illustrator、Cinema 4D、Photoshop ... |
詳情>> | |
 |
孩子不挑食的秘诀 不吃蔬菜的小尧尧
『简体书』 作者：李珈贤，陈治锟 出版：吉林科学技术出版社 日期：2023-08-01 蔬菜中含有丰富的维生素，爱吃蔬菜的孩子身体会比较健康，可是不爱吃蔬菜的孩子经常让爸爸妈妈们伤透了脑筋。因为不吃蔬菜不仅影响生长发育，而且容易便秘，从而导致消化不良，由于孩子缺乏蔬菜中的营养物质还会引发各种疾病。 在本书中，小尧尧是一个不爱吃蔬菜的小朋友。他吃着蔬菜都能睡着，在梦中他来到了一个神奇的蔬菜星球。这里没有喋 ... |
詳情>> | |
 |
认识基金经理的投资风格 景顺长城基金管理有限公司
『简体书』 作者：景顺长城基金管理有限公司 出版：机械工业出版社 日期：2024-02-01 基金愈发火热，但是基民与基金经理之间仍旧相隔甚远，对于基民来说，如何认识基金经理是一项容易被忽视，却又十分重要的工作。基民时常困惑的问题如为什么奔着明星基金经理买业绩却就变差了，为什么重仓股在调整基金经理却不减仓，为什么明明新能源好有些基金经理就是不买？这些问题背后的答案都与基金经理投资风格有关。了解基金经理，应从投资 ... |
詳情>> | |
 |
公孫龍子集解
『简体书』 作者：何楊校注 出版：中国社会科学出版社 日期：2024-06-01 《公孙龙子集解》，凡七卷。该书以明《道藏》六篇本《公孙龙子》为底本，汇集诸本与诸家校释（如陈仁锡、傅山、辛从益、严可均、钱熙祚、陈澧、俞樾、孙诒让、章太炎、章士钊、胡适、王琯、金受申、钱基博、谭戒甫、伍非百等），并附以己见。除校释《公孙龙子》六篇外，该书还广泛搜集整理公孙龙子其人其学和《公孙龙子》其书的相关资料（置于卷 ... |
詳情>> | |
如果未能搜尋到意向中的書籍，可以參看：“找書說明” 或 “尋書登記服務”
| 書城介紹 | 合作申請 | 索要書目 | 新手入門 | 聯絡方式 | 幫助中心 | 找書說明 | 送貨方式 | 付款方式 | 香港用户 | 台灣用户 | 海外用户 |
| megBook.com.hk | |
| Copyright © 2013 - 2025 （香港）大書城有限公司 All Rights Reserved. | |