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：
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
Lecture Notes in Computer Science 4454 Tests and Proofs First International Conference
TAP 20072007 年出版217 页ISBN：9783540737698
Lecture Notes in Computer Science 4096 Embedded and Ubiquitous Computing International Conference
EUC 20062006 年出版1170 页ISBN：3540366792
Lecture Notes in Computer Science 3985 Reconfigurable Computing:Architectures and Applications Secon
ARC 20062006 年出版469 页ISBN：354036708X
