Lecture Notes in Computer Science 3731 Formal Techniques for Networked and Distributed Systems-FORTE
2005 年出版558 页ISBN：354029189X
LINE BY LINE ENGLISH THROUGH GRAMMARSTORIES BOOK ONE
STEVEN J.MOLINSKY1983 年出版212 页ISBN：
汉英外贸科技词汇=Chinese-English Terminologies For Foreign Trade and Science-Technology
石家声主编；冯紫夷审校；陈鸿光，李远敏，邓立编1989 年出版1548 页ISBN：
Lecture Notes in Computer Science 4541 Pervasive Computing for Quality of Life Enhancement 5th Inter
ICOST 20072007 年出版248 页ISBN：9783540730347
Lecture Notes in Computer Science 3112 Key Technologies for Data Management 21st British National Co
BNCOD 212004 年出版264 页ISBN：3540223827
Lecture Notes in Computer Science 3602 Languages and Compilers for High Performance Computing 17th I
LCPC 20042005 年出版486 页ISBN：354028009X
Lecture Notes in Computer Science 4709 Formal Methods for Components and Objects 5th International S
FMCO 2006 Amsterdam2222 年出版0 页ISBN：
Lecture Notes in Computer Science 4111 Formal Methods for Compoents and Objects 4th International Sy
FMCO 2005 Amsterdam2222 年出版0 页ISBN：
Lecture Notes in Computer Science 3436 Embedded Systems Design The ARTIST Roadmap for Research and D
2005 年出版492 页ISBN：3540251073
Lecture Notes in Computer Science 2979 Stateless Core:A Scalable Approach for Quality of Service in
2004 年出版219 页ISBN：3540219609
