可信软件设计 开发健壮软件的工具、技术和方法

（美）贾亚斯瓦等著；吴峻申，蒋乐天，黄诚译2013 年出版512 页ISBN：9787111428190

本书介绍了一种可在早期解决软件质量问题，使软件质量管理目标变成防止在实施阶段发生bug而不是在实施阶段中或之后发现和解决bug,名为可信任软件设计（DFTS）的综合技术。这种技术可信之处在于能在一行代码都未...

国际新一代对地观测系统的发展及其主要应用

王毅编著2006 年出版238 页ISBN：7502941312

空间对地观测系统和技术是获取空间对地信息、促进地球系统科学和空间信息科学等学科发展的支柱。本书简要回顾了对地观测系统（Earth Observing System）的发展历程，介绍了NASA的EOS计划和地球科学事业战略计划（E...

芭蕾舞双人舞训练课堂音乐选编

王毅编著2014 年出版96 页ISBN：9787566007629

书稿是北京舞蹈学院的一部音乐作品集，主要内容是中外芭蕾舞音乐作品选编，共收录乐曲36篇，每篇作品均有介绍及赏析文字。书稿的作用主要是配合芭蕾舞教师上课之用。使教师在上课时在选择音乐的方向，范围，以及音乐...

块状褐煤高温蒸汽热解的宏细观特性分析及应用

王毅著2012 年出版164 页ISBN：9787564614171

本书系统论述了块状褐煤高温蒸汽热解的宏细观特性及其应用技术。全书共分为五章，分别从常规热解和高温蒸汽热解两个不同角度分析了褐煤孔隙结构随温度的演化规律和特征。本书内容丰富、资料充实，详细研究了不...

中国古代俳谐词史论

王毅著2013 年出版342 页ISBN：9787532569823

本书以明代以前的俳偕词为研究对象，首先是对“俳谐”概念作以辨析。最重要的是澄清俳谐与浅俗的关系。从古至今，俳谐词就是俗词的观念深入人心，其实，俳谐词有俗有雅，丰富多样，俳谐的本质是滑稽诙谐幽默，与雅俗......

矫正与康复 上海市南汇监狱的实践与探索

严励，王毅主编2015 年出版374 页ISBN：9787509360620

本书选编的文章，既有出自院校的专家学者之手，也有监狱实务工作者亲自动笔撰写的，也有本院刑法学专业硕士研究生的一些习作，同时附录了一篇研讨会综述。这些论文涉及内容广泛，既有一定的理论深度，又有对实践的最.....

Java经典实例

（美）Ian F. Darwin著；张晓坤，刘基诚译2002 年出版816 页ISBN：7508309456

本书收集了Java程序员经常遇到的成百个问题的解决方案，涵盖了Java应用的方方面面，堪称讲述Java应用的百科全书。书中的实例从正确设置CLASSPATH和读取环境信息这样的简单任务，到应用XML和添加Email功能的完整...

名师三导-学练考 小学数学 第11册 小学数学六年级 上

王毅主编；张艳梅，张敏荣，赵玲云，赵凤莲，王勇利，尤年安编2002 年出版90 页ISBN：754172582X

本套系列图书，栏目新奇别致，【快乐连连跳】等栏目让孩子们乐此不疲，流连忘返；【家庭辅导站】家长总动员，辅导有道，教子有方。个性飞扬的奇奇，聪慧博学的小博士，陪伴着孩子们在求知的道路上，洒下欢声串串。倾......

膝关节手术学

（法）PHILIPPE NEYRET，GUILLAUME DEMEY主编；冯建民，王毅主译2016 年出版312 页ISBN：7547829783

膝关节是人类功能最重要、结构最复杂的关节之一，也是最容易受到病损的关节之一，其结构复杂，部分手术对与年轻关节外科医生难度较大。《膝关节手术学》（Surgery of the knee）由39章构成，是一本膝关节手术方法与技...

交往、适应与融合 一项关于流动农民和失地农民的比较研究

童星，马西恒，王毅杰等著2010 年出版416 页ISBN：9787509713891

本书以南京市郊区和上海市市区为研究的样本，按照“社会交往-社会适应-社区融合”的思路，对流动进城农民和郊区失地农民两大群体进行比较研究，揭示他们进入城市社会后各自的社会网络资本特征，分析他们对于城市社...