专业研究

《方程求解与机器证明基于MMP的问题求解》 高小山,王定康,裘宗.pdf

★★★★★★★★★★★★★★★★
本站购买电子书等资源使用支付宝,无需注册直接付费后((弹出错误页面服务器忙,请稍等再试))不要关闭页面待页面电脑PC自动刷新(手机端需从支付宝页面按手机浏览器左上角返回键回到本页面,再自行手动刷新网页,推荐电脑访问)显示下载链接!不推荐edge等太高级的浏览器下载链接会阻拦,推荐迅雷、IDM等工具!请立刻及时下载(另存为)以免下次访问失效!如果有问题请在页面底部留言反馈(留下你的邮箱,仅限邮件交流,或在文章中更新交代回复)!部分带OCR版本的pdf书可以复制文字或搜索内容。下载失败了怎么办:点击这里
★★★★★★★★★★★★★★★★
对本站的直接交易方式不放心?你可以花1元购买美女短视频体验交易流程:点击这里,或者花2元预览资源截图或电子书内页:点击这里
PDF扫描版和图文版的区别,以及其他Word、mobi、txt、epub、azw3等各种电子版格式的选择:点击这里

本文链接:
https://www.lifu.me/book-00048.html

文件大小:020.69 MB 方程求解与机器证明基于MMP的问题求解 高小山,王定康,裘宗

下载地址:

此付款无需注册!付款后等候跳转显示!您需要先支付 23元 才能查看此处内容!立即支付

方程求解与机器证明:基于MMP的问题求解 高小山,王定康,裘宗燕,杨宏 著 9787030178626 科学出版社有限责任公司
作者:高小山,王定康,裘宗燕,杨宏 著出版社:科学出版社有限责任公司出版时间:2006年09月

开 本:16开纸 张:胶版纸包 装:精装是否套装:否国际标准书号ISBN:9787030178626
所属分类:
图书>考试>公务员考试>国家公务员考试

编辑推荐
POD产品说明:1. 本产品为按需印刷(POD)图书,实行先付款,后印刷的流程。您在页面购买且完成支付后,订单转交出版社。出版社根据您的订单采用数字印刷的方式,单独为您印制该图书,属于定制产品。2. 按需印刷的图书装帧均为平装书(含原为精装的图书)。由于印刷工艺、彩墨的批次不同,颜色会与老版本略有差异,但通常会比老版本的颜色更准确。原书内容含彩图的,统一变成黑白图,原书含光盘的,统一无法提供光盘。

spacer

《代数曲面拼接的理论与算法研究》-厉玉蓉编著.pdf

本文链接:
https://www.lifu.me/book-00047.html

文件大小:007.15 MB 代数曲面拼接的理论与算法研究-厉玉蓉编著

下载地址:

此付款无需注册!付款后等候跳转显示!您需要先支付 5元 才能查看此处内容!立即支付

代数曲面拼接的理论与算法研究
作者:厉玉蓉出版社:科学出版社出版时间:2011年08月

开 本:16开纸 张:胶版纸包 装:平装-胶订是否套装:否国际标准书号ISBN:9787030321930
所属分类:
图书>考试>其他类考试>秘书资格考试用书

编辑推荐
《代数曲面拼接的理论与算法研究》主要利用构造性代数几何理论对代数曲面拼接问题的两个方面进行探讨和研究。一方面,就二次代数曲面的低次光滑拼接曲面问题进行研究;另一方面,针对代数曲面的重构问题进行探讨。章为绪论;第2章和第3章主要就多个二次代数曲面的 次光滑拼接曲面的构造理论与算法进行了探讨;第4章研究用分片代数曲面进行曲面重建的构造性理论,得到了划分方法和三次分片代数曲面存在的条件;第5章介绍两类具有特殊形式的五次代数曲面的构造,一类是根据三次控制曲面的存在性来构造高光滑度的重建曲面,另一类是具有组合形式的五次代数曲面的构造——根据四次弱光滑度曲面的存在性来构造符合要求的五次代数曲面。

spacer

《周髀算经》新议-曲安京 著.pdf

本文链接:
https://www.lifu.me/book-00044.html

book-00044 文件大小:010.05 MB 《周髀算经》新议-曲安京 著

下载地址:

此付款无需注册!付款后等候跳转显示!您需要先支付 5元 才能查看此处内容!立即支付

《周髀算经》新议 曲安京著 陕西人民出版社
开 本:16开纸 张:胶版纸包 装:平装-胶订是否套装:否国际标准书号ISBN:9787224060195
所属分类:
图书>老书/收藏

内容简介
基本信息:

书名:《周髀算经》新议

定价:10.0

作者:曲安京著

spacer

[英文]《数学原理》的演化 伯特兰·罗素撰写第2版时的手稿与笔记.pdf

本文链接:
https://www.lifu.me/book-00043.html

book-00043 文件大小:178.94 MB 《数学原理》的演化 伯特兰·罗素撰写第2版时的手稿与笔记

下载地址:

此付款无需注册!付款后等候跳转显示!您需要先支付 15元 才能查看此处内容!立即支付

开 本:16开纸 张:胶版纸包 装:平装-胶订是否套装:否国际标准书号ISBN:9787560372594
所属分类:
图书>考试>其他类考试>其他

内容简介
本书是对哲学家、数学家、逻辑学家、历史学家、社会评论家伯特兰·罗素(Bertrand Russell,1872-1970)关于《数学原理》第二版的手稿与笔记的整理和解读。本书共八章:1.导论;2.关于第二版的写作;3.靠前版的逻辑;4.记号和逻辑;5.新版本的改进;6.在附录B中的归纳法和类型;7.第二版收到的评价;8.罗素写给卡纳普(Carnap)的定义列表。
作者简介
伯纳德·林斯基是加拿大阿尔伯塔大学的哲学系教授,研究有关形而上学的哲学逻辑领域,出版书籍6部,发表论文40余篇。2003年开始访问罗素档案馆,研究罗素的手稿和书信,编辑整理罗素关于《数学原理》第二版的手稿和笔记,并写出一系列的研究论文。
目  录
章 导论
第二章 关于第二版的写作
第三章 版的逻辑
第四章 记号和逻辑

spacer

《九章算术》导读与译注-李继闵 著.pdf

本文链接:
https://www.lifu.me/book-00042-2.html

文件大小:023.24 MB 《九章算术》导读与译注-李继闵

下载地址:

此付款无需注册!付款后等候跳转显示!您需要先支付 3元 才能查看此处内容!立即支付

开 本:32开纸 张:胶版纸包 装:精装是否套装:否国际标准书号ISBN:9787536929463
所属分类:
图书>自然科学>自然科学类考试>成人高考

内容简介
全书由导读、经文与译注等三个部分组成。“导读九讲”全面深刻地阐述了研读《九章算术》的意义与方法,系统总结了作者潜心治学的宝贵经验,及其数十年来研究《九章算术》的心路历程。作者曾将“导读九讲”在西北大学的数学史博士与硕士研究生教学中使用。实践证明,它对于指导青年学生在理解《九章算术》的内涵,领会中国传统数学的特质,帮助他们在研究方法的提高,学术观念的更新,以及治学态度的端正等方面均发挥了非常重要的作用。
作者简介
李继闵(1938-1993),1962年毕业于西北大学数学系。历任西北大学数学系主任、教授、博士生导师兼西北大学自然科学史研究室主任,北京师范大学兼职教授。他的成就是多方面的,早年从事几何函数论的研究,70年代以后,悉心研究中国古代传统数学理论。在短短的20年中,撰写
目  录
上编??《九章》翘楚宜详览??“算术”精微总根源

spacer

[星际航行概论][钱学森著].pdf

本文链接:
https://www.lifu.me/wuli-25.html

文件大小:038.30 MB
电子版pdf星际航行概论-钱学森著

此付款无需注册!付款后等候跳转显示!您需要先支付 12元 才能查看此处内容!立即支付

星际航行概论
作者:钱学森出版社:中国宇航出版社出版时间:2008年11月
开 本:16开纸 张:胶版纸包 装:精装是否套装:否国际标准书号ISBN:9787802184398
所属分类:
图书>工业技术>航空/航天

编辑推荐
《星际航行概论》全面介绍了星际航行技术和星际航行买践的复杂性和艰巨性,对当时即将投身航天专业的工程技术人员和研究人员起到了很好的指导作用。钱学森先生在书中对火箭技术未来发展趋势的预测,比如航天器的耐热材料、轻质化等,已在实践中得到了印证;其阐述的科学原理和技术方法,对我国航天技术的发展和人类探索太空仍然具有重要的现实意义。

spacer

[集成电路产业全书][王阳元 主编][全三册(上册、中册、下册)].pdf

本文链接:
https://www.lifu.me/dzs-00038.html

电子版PDF
文件大小:118.63 MB 集成电路产业全书(上册)-王阳元 主编

文件大小:103.49 MB 集成电路产业全书(中册)-王阳元 主编

文件大小:119.84 MB 集成电路产业全书(下册)-王阳元 主编

此付款无需注册!付款后等候跳转显示!您需要先支付 45元 才能查看此处内容!立即支付

集成电路产业全书(全三册)
作者:王阳元出版社:电子工业出版社出版时间:2018年08月

开 本:16开
纸 张:胶版纸
包 装:精装
是否套装:否
国际标准书号ISBN:9787121348228
丛书名:集成电路系列丛书
所属分类:
图书>工业技术>电子 通信>微电子学、集成电路(IC)

编辑推荐
“变革年代呼唤理论新知,激荡岁月催生传世经典。”为了总结集成电路产业发展历程、系统分析集成电路发展的技术规律、经济规律和发展路径,由中国科学院院士、北京大学教授王阳元担纲主编,联络起活跃在我国集成电路产业领域的各路精英,110多位编委、468位撰稿人、125位审稿人协同创作,历时三年完成、包含1000多个词条、240多万字的《集成电路产业全书》。

spacer

[代码精进之路-从码农到工匠][作者:张建飞].pdf

本文链接:
https://www.lifu.me/dzs-00035.html

文件大小:009.77 MB
码精进之路-从码农到工匠
下载地址:

此付款无需注册!付款后等候跳转显示!您需要先支付 8元 才能查看此处内容!立即支付

代码精进之路 从码农到工匠
作者:张建飞出版社:人民邮电出版社出版时间:2020年01月

开 本:16开纸 张:胶版纸包 装:平装-胶订是否套装:否国际标准书号ISBN:9787115521026
所属分类:
图书>计算机/网络>程序设计>其他

编辑推荐
写代码不仅是技术,更是一门技艺! 1.全面讲解编程技艺与方法,帮助读者培养良好的编程习惯。 2.着重培养技术人员的思想与素养,分享多年技术管理心得。 3.深度揭秘阿里巴巴团队在复杂度治理方面的探索与实践。 4.重点介绍开源框架COLA架构及其企业级应用“工匠平台”。

内容简介
这是一本为专业程序员而写的书,写好代码、追求卓越和工匠精神是每个程序员都应该具备的优秀品质。 本书共有13章内容,主要分为技艺部分、思想部分和实践部分。技艺部分详细介绍了编程技巧和方法论,并配以详尽的代码案例,有助于读者提高编写代码的能力,优化代码质量。思想部分主要包括抽象能力、分治思想,以及程序员应该具备的素养等内容。实践部分主要介绍了常见的应用架构模式,以及COLA架构的设计原理。

spacer

《定性与半定量物理学》教师参考 经典讲义 物理学教材.pdf

本文链接:
https://www.lifu.me/dzs-0589.html

定性与半定量物理学 文件大小:089.75 MB

定性与半定量物理学

下载地址:

此付款无需注册!付款后等候跳转显示!您需要先支付 6元 才能查看此处内容!立即支付

北大 定性与半定量物理学 第2版第二版 赵凯华 高等教育出版社 高等学校本科和专科物理专业及学习物理课程教材 中专中学教师参考
经典讲义 物理学教材
作者:赵凯华出版社:高等教育出版社出版时间:2008年01月

开 本:16开
纸 张:纯质纸
包 装:平装-胶订
是否套装:否
国际标准书号ISBN:9787040225228
所属分类:
图书>考试>其他类考试>其他


电子书pdf版本预览(PDF预览):
tushu-0589.jpg
编辑推荐
《定性与半定量物理学(第2版)》是北京大学物理系赵凯华教授在选修课讲义基础上编写的,全文曾在《大学物理》杂志(1988年第10期到1990年12期)刊载,深受广大读者欢迎。经作者增补修改后汇集出版。版出版于1991年,根据科学的新发展,在第二版中某些章节做了较大的修改和补充。作者在书中把基础物理知识生动地、巧妙地与当今物理学前沿如粒子物理、生物物理、天体物理、对称性分形等等新鲜概念与课题结合起来,与物理学思想、方法及其历史发展结合起来,古今纵横、上下环宇,格调清新、启人心智,是物理爱好者和师生们不可多得的参考资料,也有利于物理教学改革的探索。《定性与半定量物理学(第2版)》内容有绪论及对称性原理、量纲分析、数量级估计、自然界的物理学等四章,并有较丰富的例题。本书可作为各类高等学校本科和专科物理专业及学习物理课程的其他理工农医专业大学生、研究生、有关教学或科研人员的参考读物,也可供中专、中学教师及物理爱好者阅读或作进修之用。

spacer

《音乐审美的内核——音乐意象加工的科学阐释与实证》.pdf

本文链接:
https://www.lifu.me/dzs-0423.html

音乐审美的内核-音乐意象加工的科学阐释与实证 文件大小:085.43 MB

下载地址:

此付款无需注册!付款后等候跳转显示!您需要先支付 8.0元 才能查看此处内容!立即支付

书名: 音乐审美的内核/音乐意象加工的科学阐释与实证
ISBN:9787561459003
音乐审美的内核/音乐意象加工的科学阐释与实证
作者:李杰著
出版日期:2012年6月
出版社:四川大学出版社
定价: 25.00元

商品详情
基本信息.png

书名:音乐审美的内核——音乐意象加工的科学阐释与实证

ISBN号:9787561459003

出版社:四川大学出版社

作者:李杰 著

出版时间:2012-06-01

其他信息

定价:25.00

版次:1

开本:16开

装帧:平装

页数:301页

正文语种:

类目:艺术
内容简介.png
内容简介:
《音乐审美的内核:音乐意象加工的科学阐释与实证》是一本关于音乐美学的研究。《音乐审美的内核:音乐意象加工的科学阐释与实证》主要研究的是音乐审美的内核——音乐意象加工的科学阐释与实证。《音乐审美的内核:音乐意象加工的科学阐释与实证》包含了对于音乐意象的外在和内涵的研究,对于音乐意象心理加工进行了阐释,并对其他的相关音乐知识进行了汇总。

spacer