Lecture Notes in Computer Science 2967 Generic Model Management Concepts and Algorithms

2004 年出版238 页ISBN：3540219803

Lecture Notes in Computer Science 3657 Formal Methods for Components and Objects

2005 年出版325 页ISBN：3540291318

Lecture Notes in Computer Science 4559 Usability and Internationalization HCI and Culture

2007 年出版661 页ISBN：9783540732860

计算机安全——原理与实践=COMPUTER SECURITY:PRINCIPLES AND PRACTICE 第二版 英文版

（美）William Stallings，（澳）Lawrie Brown著2013 年出版811 页ISBN：7121200342

Lecture Notes in Computer Science 3917 Intelligence and Security Informatics International Workshop

WISI 20062006 年出版186 页ISBN：

COMPUTER METHODS FOR ORDINARY DIFFERENTIAL EQUATIONS AND DIFFERENTIAL-ALGEBRAIC EQUATIONS

URI M.ASCHER，LINDA R.PETZOLD著2009 年出版314 页ISBN：

THE COMPUTER AND THE BRAIN：PERSPECTIVES ON HUMAN AND ARTIFICIAL INTELLIGENCE

JEAN R.BRINK C.ROLAND HADEN2222 年出版263 页ISBN：0444880453

Lecture Notes in Computer Science 2920 Wireless Sensor Networks First European Worksop

EWSN 20042004 年出版365 页ISBN：3540208259

Lecture Notes in Computer Science 3083 Component Deployment Second International Working Conference

CD 20042004 年出版247 页ISBN：3540220593

Lecture Notes in Computer Science 3517 Human Interactive Proofs Second International Workshop

HIP 20052005 年出版141 页ISBN：3540260013