Lecture Notes in Computer Science 3049 Program Development in Computational Logic A Decade of Resear
2004 年出版539 页ISBN：3540221522
Lecture Notes in Computer Science 3582 FM 2005:Formal Methods International Symposium of Formal Meth
2005 年出版558 页ISBN：3540278826
Lecture Notes in Computer Science 4557 Human Interface and the Management of Information Methods
Techniques and Tools in Information Design Part I2007 年出版1030 页ISBN：9783540733447
Software engineering architecture-driven software development
Richard Schmidt2013 年出版352 页ISBN：0124077683
Lecture Notes in Computer Science 4321 The Adaptive Web Methods and Strategies of Web Personalizatio
2007 年出版762 页ISBN：9783540720782
Lecture Notes in Computer Science 3841 Frontiers of WWW Research and Development-APWeb 2006 8th Asia
2006 年出版1223 页ISBN：3540311424
STATIC AND DYNAMIC ANALYSIS OF STRUCTURES WITH AN EMPHASIS ON MECHANICS AND COMPUTER MATRIX METHODS
JAMES F.DOYLE1991 年出版448 页ISBN：
THE SOFTWARE FACTORY MANAGING SOFTWARE DEVELOPMENT AND MAINTENANCE
JAMES R.JOHNSON2222 年出版224 页ISBN：0894352601
