孟博，王德军著2016 年出版318 页ISBN：9787030508676
本书共分五篇15章。系统地全面介绍了安全协议实施生成与验证的基本理论和关键技术及最新成果。主要内容包括安全协议协议规范形式化分析与验证技术、安全协议实施的生成与验证技术及其国内外发展现状、应用...
杨德军，张土乔，张科锋著2011 年出版154 页ISBN：9787308092746
为提高水资源尤其是农业用水效率，降低农作物成本，提高农药和化肥的利用率，有效地缓解过量农药和化肥进入地表或地下水体导致的环境污染问题，本文采取了理论分析、数值模拟和算例验证相结合的方法对SPAC系统土壤...
苑世强主编2002 年出版349 页ISBN：7563216146
大连海事大学学术著作出版基金资助出版:本书是大连海事大学人文社会科学学院的教师结合日常教学和科研实践，通过收集到的国内外人文社会科学相关领域的资料进行细致分析，并对其发展现状和未来发展态势做出的...
李无苑编著2011 年出版128 页ISBN：9787206076022
马克斯·韦伯是社会学领域人皆仰之的明月，他以德国思想传统一以贯之的深邃和自身独特的个人魅力成为毋庸置疑的一代社会学宗师。马克斯·韦伯的命运充满了坎坷。他立志于政治，命运却把他抛入学术 。在世时，除...
苑世强著2006 年出版172 页ISBN：7563219501
经济相对论是运用爱因斯坦相对论理论，从人的特性即思维运动、人机思维主体的出现和信息传递的高速化，以及它们与社会经济运动的关系出发来研究经济的；是从相对时空的观点来认识人、认识社会、认识经济的，并由此...
蔺德军，张云红主编；姜彬，刘晓洁副主编；郑世秀，朱威同，姜山参编2015 年出版280 页ISBN：9787121274220
本书是作者近20年C语言教学的经验总结，全书共分为14章：第1章程序设计语言及C语言概述；第2章数据类型与输入输出；第3章运算符与表达式；第4章算法与结构化程序设计；第5章选择结构程序设计；第6章循环结构程序设计；第.....
柯展亘等编著；江德军等绘画2002 年出版183 页ISBN：7534224535
《最新版十万个为什么》是一套适合中小学生阅读的科普读物。共分8册，内容涉及动物植物、宇宙航天、交通能信、地理环境、人体卫生、军事武器等多方面。它给你答案，更引导人你思考。 《最新版十万个为什么》介...
王德军总主编；王莉莉主编；吴冬梅，王红丽副主编；赵涛，黄安定编2005 年出版270 页ISBN：7560050905
本书为第三册。由12套试卷组成。每套试卷由四部分构成：听力理解、阅读理解、综合测试和写作测试。其中，听力对话部分包括短对话和长对话的听力理解；听力短文部分包括短文听写和选择题型的短文理解。阅读理解部...
李海军，苑海青主编；本书编委会编2005 年出版1039 页ISBN：7030147847
本书是以中华人民共和国建设部和中华人民共和国国家质量监督检验检疫总局于2003年2月17日联合发布的《建设工程工程量清单计价规范》为基础编写的，内容包括：土石方、桩与地基基础工程、砌筑工程、混凝土及钢...
苑明海，许焕敏著2011 年出版122 页ISBN：9787118078282
本书主要研究了可重构装配线的管理系统体系结构、重构技术、平衡、调度、多目标调度决策和评价体系；建立了基于CORBA的可重构装配线管理系统集成框架；研究了装配资源的信息模型，并设计了系统的Agent结构及各Ag...
