Lecture Notes in Computer Science 3839 Types for Proofs and Programs International Workshop
TYPES 2004 Jouy-en-Josas2222 年出版0 页ISBN：
Lecture Notes in Computer Science 4572 Security and Privacy in Ad-hoc and Sensor Networks 4th Europe
ESAS 20072007 年出版247 页ISBN：9783540732747
Lecture Notes in Computer Science 3098 Lectures on Concurrency and Petri Nets Advances in Petri Nets
2004 年出版849 页ISBN：3540222618
Lecture Notes in Computer Science 1561 Lectures on Data Security Modern Cryptology in Theory and Pra
1999 年出版250 页ISBN：3540657576
LECTURE NOTES IN PHYSICS 68 ENERGY METHODS IN TIME-VARYING SYSTEM STABILITY AND INSTABILITY ANALYSES
1977 年出版256 页ISBN：3540084304
Lecture Notes in Computer Science 3796 Cryptography and Coding 10th IMA International Conference
2005 年出版460 页ISBN：354030276X
LECTURE NOTES IN MATHEMATICS 927: THE TRACE FORMULA AND BASE CHANGE FOR GL(3)
1982 年出版204 页ISBN：3540115005;0387115005
Lecture Notes in Computer Science 3350 Practical Aspects Of Declarative Languages 7th International
PADL 20052005 年出版269 页ISBN：3540243623
