面向计算机科学的数理逻辑 系统建模与推理 modelling and reasoning about systems

下载此书RAR压缩包在线购买PDF电子书

（德）Michael Huth，（英）Mark Ryan著；何伟，樊磊译2007 年出版277 页ISBN：7111213971

本书对计算机科学方面的数理逻辑进行了综合介绍，涵盖了命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。本书主要讨论有关软件和硬件规范和验证这一主题，反映了计算机科学中数理...

From Markov chains to non-equilibrium particle systems Second Edition = 从马尔科夫链到非平衡粒子系统 第2版

下载此书RAR压缩包在线购买PDF电子书

Mu-fa Chen2014 年出版600 页ISBN：7510068232

中国人民共和国国家标准 GB/T17710-1999 idt ISO7064:1983 数据处理 校验码系统=Data processing-Check character systems

下载此书RAR压缩包在线购买PDF电子书

2222 年出版0 页ISBN：

中华人民共和国国家标准 GB/T 17300-1998 idt ISO2867:1994 土方机械 通道装置=Earth-moving machinery-Access systems

下载此书RAR压缩包在线购买PDF电子书

2222 年出版0 页ISBN：

中华人民共和国国家标准 GB/T 16435.1-1996 IEC 870-3:1989 远动设备及系统接口（电气特性）=TELECONTROL EQUIPMENT AND SYSTEMS INT

下载此书RAR压缩包在线购买PDF电子书

2222 年出版0 页ISBN：

robust control for strict-feedback form nonlinear systems and its application = 严格反馈型非线性系统鲁棒控制及应用

下载此书RAR压缩包在线购买PDF电子书

2222 年出版0 页ISBN：

中华人民共和国国家标准 GB/T22032-2008/ISO/IEC15288:2002 系统工程 系统生存周期过程=Systems engineering-System life cycle

下载此书RAR压缩包在线购买PDF电子书

2222 年出版0 页ISBN：

中华人民共和国国家标准 GB/T 17290-1998 idt ISO8222:1987 石油测量系统检定标准量器的温度修正=Petroleum measurement systems-Cali

下载此书RAR压缩包在线购买PDF电子书

2222 年出版0 页ISBN：

Continuous Dynamical Systems=连续动力系统 英文版

下载此书RAR压缩包在线购买PDF电子书

罗朝俊著2012 年出版286 页ISBN：9787040348194

本书极具创新特色，首次揭示了混沌不只是可以通过数字模拟实现而且可以用解析形式来表示。书中提出了关于连续动力系统的稳定性和分叉理论的一种新的、清晰简明的观点，能够帮助读者更好地理解动力系统中规则性...

SINGLE AND MULTI-CAMERA OBJECT DETECTION AND TRACKING SYSTEMS WITH SOPHISTICATED PERSORMANCE

下载此书RAR压缩包在线购买PDF电子书

FIN FEI2015 年出版183 页ISBN：9787030446039

本书主要介绍了近年来基于计算机视觉技术的视频监控领域的常用算法，总结了作者及其研究团队近年来的最新研究成果，主要包括：监控视频中移动物体的检测和跟踪算法，单摄像机的算法优化，多摄像机的标定方法，以及多.....