購物車/收銀台(0) | 在線留言板
| 付款方式
| 運費計算
| 聯絡我們
| 幫助中心 |
加入書簽 |
登入帳戶
| 訂單查詢
| 購物車/收銀台(0) | 在線留言板
| 付款方式
| 運費計算
| 聯絡我們
| 幫助中心 |
加入書簽 |
||
 HOME 新書上架暢銷書架好書推介特價區會員書架精選月讀2024年度TOP分類瀏覽雜誌 |
臺灣用戶 |
 |
品種：超過100萬種各類書籍/音像和精品，正品正價，放心網購，悭钱省心 | 服務：香港／台灣／澳門／海外 | 送貨：速遞／郵局／服務站 |  |
在 大書城
以“
精确
模式”搜“
郁文生 孙天宇 付尧顺 郁文生 孫天宇 付堯順
”共有
23
结果：
|
同時支援繁體 / 正體 / 简体字輸入搜索 |
 |
分析基础机器证明系统
『简体书』 作者：郁文生，付尧顺，郭礼权 出版：科学出版社 日期：2022-01-01 《分析基础机器证明系统》利用交互式定理证明工具Coq，在朴素集合论的基础上，从Peano五条公设出发，完整实现Landau著名的《分析基础》中实数理论的形式化系统，包括对《分析基础机器证明系统》中全部 ... |
詳情>> | |
 |
公理化集合论机器证明系统
『简体书』 作者：郁文生，孙天宇，付尧顺 出版：科学出版社 日期：2020-03-01 布尔巴基学派的序、代数、拓扑三大母结构是现代数学的基础.利用计算机证明辅助工具,可以完整构建这三大母结构的形式化系统.《公理化集合论机器证明系统》利用交互式定理证明工具Coq,实现Morse-Kell ... |
詳情>> | |
 |
自然数的紧化延伸机器证明系统
『简体书』 作者：郁文生，窦国威 出版：科学出版社 日期：2024-05-01 数系的扩充始终贯穿于数学理论的发展之中.本书利用交互式定理证明工具Coq， 在Morse-Kelley 公理化集合论形式化系统下，给出中国科学与技术大学汪芳庭教授在其《数学基础》中采用算术超滤分数构造 ... |
詳情>> | |
 |
让妈妈不再有
『简体书』 作者：徐铭军、孙天宇 出版：人民卫生出版社 日期：2016-11-01 本书为有关分娩镇痛的科普性图书，让准妈妈们了解到生孩子到底有多疼？产痛的机制是什么？产痛的危害有哪些？哪些因素影响分娩的舒适度？如何进行分娩镇痛？怎样配合医生实 ... |
詳情>> | |
 |
谈心聊郁 ： 一位五行针灸师眼中的抑郁
『简体书』 作者：佟博然著 出版：中国中医药出版社 日期：2023-08-01 佟博然中医师在本书解密中医心理治疗--身心双调的五行针灸。五行针灸，一种非常古老而神奇的针灸方法，其历史带有一定的神秘色彩，可追溯到六世纪，由中国传到朝鲜、日本等地。后因社会动荡，在国内逐渐失传。直到 ... |
詳情>> | |
 |
两周越地青铜编钟研究
『简体书』 作者：隋郁 出版：人民音乐出版社 日期：2019-05-01 ... |
詳情>> | |
 |
《黄帝内经》脉学生理研究与中医现代化发展战术
『简体书』 作者：闪增郁， 成伊竹著 出版：中国中医药出版社 日期：2022-09-01 中医学的发展战略就是“中医现代化”，目前研究较多，讨论“发展战术”的却很少，而没有战术的战略是无法实行的战略，本书对“发展战术”进行论述。当今社会对于中医药的重视与期待是前所未有的，但中医药现代化的进 ... |
詳情>> | |
 |
斫琴法
『简体书』 作者：蒋克谦， 石汝砺， 崔遵度 辑撰 隋郁 注 出版：重庆出版社 日期：2025-01-01 编辑推荐： “斫琴法”指的是古琴制作的工艺。本书不仅是国家社科基金冷门绝学研究专项学术团队项目“宋代琴学文献史料的整理、编纂与研究”的阶段性成果，是当前最为详尽 ... |
詳情>> | |
 |
摇摆之心：理解躁郁
『简体书』 作者：[英]达里安·利德 Darian Leader，著 张英诚 出版：北京联合出版有限公司 日期：2022-09-01 1.作者达里安·利德是英国著名作家和精神分析师，被《卫报》誉为“当今重要的思想家之一”。他的作品从拉康派精神分析的视角出发揭示了人类心灵的各种面向，兼具深刻透彻 ... |
詳情>> | |
|
套装3册 营造的意趣 图解东西方空间智慧+遇见日本庭园：图解空间构成与造园理念+图解江南园林
『简体书』 作者：张建，[日本]户田芳树，[日本]野村勘治，陈波，王月瑶，景郁 出版：江苏凤凰科学技术出版社 日期：2024-04-01 《营造的意趣 图解东西方空间智慧》： 当我们走进苏州留园，那郁郁葱葱环抱中的，一方空无一物的小院；亦或在睡梦中醒来，回味昨夜穷尽蜿蜒山洞，豁然面对一个宛如仙境 ... |
詳情>> | |
|
拥抱躁郁：躁郁接线员的救助之旅
『简体书』 作者：[日]坂口恭平 出版：中国科学技术出版社 日期：2023-05-01 1.这是一本写给所有躁郁症患者的生活指南，作为一名躁郁症患者，如何在强烈的情绪起伏中获得轻松生活的技巧？作者用幽默风趣的语言进行了解答。2.本书记录了作者15年 ... |
詳情>> | |
 |
带着一本书远离人群
『简体书』 作者：思郁 出版：广东人民出版社 日期：2018-06-01 那些稍纵即逝的灵感磷光 那些书虫必须知道的若干事 我们不想被裹挟成时代的人质，而是梦想成为它的见证者，写下几行文字，几本书，以记录和描摹一个匆忙而未定型的大 ... |
詳情>> | |
 |
只为你暗夜起舞
『简体书』 作者：寒郁 出版：中国致公出版社 日期：2018-11-01 小说紧接地气，深入阐述底层人的现实焦虑与精神迷茫，对研究转型期的中国具有一定的现实意义。语言饱含韵味，意境独具美感，情节设置精巧，具有悲悯人心的浪漫化艺术倾向。 ... |
詳情>> | |
 |
孤步岩的黄昏
『简体书』 作者：寒郁 出版：作家出版社 日期：2019-06-01 《孤步岩的黄昏》》构思精巧，落笔精心，追求诗的意境，如夏日里水潭边的那股凉风。 ... |
詳情>> | |
 |
我们都是书的囚徒
『简体书』 作者：思郁 出版：金城出版社 日期：2020-05-01 ★这是一本趣味横生又引人深思的书，豆瓣人气书评人思郁一口气讲了50余个有关书和阅读的故事关于作家、书店、出版、书中书，一本小巧又集中的书话集。这也是一个爱书成痴 ... |
詳情>> | |
 |
海岛与故里（（海南淘金的纸醉金迷与西北窑洞的苍凉与悒郁））
『简体书』 作者：和谷 出版：作家出版社 日期：2022-11-01 *离开家乡拼搏的异乡人如何寄托灵魂安放肉体？ *一段知识分子穿越海陆的长叙事，一曲长安文人上下求索的心灵史。 *经历了纸醉金迷、花花世界，回到当初出发的地方 ... |
詳情>> | |
|
浑河下游地区区域性考古调查报告
『简体书』 作者：曹建恩，党郁，孙金松 等 出版：文物出版社 日期：2019-05-01 浑河下游地区区域性考古调查是国家文物局重点科研项目《河套地区先秦两汉时期人类文化、生业与环境》的重要组成部分，也是这一项目的基础工作。调查工作于2004-2005年完成，调查面积约280平方公里，涉及 ... |
詳情>> | |
 |
成长文库-世界少年文学精选-青少版-大战火星人
『简体书』 作者：[英] 威尔斯 原著郁 菁 改写 出版：北京少年儿童出版社 日期：2018-05-01 这是一套畅销二十年的经典名著，由北大中文系教授、国际安徒生奖得主曹文轩先生作序推荐，拥有卓越的文学品质：1优秀的文本内容，多由儿童文学作家、名校中文系研究生改写 ... |
詳情>> | |
 |
爱的接力棒（专享御守版！17岁女孩有3个父亲2个母亲，7种家庭形态！石原里美、永野芽郁、田中圭主演同
『简体书』 作者：[日]濑尾麻衣子、青青 出版：北京时代华文书局 日期：2021-09-01 1、「平成」挥泪谢幕之作！日本影响力与市场价值No.1的“日本书店大奖”夺冠作品！半年内重印14次，周销量破1. 4万册！击败森见登美彦、伊坂幸太郎，狂甩第二名 ... |
詳情>> | |
 |
世界史就是经济史
『简体书』 作者：金东郁 出版：北京联合出版公司 日期：2016-10-01 1.经济、历史是热门题材，本书是同时了解历史和经济的不二之选。读者不仅可以看到经济危机、产业革命、消费浪潮、金融股票以及商业本质等相关热点话题的独特解读，还能看 ... |
詳情>> | |
如果未能搜尋到意向中的書籍，可以參看：“找書說明” 或 “尋書登記服務”
| 書城介紹 | 合作申請 | 索要書目 | 新手入門 | 聯絡方式 | 幫助中心 | 找書說明 | 送貨方式 | 付款方式 | 香港用户 | 台灣用户 | 海外用户 |
| megBook.com.hk | |
| Copyright © 2013 - 2024 （香港）大書城有限公司 All Rights Reserved. | |