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