当前位置：首页 > 名称
大约有10,000项符合查询结果项。（搜索耗时：0.0786秒）
为您推荐： verilog高级数字系统设计技术与实例分析 数字计算机设计自动化的理论和方法 数字系统计算机辅助设计 机械零部件结构设计和计算实例 title计算机仿真技术与cad基于matlab的控制系统 光电测试技术与系统
-
-
-
面向计算机科学的数理逻辑 系统建模与推理 modelling and reasoning about systems
（德）Michael Huth，（英）Mark Ryan著；何伟，樊磊译2007 年出版277 页ISBN：7111213971本书对计算机科学方面的数理逻辑进行了综合介绍，涵盖了命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。本书主要讨论有关软件和硬件规范和验证这一主题，反映了计算机科学中数理...
-
-
分布系统的精确能控性、摄动和镇定 第1卷 精确能控性
J.-L.利翁斯（J.-L.Lions）著；严金海；黄英译2012 年出版364 页ISBN：9787040332384本书研究由偏微分方程描述的线性系统的精确能控性问题，介绍了由本书作者提出的Hilbert空间唯一性方法，针对波动方程、弹性力学方程组以及振动板模型等的精确能控性问题构建了解决问题的完整框架，并在很多重要...
-
-
光子晶体复杂系统的理论和模拟研究
王宏，韩艳玲著2013 年出版120 页ISBN：9787562533207光子晶体是近十年以来激光和光电子领域中的热点问题，作为未来电子材料的替代品，它在光通信、光信息处理及其光电子器件设计领域有重要的应用前景。本书系统的介绍了光子晶体中的各种光学现象和应用。基于光子...
-
-
-
