Proceedings of the Seventh Annual IEEE Symposium on Logic in Computer Science
IEEE Computer Society1992 年出版471 页ISBN：
Lecture Notes in Computer Science 3813 Security and Privacy in Ad-hoc and Sensor Networks Second Eur
ESAS 20052005 年出版219 页ISBN：3540309128
AN INTRODUCTION TO SPLINES FOR USE IN COMPUTER GRAPHICS AND GEOMETRIC MODELING
RICHARD H.BARTELSBRIA 年出版0 页ISBN：INC.
Lecture Notes in Computer Science 4137 CONCUR 2006-Concurrency Theory 17th International Conference，
2006 年出版523 页ISBN：3540373764
Lecture Notes in Computer Science 3205 UbiComp 2004:Ubiquitous Computing 6th International Conferenc
2004 年出版452 页ISBN：3540229558
Lecture Notes in Computer Science 4621 Algorithms for Sensor and Ad Hoc Networks
2007 年出版415 页ISBN：9783540749905
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 3653 CONCUR 2005-Concurrency Theory 16th International Conference，
2005 年出版578 页ISBN：3540283099
