Modern Systems Analysis and Design （Thire Edition）
Jeffrey A. Hoffer University of Dayton Joey F.George Florida State University Jseph S. Valacich2004 年出版733 页ISBN：7302077940
本书是在作者50年系统分析与设计的教学经验基础上编写而成的，对系统分析与设计的基本概念、技巧、方法、技术、工具以及应用前景等内容进行了详细而清晰的介绍，使读者掌握系统开发的方法和原理。全书分为5大...
Lecture Notes in Computer Science 3233 Software Security-Theories and Systems Second Mext-NSF-JSPS I
ISSS 20032004 年出版345 页ISBN：354023635X
任继周文集 草业系统耦合与生态生产力 System coupling and ecological productivity of grassland farming systems第3卷
任继周著2007 年出版502 页ISBN：9787109124554
本书共收集了任继周院士1986～2000年间有关草业农业的实践与理论两个方面论文50篇。
Database management systems designing and building business applications = 数据库管理系统（英文版·第3版）
Gerald V. Post2006 年出版426 页ISBN：7111178521
本书涵盖了构建数据库前的两个关键主题：数据库设计（规范化）和SQL（查询）。这两个主题跨越所有主要的数据库系统。规范化说明了如何细致设计数据库以获得DBMS手段的能力。SQL是一种标准查询语言，事实上用于应用程序...
面向计算机科学的数理逻辑 系统建模与推理 modelling and reasoning about systems
（德）Michael Huth，（英）Mark Ryan著；何伟，樊磊译2007 年出版277 页ISBN：7111213971
本书对计算机科学方面的数理逻辑进行了综合介绍，涵盖了命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。本书主要讨论有关软件和硬件规范和验证这一主题，反映了计算机科学中数理...
规则的动态演变 成文组织规则的变化 change in written organizational codes
（美）詹姆斯·马奇（James G. March），（美）马丁·舒尔茨（Martin Schulz），周雪光著；童根兴译2005 年出版219 页ISBN：7208054800
本书是关于组织中成文规则的一个讨论，它从斯坦福大学的实证资料研究入手，考察组织成文规则的产生、变化和废除，以及影响这些规则变化和参数。并对成文规则的研究提供了一个量化的分析方法，为组织理论研究开辟了...
BUILDING CODES ILLUSTRATED FIFTH EDITION A GUIDE TO UNDERSTANDING THE 2015 INTERNATIONAL BUILDING CO
FRAMCOS D.L.CHING/STEVEN R.WINKEL2016 年出版434 页ISBN：9781119150923
