登入帳戶 | 訂單查詢 | 購物車/收銀台( 0 ) | 在線留言板 | 付款方式 | 運費計算 | 聯絡我們 | 幫助中心 | 加入書簽 | |||
HOME新書上架暢銷書架好書推介特價區會員書架精選月讀2023年度TOP分類瀏覽雜誌 | 臺灣用戶 |
品種:超過100萬種各類書籍/音像和精品,正品正價,放心網購,悭钱省心 | 服務:香港/台灣/澳門/海外 | 送貨:速遞/郵局/服務站 |
在 大書城 以“ 全文 模式”搜“ 刘勇 付英 ”共有 4134 结果: (小貼士:您可以使用“精確”查詢方式縮窄範圍) | 同時支援繁體 / 正體 / 简体字輸入搜索 |
公理化集合论机器证明系统
『简体书』 作者:郁文生,孙天宇,付尧顺 出版:科学出版社 日期:2020-03-01 布尔巴基学派的序、代数、拓扑三大母结构是现代数学的基础.利用计算机证明辅助工具,可以完整构建这三大母结构的形式化系统.《公理化集合论机器证明系统》利用交互式定理证明工具Coq,实现Morse-Kelley公理化集合论形式化系统,包括对该体系 ... |
詳情>> | |
|
Android项目开发基础
『简体书』 作者:付丽梅,彭志豪,邵欣欣,王洪岩 出版:清华大学出版社 日期:2020-06-01 ... |
詳情>> | |
|
工程测量
『简体书』 作者:黄双华,汪杰,付建,唐雪英 出版:西南交通大学出版社 日期:2020-03-01 《工程测量》是高等院校土建类专业基础课配套教材,注重培养学生应用测量技术的技能和创新能力,具有广泛的适用性。 《工程测量》主要内容有:测量学的基本知识,测量仪器的构造和使用技术,测量误差基本知识,全站仪和GNSS的使用,控制测量,大比例尺 ... |
詳情>> | |
|
决战葛底斯堡(,普利策小说奖,西点军校指定必读,逻辑思维推荐)
『简体书』 作者:[美]迈克尔.夏拉,付满 出版:译林出版社 日期:2015-05-01 ☆《决战葛底斯堡》作为一部军事小说,它被西点军校、美陆军指挥与参谋学院、美国陆军战争学院、美国海军军官学校、美国特种部队军官培训基地等**军事院校奉为经典。 ☆作为一部文学作品,它创造了***畅销普 ... |
詳情>> | |
|
省域水库大坝安全监测管理技术概论
『简体书』 作者:那巍,付宏,芦绮玲 出版:水利水电出版社 日期:2019-09-01 水库安全监控技术集现代坝工技术、通讯网络技术、精密仪器研发技术、计算机软件技术等多专业多学科,现实需求是实现水利信息化提出的无人值班、少人值守管理目标。本书以山西省水库大坝安全监控系统汾河水库、汾河二库和省中心试验研究项目为背景,全书内容包 ... |
詳情>> | |
|
测量学
『简体书』 作者:付迎春,李长辉,胡华科,高照忠 出版:科学出版社 日期:2019-12-01 本书共9章,主要是针对当代测量学技术现状与发展趋势、基础理论与应用实践结合情况,系统阐述了测量坐标系、仪器观测原理、误差处理理论、区域控制测量和数字地形图测绘等基础知识以及城市数字测图的特色应用案例;同时,简要介绍了北斗卫星导航系统、多载体 ... |
詳情>> | |
|
石墨烯:基础及新兴应用
『简体书』 作者:[美]杰米 H.,沃纳等,付磊等 出版:科学出版社 日期:2020-04-01 石墨烯是由单层碳原子构成的理想二维原子晶体,在未来的纳电子器件与集成电路、柔性电子器件、超灵敏传感器等新型电子器件的构建中有广阔的应用前景。本书就石墨烯的研究现状和未来发展趋势进行了全面而深入的介绍,内容涉及石墨烯的结构和基本物理化学性质、 ... |
詳情>> | |
|
美绘国学启蒙读本·大学
『简体书』 作者:贝贝熊童书馆,付常青 出版:新疆青少年出版社 日期:2020-05-01 大开本配以精美插图,提升孩子的学习国学的兴趣 精选篇章配以小故事,深入浅出让孩子走近儒家思想奥妙 精校注音,可以读出来的儒家经典 总结几千年国人思考和做事的原则,教导孩子端正内心 白话译文,便 ... |
詳情>> | |
|
智慧城市引领未来生活
『简体书』 作者:付蔚,童世华 出版:北京航空航天大学出版社 日期:2020-05-01 本书以提高公众对智慧城市建设技术和发展状况的了解、促进科学思想与科学精神的传播、增强受众趣味性和对科普的热爱、提升公众科普意识和科学素养为目的,旨在让读者了解自身所处的智慧城市建设发展状况,并展示智慧城市给生活、工作带来的便捷之处。 全书 ... |
詳情>> | |
|
乌托邦
『简体书』 作者:托马斯·莫尔[英],付一帆 出版:陕西师范大学出版社 日期:2020-05-01 ★莫尔:英国历史上影响力zui大的 100 位名人中排名第 37 位 莫尔是空想社会主义学说创始人。丰富的从政经历让他更 全面地认识到英国社会的弊端,他通过文学创作的方式,描绘 了一个想象中的完善的 ... |
詳情>> | |
|
PE司法退出操作实务与案例精解
『简体书』 作者:谢利锦,付玉蝶,郭青松 出版:法律出版社 日期:2020-05-01 PE投资核心条款分享(范本 解读) 股权回购业绩补偿典型案例分析 法院、仲裁双视角解读法律适用 ... |
詳情>> | |
|
再生水回用与公众接受
『简体书』 作者:付汉良,刘晓君,丁超,何玉麒 出版:社会科学文献出版社 日期:2020-06-01 如今,污水处理技术已经发展到几乎能生产出满足任何水质标准的再生水,污水处理技术已不再是制约再生水回用推广的*困难,取而代之的是新的问题,即公众对再生水回用的排斥。针对这一问题,本书文首先对相关领域的研究文献进行深入分析,理清学科内的研究热点 ... |
詳情>> | |
|
OpenGL图形编程项目实战
『简体书』 作者:李婷婷,杨浩婕,刘石,付力娅 出版:清华大学出版社 日期:2020-06-01 本书适合作为高等院校计算机、软件工程专业以及职业培训机构作为图形编程项目教材参考使用。 本书在系统介绍计算机图形编程知识基础上,以OpenGL软件为基础,以能力培养为主线,以实践案例教学为引导,以综 ... |
詳情>> | |
|
人文与社会译丛:后形而上学思想
『简体书』 作者:于尔根·哈贝马斯,曹卫东,付德根 出版:译林出版社 日期:2012-04-01 哈贝马斯以思考形而上学入手,将交往理性呈现于后形而上学时代的努力,帮助我们更好地梳理了哲学史,并就同一与差异、哲学与科学的问题进行了深入、严谨的探讨。 ... |
詳情>> | |
|
孔隙型地下储气库圈闭完整性评价
『简体书』 作者:贾善坡,付晓飞,王建军 出版:科学出版社 日期:2020-06-01 《孔隙型地下储气库圈闭完整性评价》系统介绍了作者近年来在孔隙型地下储气库 含水层型储气库、枯竭油气藏型储气库 圈闭完整性评价方面取得的学术成果。《孔隙型地下储气库圈闭完整性评价》综合本领域相关研究成果和全球现有储气库资料,初步构建孔隙型地下 ... |
詳情>> | |
|
既有建筑物纠倾技术研究与工程实践
『简体书』 作者:强万明,付素娟,赵士永 出版:中国建材工业出版社 日期:2020-06-01 《既有建筑物纠倾技术研究与工程实践》一书主要介绍了建筑物倾斜产生的原因及分析、建筑物纠倾的技术难点、建筑物检测鉴定、建筑物止倾加固、建筑物顶升法纠倾、建筑物迫降法纠倾、建筑物综合法纠倾、建筑物纠倾实时监测、建筑物纠倾设备以及10项典型纠倾工 ... |
詳情>> | |
|
代码安全
『简体书』 作者:杨东晓,章磊,付威,金竹君 出版:清华大学出版社 日期:2020-07-01 本书共分为9章。首先系统地介绍了软件安全开发的基础知识,包括软件开发的现状和常见的开发生命周期模型;在传统需求分析方法基础上介绍软件安全需求与设计,重点介绍威胁建模方法;并结合软件开发模型介绍软件发布 ... |
詳情>> | |
|
生物化学(数字高职护理教材)
『简体书』 作者:郏弋萍,刘建强,付达华 出版:北京大学医学出版社有限公司 日期:2020-09-01 《生物化学数字高职护理教材》以现代高等职业教育人才培养必需够用知识体系为基础,结合国家护士执业资格考试内容和岗位职业能力需要,以及未来公民的基本素质需要,力求体现高等职业教育中护理专业特点,满足学校教学和临床实践要求。我们诚邀从事一线教学多 ... |
詳情>> | |
|
基于水环境容量总量控制的流域水生态补偿标准研究
『简体书』 作者:付意成,徐贵,臧文斌,李敏,张剑 出版:水利水电出版社 日期:2019-12-01 当前我国大多数流域的生态环境状况不容乐观。流域的上游通常为生态环境相对脆弱、经济发展水平相对落后的地区,难以独自承担流域生态建设和环境保护的成本投入。对流域水环境保护与经济社会优化发展而言,实施流域水环境容量总量控制制度,是对我国环境保护总 ... |
詳情>> | |
|
新能源汽车关键技术
『简体书』 作者:主:付铁军,郭传慧,沈斌 出版:机械工业出版社 日期:2020-08-01 本书在系统介绍纯电动汽车、混合动力电动汽车、燃料电池电动汽车等新能源汽车的结构与原理的基础上,详细介绍了新能源汽车的各项关键技术,还阐述了与新能源汽车相关的政策,并给出了一些有代表性的维修实例,内容翔实、图文并茂,可使读者在掌握新能源汽车关 ... |
詳情>> | |
|
如果未能搜尋到意向中的書籍,可以參看:“找書說明” 或 “尋書登記服務”