马小军，张玉祥编著2017 年出版231 页ISBN：9787302474111
本书第2版选择学生广为熟知的案例为导引，系统地介绍软件工程的基本概念、软件生命周期、需求的获取及可行性研究的内容，特别是结构化方法、面向对象技术与UM建模等主流开发方法的基本原理、特点、一般工具及...
于振洲，金光豪编著2012 年出版263 页ISBN：9787112137473
本书详细论述了地下车库无梁楼盖常用的经验系数法和等代框架法的力学概念、计算要点和配筋构造，还给出了无梁楼盖顶板的荷载取值。附录提供了两种方法非人防区和人防区的计算书以及某住宅小区地下车库结构设...
本书编委会编著2013 年出版215 页ISBN：9787112153251
本教材在编写过程中按照国家最新标准《建筑结构荷载规范》（GB 50009-2012）、《混凝土结构设计规范》（GB 50010-2010）、《建筑抗震设计规范》（GB 50011-2010）、《建筑地基基础设计规范》（GB 50007-2011）为依据，内容包...
孙海林主编2009 年出版263 页ISBN：9787112105328
本书为结构工程师入门指导书，主要分为三篇，准备篇、计算篇和施工图绘制篇。准备篇主要讲解如何看建筑施工图、AutoCAD应用和Excel、TSSD、理正等辅助软件等。计算篇主要介绍结构计算分析过程、讲解PMCAD建模...
李星荣，秦斌编著2019 年出版561 页ISBN：9787112234097
本手册（第四版）是在第二版的基础上，根据最新颁布的有关钢结构设计标准、规程等，结合近年来国内外钢结构工程的实践，对原手册内容作了很多增、删、插、换、改的工作。内容更加丰富，使用更为方便。全书包括：平面......
高建岭，张燕坤，宋小软等主编2013 年出版285 页ISBN：9787030385543
《混凝土结构设计原理》是土木工程专业必修的专业基础课，是一门实践性很强，并与现行规范、规程等有关的专业基础课。本书作为该课程的教材，根据2011年新修订的《混凝土结构设计规范》GB50010～2010编写。内容有...
软件配置管理策略与IBM Rational ClearCase 第2版
（美）David E.Bellagio，Tom J.Milligan著；王海鹏译2006 年出版355 页ISBN：7115148295
本书讨论了软件配置管理的工程规程，以及如何借助SCM工具实现对SCM的最佳实践。
李莹，吴江琴著2010 年出版200 页ISBN：9787308066679
本书第一部分介绍了Z语言的背景知识，包括集合论和一阶谓词演算等概念及其形式化表达方法；第二部分介绍了Z语言构成及其规格说明的结构化，引入求精理论；第三部分介绍了Martin-Lof类型理论，及其规则定义和推导演算...
卜良桃，周靖，叶蓁编著2008 年出版179 页ISBN：7112097452
本书系主要根据《混凝土结构加固设计规范》GB 50367-2006编写的算例，全书分为9章，分别介绍了增大截面加固法、置换混凝土加固法、外加预应力加固法、外粘型钢加固法、粘贴纤维复合材料加固法、粘贴钢板加固法...
