（英）STUART SUTHERLAND SIMON DAVIDMANN PETER FLAKE著；于郭山 韩临 何进 李莹 路卫军译2007 年出版352 页ISBN：9787030198778
本书是“实用电子技术丛书”之一，本书共有11章组成。内容分别是System Verilog 介绍，System Verilog 语言确切的涵义和内置数据类型，System Verilog 自定义和计数值类型，System Verilog 排列、结构与合并，System...
陈永，胡晓辉著2017 年出版269 页ISBN：9787113225797
随着我国铁路事业的快速发展，对列车运行控制系统安全性的研究已成为目前铁路运输系统的重要研究问题。形式化方法为设计高可信系统提供了重要途径。本书针对列车运行过程中安全关键因素，如无线通信网络性能、...
谷骁勇著2019 年出版223 页ISBN：9787502295646
本书将在简明概述有限元分析方法的基本理论的基础之上，深入讨论有限元分析方法在杆系结构、弹性力学平面问题、空间问题、轴对称问题、薄板问题、热传导问题、动力学问题、非线性问题中的具体应用，并以ANSYS...
李波主编；史江萍，杨弘平，吕海华等编著2016 年出版336 页ISBN：9787302437994
本书结合Rose工具详细介绍UML中涉及到的各种图例，并配以实例讲解，并对UML 2中新增的几种图进行了介绍和讲解。最后通过几个大的实例将整本书的内容贯穿起来，使读者对所学的知识融会贯通。本书可用于专业开发人...
北京师范大学数学科学学院主编；刘来福，黄海洋，曾文艺编著2014 年出版286 页ISBN：9787303126552
本书是我社畅销书、常销书《数学模型与数学建模》的第4版（据不完全统计，累计发行册数达4万多册），拟删去原书的三分之一，保留三分之二。即正文页码不超过272页=17印张×16页；定价不超过30元；版税制稿费，不超过8%。.....
Pro/ENGINEER Wildfire 3.0中文版参数化建模与实例分析
孙江宏编著2007 年出版411 页ISBN：7302141681
本书主要介绍Pro/ENGINEER Wildfire 3.0的基本操作、兑现操作、轮廓草绘、特征参数化修改，装配以及工程图等。
李伯德，智婕主编；张明军，王媛媛，樊馨蔓副主编2015 年出版212 页ISBN：9787030444868
本书精选了兰州商学院近十年来参加全国大学生数学建模竞赛获得全国奖的具有代表性的16篇优秀论文。每篇论文都按照竞赛论文的写作要求，包含论文的摘要、问题的重述、问题的分析、模型的假设、变量及符号说明...
杨卫平主编2013 年出版237 页ISBN：9787516501566
本指南阐述了基于MSC/NASTRAN软件的飞机结构有限元建模方法，主要内容包括：建模对象的结构特征剖析、有限元网格划分、常用元素特性及对结构模拟能力介绍、边界条件和载荷的施加；机身和机翼结构中壁板、隔框、...
