香港·大書城 -- megBook Book Store -- 香港書城,香港網上書店

	登入帳戶　 \|　訂單查詢　 \|　購物車/收銀台(0)　\|　在線留言板　 \|　付款方式　 \|　運費計算　 \|　聯絡我們　 \|　幫助中心　\|　加入書簽
		會員登入新用戶登記

HOME

新書上架

暢銷書架

好書推介

2024年度TOP

臺灣用戶

品種：超過100萬種各類書籍/音像和精品，正品正價，放心網購，悭钱省心

服務：香港／台灣／澳門／海外

送貨：速遞／郵局／服務站

在 大書城 以“ 全文模式”搜“ 郁文生，孙天宇，付尧顺 ”共有 6815 结果：

（小貼士：您可以使用“精確”查詢方式縮窄範圍）

同時支援繁體 / 正體 / 简体字輸入搜索

	分析基础机器证明系统『简体书』作者：郁文生，付尧顺，郭礼权　　出版：科学出版社　　日期：2022-01-01 《分析基础机器证明系统》利用交互式定理证明工具Coq，在朴素集合论的基础上，从Peano五条公设出发，完整实现Landau著名的《分析基础》中实数理论的形式化系统，包括对《分析基础机器证明系统》中全部5个公设、73条定义和301个定理Coq描述，其中依次构造了自然数、分数、分割、实数和复数，并建立了 ...	詳情>>	售價：HK$ 227.7

	公理化集合论机器证明系统『简体书』作者：郁文生，孙天宇，付尧顺　　出版：科学出版社　　日期：2020-03-01 布尔巴基学派的序、代数、拓扑三大母结构是现代数学的基础.利用计算机证明辅助工具,可以完整构建这三大母结构的形式化系统.《公理化集合论机器证明系统》利用交互式定理证明工具Coq,实现Morse-Kelley公理化集合论形式化系统,包括对该体系中8个公理含选择公理和1个公理图示以及全部181条定义或定理 ...	詳情>>	售價：HK$ 169.0

	自然数的紧化延伸机器证明系统『简体书』作者：郁文生，窦国威　　出版：科学出版社　　日期：2024-05-01 数系的扩充始终贯穿于数学理论的发展之中.本书利用交互式定理证明工具Coq，在Morse-Kelley 公理化集合论形式化系统下，给出中国科学与技术大学汪芳庭教授在其《数学基础》中采用算术超滤分数构造实数的机器证明系统，包括超滤空间与算术超滤的基本概念、超滤变换以及用算术超滤构造算术模型的形式化实 ...	詳情>>	售價：HK$ 331.2

	赐死年羹尧『简体书』作者：查献芹　　出版：辽宁人民出版社　　日期：2024-05-01 年羹尧是康熙、雍正两朝的封疆大吏，他曾备受雍正帝宠信。然而，赐死年羹尧却是雍正执政初期的一件大事。年羹尧功高盖主，为君王所忌，最终走向被赐死的结局。曾经的古往今 ...	詳情>>	售價：HK$ 89.7

	尧治河民歌整理与研究『简体书』作者：凌崎　　出版：华中科技大学出版社　　日期：2024-01-01 《尧治河民歌整理与研究》全面展示了尧治河民歌文化特色和地方风土人情，赋能尧治河的乡村文化振兴。本书着重于尧治河民歌的系统整理与活态化保存，以及歌种研究。尧治河民 ...	詳情>>	售價：HK$ 112.7

	顺丰传『简体书』作者：孟凡华　　出版：中国华侨出版社　　日期：2020-05-01 马云：王卫是我敬佩的人！王卫：我们做事不是为了向谁有个交代，我们要对自己有个交代。快递有两种，一种叫顺丰，一种叫其他！本书 360 度全景展现顺丰的发展 ...	詳情>>	售價：HK$ 59.4

	汽车钣金技术刘海峰付清洁『简体书』作者：刘海峰付清洁　　出版：机械工业出版社　　日期：2024-07-01 本书遵循职业教育教材编写规律和职业院校学生学习规律，配套齐全 ...	詳情>>	售價：HK$ 42.6

	现代控制理论付主木『简体书』作者：付主木　　出版：机械工业出版社　　日期：2024-07-01 本书遵循教指委相关指导文件和高等院校学生学习规律编写而成。践行四新理念，融入思政元素，注重理论与实践相结合。 ...	詳情>>	售價：HK$ 67.9

	方圆之间长篇小说付立果『简体书』作者：付立果　　出版：中国言实出版社　　日期：2025-02-01 《方圆之间》是一部长篇小说，讲述了银行人邢真受命到一个面临经营危机的支行任职，从上任“三把火”开始，到全力营销与危机应对，带领支行员工团结奋进、不惧风险、敢于担 ...	詳情>>	售價：HK$ 63.8

	工业用水及污水水质分析（付渊）『简体书』作者：付渊、陶柏秋主编　　出版：化学工业出版社　　日期：2024-08-01 《工业用水及污水水质分析》全书将理论和实践融为一体，共六章内容。内容包括水分析基础知识，水样的采集、保存和预处理，水样的物理指标分析测定，金属化合物的分析测定，非金属无机物的测定，有机污染物的分析测定。本书为了便于教学和学生学习，在每章开头按照知识目标、技能目标和素质目标三个层次提出了每章的学习目标 ...	詳情>>	售價：HK$ 48.3

	价值竞争：以客户为中心的销售转型第2版付遥『简体书』作者：付遥　　出版：机械工业出版社　　日期：2024-07-01 这是一本销售方法论口碑之作，现在更新到了第2版。本书是作者在数十年的销售职业生涯中工作、学习和培训的经验总结，得益于丰富的工作经历，作者写出了以销售为背景的百万 ...	詳情>>	售價：HK$ 79.4

	认识基金经理的投资风格景顺长城基金管理有限公司『简体书』作者：景顺长城基金管理有限公司　　出版：机械工业出版社　　日期：2024-02-01 经历了基金市场近几年的跌宕起伏后，基民心中可能充满疑惑。主动权益的基金经理曾经给大家带来了丰厚的收益，却也在逆风时遭遇了较大的回撤。对于基民来说，究竟应该如何看 ...	詳情>>	售價：HK$ 67.9

	生态性维护与生产力发展——乔纳森·休斯生态历史唯物主义思想研究『简体书』作者：于天宇　　出版：人民出版社　　日期：2024-01-01 本书从英国分析的马克思主义学者乔纳森·休斯的生态历史唯物主义思想出发，以历史唯物主义的生态性维护与生产力的生态化发展为研究重心，通过对马克思历史唯物主义理论的深入挖掘、梳理，回击了认为历史唯物主义缺失生态关怀的言论，维护了历史唯物主义的生态性层面。在此基础上，提出了生产力的生态化发展走向，揭示了生产 ...	詳情>>	售價：HK$ 89.7

	年羹尧之死『简体书』作者：郑小悠　　出版：山西人民出版社发行部　　日期：2024-07-01 ◎雍正称之为“功臣”“恩人”“千古君臣知遇榜样”的年羹尧，竟在短短一年多之后迅速沦为阶下囚，最终身死名裂。这一年里到底发生了哪些事，年羹尧又做错了什么？雍正帝出 ...	詳情>>	售價：HK$ 66.7

	写人与叙事的艺术 ——金圣叹《水浒传》评点研究付康平『简体书』作者：付康平　　出版：中国言实出版社　　日期：2024-07-01 金圣叹的《水浒传》评点是中国小说批评史上的高峰，它涉及文本的主题、结构、文法、叙事、人物、语言等方面，评点的内容形成了一套小说理论系统，具备很高的文学理论价值。 ...	詳情>>	售價：HK$ 78.2

	数据中台：让数据用起来第2版付登坡等『简体书』作者：付登坡江敏赵东辉等　　出版：机械工业出版社　　日期：2024-02-01 （1）作者背景权威：中国数据中台领先服务商数澜科技出品，由两位联合创始人和首席科学家领衔撰写。（2）作者经验丰富：数澜科技7年来为1000余家大中型政企客户 ...	詳情>>	售價：HK$ 148.4

	工程力学简明教程付彦坤赵同彬陈俊国『简体书』作者：付彦坤赵同彬陈俊国　　出版：机械工业出版社　　日期：2024-04-01 本书遵循教指委相关指导文件和高等院校学生学习规律编写而成。践行四新理念，融入思政元素，注重理论与实践相结合。 ...	詳情>>	售價：HK$ 61.0

	结构动力学分析方法与ANSYS Workbench计算应用付稣昇『简体书』作者：付稣昇　　出版：机械工业出版社　　日期：2024-08-01 - 详细讲解网络划分技术等ANSYS重要应用方法 - 对于支撑结构动力学模拟计算的重点理论和软件选项等不惜笔墨、详尽介绍 - 精心选取大量工程案例，在案例中 ...	詳情>>	售價：HK$ 136.9

	营销侦探：用数据解密商业真相付宇骄『简体书』作者：付宇骄　　出版：机械工业出版社　　日期：2024-12-01 ★ 源自字节、美团、京东的工作方法论！★ 巨量引擎前营销策略总监力作！★ 文科生也能秒懂的商业销大数据方法论！★ 用数据帮企业赚钱和省钱的最快方法！★ 成为利用 ...	詳情>>	售價：HK$ 97.9

	天下顺商『简体书』作者：王基国　　出版：广东南方日报出版社　　日期：2024-01-01 顺德是个神奇的地方，历来企业家辈出，影响深远。为什么是顺德？顺德凭什么？顺德人“可怕”体现在什么地方？顺商的精气神内涵是什么？来源于哪里？一个20年如一日凝视着 ...	詳情>>	售價：HK$ 124.2

>>> 後一頁尾頁（頁碼:1/341　行數:20/6815） 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15

如果未能搜尋到意向中的書籍，可以參看：“找書說明” 或 “尋書登記服務”

書城介紹　 \|　合作申請　\|　索要書目　 \|　新手入門　\|　聯絡方式　 \|　幫助中心　\|　找書說明　 \|　送貨方式　\|　付款方式	香港用户　 \|　台灣用户　\|　海外用户

	megBook.com.hk
Copyright © 2013 - 2025 （香港）大書城有限公司　 All Rights Reserved.