Lecture Notes in Computer Science 4703 CONCUR 2007-Concurrency Theory 18th International Conference，
2007 年出版507 页ISBN：9783540744061
Lecture Notes in Computer Science 3147 Integration of Software Specification Techniques for Applicat
2004 年出版628 页ISBN：3540231358
Lecture Notes in Computer Science 92 Robin Milner A Calculus of Communicating Systems
1980 年出版171 页ISBN：3540102353
Lecture Notes in Computer Science 3653 CONCUR 2005-Concurrency Theory 16th International Conference，
2005 年出版578 页ISBN：3540283099
Lecture Notes in Computer Science 51 Matrix Eigensystem Routines-EISPACK Guide Extension
1977 年出版342 页ISBN：3540082549
Lecture Notes in Artificial Intelligence 4120 Artificial Intelligence and Symbolic Computation 8th I
AISC 20062006 年出版269 页ISBN：3540397280
Lecture Notes in Artificial Intelligence 3949 Artificial Intelligence and Neural Networks 14th Turki
TAINN 20052006 年出版227 页ISBN：3540367136
Lecture Notes in Artificial Intelligence 3249 Artificial Intelligence and Symbolic Computation 7th I
AISC 20042004 年出版285 页ISBN：3540232125
Lecture Notes in Computer Science 4219 Recent Advances in Intrusion Detection 9th International Symp
RAID 20062006 年出版331 页ISBN：354039723X
