当前位置：首页 > 名称
大约有475,186项符合查询结果项。（搜索耗时：0.6899秒）
为您推荐： 动力学系统建模 仿真与控制 控制系统建模与仿真 机械系统动力学建模与仿真 系统建模与仿真 雷达系统建模与仿真 雷达电子战系统建模与仿真
-
面向计算机科学的数理逻辑 系统建模与推理 modelling and reasoning about systems
（德）Michael Huth，（英）Mark Ryan著；何伟，樊磊译2007 年出版277 页ISBN：7111213971本书对计算机科学方面的数理逻辑进行了综合介绍，涵盖了命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。本书主要讨论有关软件和硬件规范和验证这一主题，反映了计算机科学中数理...
-
-
-
-
-
-
控制原理与系统实验教程
陈春俊，张洁，戴松涛编著2007 年出版218 页ISBN：7811047861本书内容包括：LabACT实验机的控制原理实验、计算机控制技术实验和控制系统实验、交流电机微机调速实验、A3000过程控制实验及控制系统的计算机仿真分析实验等。...
-
数字控制系统 分析、设计与实现
杨国安编著2008 年出版357 页ISBN：7560526284本书较为系统地阐述了数字控制系统分析、设计与实现的基础理论与方法，并且每一章都配有MATLAB仿真实现。
-
-
学科分类
出版时间