模型论及其在计算机科学中的应用

北京师范大学数学科学学院主编；罗里波编著2012 年出版300 页ISBN：9787303136025

本书已于2011年1月27日正式签署合同。本书是为了给数学系和计算机科学系的本科生和研究生开设模型论课而写的，其主要内容是模型论的基本原理和它在计算机科学中的计算复杂度理论和机器证明等方面的应用。书...

构建Oracle XML应用程序

（美）Steve Muench著；张静等译2003 年出版854 页ISBN：7508310837

XML（可扩展标记语言）已逐渐成为网上数据交换的工业标准，而Oracle公司的整个Internet平台都支持使用XML。随着B2B电子商务应用程序、基于XML的数据格式及Internet设备与其交互的能力的指数级增长，能够应用XML和O...

先进的结构损伤检测理论与应用

（波）斯蒂芬斯基主编2015 年出版277 页ISBN：9787111482581

本书全面回顾了各种监测技术的最新进展以及其在结构健康监测（SHM）中的应用。本书强调基本概念、基本原理和典型应用，并侧重理论方法研究和工程应用的有机结合，内容涉及弹性波数值模拟、非线性声学、探测概率模...

Ad Hoc 移动无线网络 原理、协议与应用 第2版

苏比尔·库玛尔·萨卡尔（Subir Kumar Sarkar）2018 年出版220 页ISBN：9787121336942

本书系统、全面地介绍了Ad Hoc无线网络的原理、协议与应用，阐释了这一网络系统的工作机制、设计和性能。全书首先介绍了无线网络的基础知识，包括蓝牙、IrDA、HomeRF、WiFi、WiMax、无线网络和移动IP的概念，并...

法学家代表作系列 犯罪论的基本问题 张明楷教授代表作 中国刑法学研究现状及发展之镜照

张明楷著2017 年出版410 页ISBN：9787519709655

本书为“法学家代表作”系列之一。张明楷教授著述丰硕，因犯罪论是我国刑法理论近年来争论最大之领域，故作者仅围绕该领域已发表之论文精心萃选，并兼顾该领域各个具体方面，如犯罪论体系、构成要件、客观归责理论...

京津水源涵养地水权制度及生态经济模式研究

王岳森等著2008 年出版186 页ISBN：9787030216922

本书深入分析了京津水问题产生的原因，在参考国内外理论和实践研究的基础上，结合京津水源地的实际情况，从水权制度的创新，京津冀水权管理的制度、运行机制和措施改革，以及京津水源涵养区生态建设和经济补偿等方面...

中英文Protel电路及印制板设计大全

胡万海，张帆，胡红蕾编著1998 年出版519 页ISBN：7801440838

本书基于HTML的最新版本，用103个实例对HTML的功能和用法进行了详细讲解。全书由12章、3个附录组成。第一章到第十章对HTML4．0语言的用法及其编程进行了全面的阐述，通过这十章的学习，读者不但可以解读几乎所有网...

深海采油平台波浪载荷及响应 Wave loads and response of the oil-extraction platform in deep ocean

董艳秋著2005 年出版377 页ISBN：7561822197

本书系统介绍了世界上已建和在建的顺应式平台，即张力腿平台和spar平台以及它们的结构特点、设计、研究、建造及使用情况。重点是论述平台生存的深海洋环境和波浪载荷的有关问题。书中给出某些海域可能发生的...

供暖、通风及空气调节 分析与设计

（美）F.C.麦奎斯顿（Faye C.McQuiston），（美）J.D.帕克（Jerald D.Parker），（美）J.D.斯皮特勒（Jeffrey D.Spitler）编著；俞炳丰主译2005 年出版526 页ISBN：7502566635

内容提要 本书系统地反映了美国暖通空调工程分析与设计最新的技术与ASHRAE标准。全书由导论、空调系统、湿空气的性质和调节过程、舒适与健康：室内环境品质、建筑结构的热传递、房间热负荷、太阳辐射、冷负...

俄罗斯联邦植物检验检疫机构及法规标准

魏传忠主编2014 年出版343 页ISBN：9787109185173

根据《世界贸易组织卫生与植物卫生措施协定》(WTO/SPS协定)的要求，WTO成员有权制定和实施保障食品安全和动植物健康的法律法规规章程序和标准，但这些措施的制定和实施不得构成对情形相同或相似的成员之间的歧...