张承伟著2014 年出版374 页ISBN：9787564415334
本书是关于桥牌叫牌原理与叫牌方法的理论专著。叫牌是求证最佳定约可能性的现实性的过程。叫牌原理有助于探索定约的可能性，而叫牌方法则是论证定约现实性的工具。本书在构建叫牌概念体系和形式化描述方法的...
冯滨鲁，张玉峰，董焕河著2014 年出版230 页ISBN：9787030415226
寻求可积系统及其相关性质一直是孤立子理论中的一项重要研究课题，作为一类扩展可积系统的可积耦合，得到了国内外众多研究者的广泛关注，本书是作者近年来在此方面的研究成果。本书在简要介绍可积耦合系统国内外...
（美）费希尔（Fisher，J.A.）等著2006 年出版671 页ISBN：7111197712
本书将技术深度和实践经验完美结合，清晰阐述了通用计算系统和嵌入式计算系统在硬件、软件、工具和操作系统层面上的不同，内容全面，实例丰富，非常适合实践工程师（芯片设计师和嵌入式系统设计师）和专业技术人员使.....
王文川著2015 年出版154 页ISBN：9787030437051
本书就水电系统预报、优化、调度及多目标决策等相关问题的关键技术进行了探讨，系统研究和分析了人工智能技术在中长期径流预报中的应用、水文模型参数的优选及不确定性分析及其应用、马斯京根参数优化及其在...
陈杰，辛斌著2013 年出版199 页ISBN：9787030369789
智能优化方法是解决复杂优化问题、尤其是复杂系统中产生的各种困难优化问题的有效方法。智能优化方法采用启发方式实现问题的优化求解，具有不依赖于梯度、对优化问题的性质几乎没有要求、适用范围广、适于处...
风笑天2016 年出版252 页ISBN：9787300227641
本书以社会调查活动为研究对象，总结了人类社会调查活动产生和发展的历史，阐明了社会调查活动的性质、特点、运行机制和功能，介绍了社会调查活动诸过程中的具体方法。在体系建构方面，既吸收了国内外学者的最新研...
马知行著2018 年出版129 页ISBN：9787030578129
广泛存在于公开数据库和零散文献中的海量生物芯片数据是认知生物遗传信息的”知识宝库”。这些数据由于实验背景、获取条件差异较大，通常情况下并不具有可比性，同时也因为缺乏可靠的数理分析工具，多数只是经过...
（奥）赫尔曼·科佩茨（Hermann Kopetz）著2019 年出版266 页ISBN：9787111613770
本书主要介绍分布式实时系统的技术原理和设计方法，重点围绕安全关键实时系统的行为确定性、可组合性和容错能力等难题提出了时间触发机制和相应的设计原则。本书整体内容分为四大部分，包括关于时间的基础理论...
王彦军，丁士峰主编2017 年出版313 页ISBN：9787505143371
本书包括：党务工作总论，党务工作作用职能、党务工作组织领导、党务工作队伍建设，党的组织工作方法与创新实务，党的群众工作，党的会务工作，政策研究工作，制度建设工作，党内监督工作，党的纪检工作，电子（数字......
