-
-
Rhinoceros Grasshopper 参数化建模 电子书下载
《RHINOCEROS&GRASSHOPPER参数化建模》共分为两个部分,其中,第一至八章为第一部分,第一章为Rhinoceros与Grasshopper及相关软件概论,第二至八章主要讲解Rhinoceros建模方法、建模原理与建模实例;第九至十四章为第二部 ...
03-04 [ None ]
-
面向计算机科学的数理逻辑系统建模与推理: 系统建模与推理 电子书下载
数理逻辑是计算机科学的基础之一,在模型与系统的规约与验证等方面有着广泛的应用。随着当今软硬件产品日趋复杂,数理逻辑已经成为越来越多设计开发人员的日常工具。 本书适合作为高等院校计算机及相关专业的数理逻辑/形式化方法课程教材,涵盖了命题逻辑,谓词 ...
02-22 [ None ]
-
-
-
-
-
-
-
《UML基础与Rose建模案例》吴建文字版 电子书下载
《UML基础与Rose建模案例(第3版)》介绍了使用UML(统一建模语言)进行软件建模的基础知识以及Rational Rose 2007工具的使用方法。《UML基础与Rose建模案例(第3版)》在第2版的基础上,充分吸取了读者宝贵的反馈意见和建议,更新了大部分案例。书中前11章是基础部分,对软件工程 ...
09-15 [ computer ]
-
-
-
-
-
-
-
-