韩胜伟，赵彬编著2016 年出版256 页ISBN：9787030495921
Quantale理论是理论计算机科学的数学基础之一，和计算机语言的运算语义与符号语义相联系，刻画了进程语义中的各种观察等价。由于Quantale具有丰富的序结构、代数结构，以及与线性逻辑和计算机理论的紧密联系，受到...
段东平编著2015 年出版211 页ISBN：7553462012
本书介绍了拔河、跳绳和踢毽子等游戏和运动的相关知识以及典故由来，这些古老简朴而又充满乐趣的小规模运动在我国是儿童当中常见的游戏，在当前社会环境下，物质基础的充裕让人们减少了通过运动进行娱乐健身的时...
兵器科学技术学科发展报告 装甲兵器技术 2014-2015版
中国科学技术协会主编；中国兵工学会编著2016 年出版168 页ISBN：9787504670878
本报告主要论述了装甲兵器技术的范围、内涵、最新进展、与国外先进水平的差距、未来发展趋势等，主要分为六个部分，分别是总体技术、推进系统、武器系统、防护系统、综合电子系统、基础技术。对其中的概念进行...
吕居永，王凌编著2014 年出版331 页ISBN：9787555002987
《十年集》是由福建省老促会成员吕居永、王凌等同志参加日常工作或协助调研工作时写的部分调研报告及配套文章资料的结集。时间跨度从2004年7月到2014年。本稿分为“调研篇”和“资料篇”两部分。“调研篇...
中国分析测试协会编著2016 年出版278 页ISBN：9787506684316
中国分析测试协会以中华人民共和国科学技术部批准、本协会主办的“第十六届北京分析测试学术报告会暨展览会”（BCEIA’2015）为契机，组织专家组从光谱、质谱、色谱、波谱、微观结构、无损检测、物理及力学分析...
九州书源编著2013 年出版282 页ISBN：9787302315940
本手册以86版和98版王码五笔字型输入法为基础，用表格形式，按照汉语拼音顺序，列出7000多个汉字、20000多个词组的编码及字根拆分。本手册的汉字及词组编码适用于王码五笔字型输入法、万能五笔输入法、极点五笔...
复旦大学档案馆编著2015 年出版196 页ISBN：9787309113884
本书集中于对于复旦上医老建筑的寻踪与回顾，复旦110年校史上，保留着很多优秀的历史文化建筑。很多这样的历史文化建筑或已消失，或被改建，或至今仍在为师生使用，但其背后的故事却渐渐被人们所淡忘。复旦老建筑是...
李红慧编著2013 年出版200 页ISBN：9787548019589
本书是一套知识性、文学性、艺术性完美结合的科学读本。以清新流畅的文笔揭示出自然界鲜为人知的美丽秘诀,将一个个与科学有关的故事讲得栩栩如生，引人入胜，让你在不知不觉中感受到科学的神奇和魅力。“科幻...
刘海鸿等编著2016 年出版189 页ISBN：9787030492210
编写本书有三个主要目标：第一，为高校数学专业学生学习《数学分析》这门主干基础课提供辅助教材；第二，为高校数学专业学生提供考研备考辅导；第三，为高校教师和科研人员提供参考资料。本书正是本着这三个目标，结......
张立伟编著2014 年出版588 页ISBN：9787538588873
博弈论，是通赢人生一切弈局的精妙智慧；心理学,是处理人际关系中的一张王牌。将二者结合起来,你将无往不胜,成为人生的终极赢家。博弈论是在现代运筹学、信息论的基础上发展创新出来的思维利器，也是人们在生存...
