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
COMPUTER METHODS FOR ORDINARY DIFFERENTIAL EQUATIONS AND DIFFERENTIAL-ALGEBRAIC EQUATIONS
URI M.ASCHER，LINDA R.PETZOLD著2009 年出版314 页ISBN：
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
Lecture Notes in Computer Science 3562 Artificial Intelligence and Knowledge Engineering Application
IWINAC 20052005 年出版636 页ISBN：3540263195
Lecture Notes in Computer Science 4808 Embedded and Ubiquitous Computing International Conference
EUC 20072007 年出版769 页ISBN：9783540770916
