全书共分为五部分 数学部分 功能性测试 结构性测试 集成与系统测试 面向对象的测试

《算法技术手册》内容简介：开发健壮的软件需要高效的算法，然后程序员们往往直至问题发生之时，才会去求助于算法。《算法技术手册》讲解了许多现有的算法，可用于解决各种问题。通过阅读它，可以使您学会如何选择和实现正确的算法，来达成自己的目标。另外，书中的数学深浅适中，足够使您可以了解并分析算法的性能。 较之理论而言，《算法技术手册》更专注于应用。《算法技术手册》提供了高效的代码解决方案，使用多种语言进行编写，让您可以轻松地将其应用于特定的工程当中。通过《算法技术手册》，您可以： · 解决特定代码的问题，或者提升既有解决方案的性能 · 快速找到与您所解决的问题相关的算法，并决定哪个算法才是最适合的那一个 · 探索使用C、C++、Java以及Ruby实现的算法解决方案以及开发小贴士 · 了解算法预期的性能，以及它达到最高性能时所需要的条件 · 发现不同算法之间相似的设计哲学 · 学习高级数据结构，来提升算法的性能 通过《算法技术手册》，您能学到如何提升算法的性能，这将是您的软件应用程序走向成功的关键。 ——《豆瓣读书》

作者:（美）卡尔·B·波耶 著，唐生 译出版社:复旦大学出版社出版时间:2007年06月 《微积分概念发展史》是2007年复旦大学出版社出版的图书，作者是（美）卡尔·B·波耶。本书讲述了微分和积分两方面的发展历史。 微积分和数学分析是人类智力的伟大成就之一，其地位介于自然和人文科学之间，成为高等教育成果硕然的中介。不幸的是，有时候教师采用机械的方法教授微积分，不能展现其作为生动智力斗争的成果所具有的魅力。这种延续了500多年的斗争历史，深深扎根于人类奋斗的许多方面，并且，只要人们像了解大自然那样去努力认识自己，它就还会继续发展下去。教师、学生和学者若想真正理解数学的力量和表现，就必须从历史的角度来理解这一领域发展至今的现状，以广阔的视野看待数学。 本书以时间为顺序，通过对古希腊乃至更久远时期、中世纪和17世纪关于微积分学构想的描述，剖析了一些阻碍微积分学发展进程的哲学与宗教观点，叙述了微分和积分两方面的发展，以及牛顿、莱布尼茨的伟大贡献和我们今天所知道的最严格的牛顿莱布尼茨公式。 波耶（Carl B.Boyer，1906—1976），杰出的数学史家，国际科学史研究院院士。1939年在哥伦比亚大学获得博士学位，1952年任布鲁克林学院数学教授，1957—1958年担任美国科学史学会副主席。主要研究数学史和科学史，主要著作有《微积分概念发展史》、《数学史》、《解析几何学史》和《彩虹：从神话到数学》。

保存的网页版，方便阅读。如有侵权请移除。USB PD规范 第二章（中文完整版）-李熙民译。如豆瓣http://www.360doc.com/content/19/0103/13/16534268_806245430.shtml

裘宗燕译：工业开发中的形式化方法：成就、问题和未来（作者 J.-R. Abrial）.pdf

彩云小译-Chrome插件(无限试用) 安装 1.打开Chrome/Edge浏览器点击菜单->扩展->打开开发者模式 2.将下载的xiaoyi.crx拖入浏览器中 无限试用 Windows 中chrome插件默认安装目录位置: C:\Users\用户名\AppData\Local\Google\Chrome\User Data\Default\Extensions MAC 中Chrome插件默认安装目录位置： ~/Library/Application Support/Google/Chrome/Default/Extensions MAC 中Edge插件默认安装目录位置： ~/Library/Application Support/Microsoft Edge/Default/Extensions 1.在扩展中查看彩云小译对应的ID 2.打开文件夹找到对应ID的目录 3.将下载好的trs

法兰西数学精品译丛-拟微分算子和Nash-Moser定理(中文版)-[法]S·阿里纳克＆P·热拉尔-姚一隽(译)-高等教育出版社-2009.pdf

法兰西数学精品译丛-分布系统的精确能控性、摄动和镇定（第1卷）：精确能控性-[法]J·L·利翁斯- 严金海＆黄英(译)-高等教育出版社-2012.pdf

本书系统地阐述了算法设计的方法、技术和应用实例。这些典型问题的Java应用示例分布在不同的章节中。此外，书中以大量图例说明算法的工作过程，使算法更加易于理解和掌握。

提供给学习凸优化的同学们交流分享。