Lecture Notes in Computer Science 3085 Types for Proofs and Programs International Workshop
TYPES 2003 Torino2222 年出版0 页ISBN：
Software engineering a practitioner's approach = 软件工程 实践者的研究方法 （英文精编版·第8版）
Roger S. Pressman2016 年出版580 页ISBN：7111499312
Lecture Notes in Computer Science 4646 Computer Science Logic 21st International Workshop
CSL 2007 16th Annual Conference of the EACSL2007 年出版600 页ISBN：9783540749141
BASIC ELECTRICAL ENGINEERING FOURTH EDITION
A.E.FITZGERALD DAVID E.HIGGINBOTHAM ARVIN GRABEL1975 年出版818 页ISBN：0070211523
METRICS AND MODELS IN SOFTWARE QUALITY ENGINEERING
STEPHEN H.KAN2004 年出版528 页ISBN：730208839X
本书主要介绍了软件质量过程的度量与模型，内容包括质量规划、过程提高与质量控制、过程中（in-process）质量管理、产品工程（设计与代码复杂性）、可靠性评估与预测，以及用户满意度数据分析等。本书不仅阐述了有关软...
NEW DIRECTIONS NEURAL NETWORKS 18TH TIALIAN WORKSHOP ON NEURAL NETWORKS: WIRN 2008
2009 年出版265 页ISBN：9781586039844
Lecture Notes in Computer Science 3278 Utility Computing 15th IFIP/IEEE International Workshop
2004 年出版270 页ISBN：3540236317
Lecture Notes in Computer Science 3839 Types for Proofs and Programs International Workshop
TYPES 2004 Jouy-en-Josas2222 年出版0 页ISBN：
Lecture Notes in Computer Science 2242 Grid Computing-GRID 2001 Second International Workshop
2001 年出版185 页ISBN：3540429492
