Lecture Notes in Computer Science 2968 Real-Time and Embedded Computing Systems and Applications 9th
RTCSA 20032004 年出版620 页ISBN：3540219749
Lecture Notes in Computer Science 2956 Reading and Learning Adaptive Content Recognition
2004 年出版354 页ISBN：3540219048
Proceedings 1990 IEEE Computer Society Symposium on Research in Security and Privacy
1990 年出版401 页ISBN：0818620609
Lecture Notes in Computer Science 4505 Advances in Data and Web Management
2007 年出版896 页ISBN：9783540724834
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
计算机安全——原理与实践=COMPUTER SECURITY:PRINCIPLES AND PRACTICE 第二版 英文版
（美）William Stallings，（澳）Lawrie Brown著2013 年出版811 页ISBN：7121200342
Proceedings of the Seventh Annual IEEE Symposium on Logic in Computer Science
IEEE Computer Society1992 年出版471 页ISBN：
COMPUTER METHODS FOR ORDINARY DIFFERENTIAL EQUATIONS AND DIFFERENTIAL-ALGEBRAIC EQUATIONS
URI M.ASCHER，LINDA R.PETZOLD著2009 年出版314 页ISBN：
