Lecture Notes in Computer Science 3455 ZB 2005:Formal Specification and Development in Z and B 4th I
2005 年出版493 页ISBN：3540255591
Proceedings of the Seventh Annual IEEE Symposium on Logic in Computer Science
IEEE Computer Society1992 年出版471 页ISBN：
总统的子女 美国第一家庭的悲剧与辉煌 triumph and tragedy in the lives of America's first families
（美）杜格·韦德（Doug Wead）著；穆玉苹，张欣译2007 年出版392 页ISBN：7509002257
本书罗列了美国总统的全部子女，介绍分析了他们的悲喜人生。该书对于中国父母的子女教育同样具有参考价值。
AN INTRODUCTION TO SPLINES FOR USE IN COMPUTER GRAPHICS AND GEOMETRIC MODELING
RICHARD H.BARTELSBRIA 年出版0 页ISBN：INC.
Lecture Notes in Computer Science 3813 Security and Privacy in Ad-hoc and Sensor Networks Second Eur
ESAS 20052005 年出版219 页ISBN：3540309128
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
