安全协议实施自动化生成与验证

孟博，王德军著2016 年出版318 页ISBN：9787030508676

本书共分五篇15章。系统地全面介绍了安全协议实施生成与验证的基本理论和关键技术及最新成果。主要内容包括安全协议协议规范形式化分析与验证技术、安全协议实施的生成与验证技术及其国内外发展现状、应用...

土壤水动力学模型及在SPAC系统建模中的应用

杨德军，张土乔，张科锋著2011 年出版154 页ISBN：9787308092746

为提高水资源尤其是农业用水效率，降低农作物成本，提高农药和化肥的利用率，有效地缓解过量农药和化肥进入地表或地下水体导致的环境污染问题，本文采取了理论分析、数值模拟和算例验证相结合的方法对SPAC系统土壤...

两汉时期的生存法则

冷成金著2012 年出版402 页ISBN：9787550203631

本书为人大著名历史系教授冷成金凭借几十年对中国历史的不断求索与研究，在探寻了每一条蛛丝马迹后，大胆提出”历史的真实意义”，以及剖析其深度涵义。对一个个历史人物和历史现象进行了解读，创作了真实、鲜活、...

AGI边坡监测系统应用与开发

沈细中，冷元宝，张俊霞等编著2010 年出版150 页ISBN：9787508482651

在详细介绍（美国Applied Geomechanics Inc.）AGI边坡监测系统的基础上，通过开展室内模型试验，消化、吸收AGI系统的基本使用方法，在此基础上进行现场监测试验，总结了系统应用中的关键技术问题；基于人工智能原理，尝试...

C语言程序设计

蔺德军，张云红主编；姜彬，刘晓洁副主编；郑世秀，朱威同，姜山参编2015 年出版280 页ISBN：9787121274220

本书是作者近20年C语言教学的经验总结，全书共分为14章：第1章程序设计语言及C语言概述；第2章数据类型与输入输出；第3章运算符与表达式；第4章算法与结构化程序设计；第5章选择结构程序设计；第6章循环结构程序设计；第.....

最新版十万个为什么 植物

柯展亘等编著；江德军等绘画2002 年出版183 页ISBN：7534224535

《最新版十万个为什么》是一套适合中小学生阅读的科普读物。共分8册，内容涉及动物植物、宇宙航天、交通能信、地理环境、人体卫生、军事武器等多方面。它给你答案，更引导人你思考。 《最新版十万个为什么》介...

大学英语测试与分析 3

王德军总主编；王莉莉主编；吴冬梅，王红丽副主编；赵涛，黄安定编2005 年出版270 页ISBN：7560050905

本书为第三册。由12套试卷组成。每套试卷由四部分构成：听力理解、阅读理解、综合测试和写作测试。其中，听力对话部分包括短对话和长对话的听力理解；听力短文部分包括短文听写和选择题型的短文理解。阅读理解部...

中外侵权法经典案例评析

韩赤风，冷罗生，袁达松等著2011 年出版200 页ISBN：9787511823618

本丛书的作者主要由具有海外留学背景同时又曾有过国内司法实践经验或长期从事国内外相关部门法及案例研究的学者以及部分经过专门训练的法学专业博士、硕士研究生组成。这些作者不仅对两大法系及案例有较深...

考研数学客观题15天突破1500题 数学二 2015

王欢，王德军，童武主编2014 年出版94 页ISBN：9787511424938

本书由清华、北大、首都师范大学一线专家和教授亲自编著，在严格遵循最新考试精神和最新考试大纲要求的基础上，力求反映最新考试要求，紧扣全国硕士研究生入学数学考试的脉搏。本书精辟阐明解题思路，全面展现题型...

考研数学客观题26天突破1500题 数学一 2015

王欢，王德军，童武主编2014 年出版131 页ISBN：9787511424921

本书由清华、北大、首都师范大学一线专家和教授亲自编著，在严格遵循最新考试精神和最新考试大纲要求的基础上，力求反映最新考试要求，紧扣全国硕士研究生入学数学考试的脉搏。本书精辟阐明解题思路，全面展现题型...