当前位置：首页 > 名称
大约有10,000项符合查询结果项。（搜索耗时：0.0179秒）
为您推荐： 仿真建模与分析 潜艇作战建模与仿真 动力学系统建模 仿真与控制 大型火电机组系统仿真与建模 航空搜潜建模与仿真 企业微博营销 策略 方法与实践
-
-
实时UML与Rational Rose RealTime建模案例剖析 【工业技术】
余金山编著2007 年出版378 页ISBN：7121037963本书将实时系统、实时统一建模语言、实时系统的统一开发过程、Rational Rose RealTime建模环境有机地结合起来，以案例为基础，系统地介绍了实时系统的设计与实现。全书分为3个部分。第1部分为基础篇，主要介绍实...
-
柔性制造系统和柔性供应链-建模、决策与优化 【工业技术】
华中生编著2007 年出版313 页ISBN：7030184246柔性是与成本、质量和交货期同等重要的衡量企业与供应链竞争力的指标。柔性这一竞争力指标不仅涉及到其实现过程的技术问题，还涉及到企业与供应链运作管理中的决策与协调问题，进而成为企业与供应链战略管理的...
-
UML基础与Rose建模案例 第2版 【工业技术】
吴建，郑潮，汪杰编著2007 年出版266 页ISBN：7115158916《UML 基础与 Rose 建模案例(第2版)》介绍了使用UML（统一建模语言）进行软件建模的基础知识以及RationalRose工具的使用方法。《UML 基础与 Rose 建模案例(第2版)》在第1版的基础上，充分吸取了读者宝贵的反馈意...
-
-
-
面向计算机科学的数理逻辑 系统建模与推理 modelling and reasoning about systems 【数理化】
（德）Michael Huth，（英）Mark Ryan著；何伟，樊磊译2007 年出版277 页ISBN：7111213971本书对计算机科学方面的数理逻辑进行了综合介绍，涵盖了命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。本书主要讨论有关软件和硬件规范和验证这一主题，反映了计算机科学中数理...
-
-
-
学科分类