Lecture Notes in Computer Science 469 Semantics of Systems of Concurrent Processes
1990 年出版456 页ISBN：3540534792
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
1988 IEEE SYMPOSIUM ON THE ENGINEERING OF COMPUTER-BASED MEDICAL SYSTEMS
1988 年出版174 页ISBN：0817648635
计算机安全——原理与实践=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：
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
