Lecture Notes in Computer Science 2979 Stateless Core:A Scalable Approach for Quality of Service in
2004 年出版219 页ISBN：3540219609
Lecture Notes in Computer Science 3456 Operational Semantics for Timed Systems A Non-standard Approa
2005 年出版223 页ISBN：3540255761
Lecture Notes in Computer Science 2283 Isabelle/HOL A Proof Assistant for Higher-Order Logic
2002 年出版218 页ISBN：3540433767
Lecture Notes in Computer Science 4221 Advances in Natural Computation Second International Conferen
ICNC 2006 Part I2006 年出版992 页ISBN：3540459014
Lecture Notes in Computer Science 4222 Advances in Natural Computation Second International Conferen
ICNC 2006 Part II2006 年出版998 页ISBN：3540459073
Lecture Notes in Computer Science 4231 Advances in Conceptual Modeling-Theory and Practice ER 2006 W
CoMoGIS COSSOIS 年出版0 页ISBN：SemWAT
Lecture Notes in Computer Science 4621 Algorithms for Sensor and Ad Hoc Networks
2007 年出版415 页ISBN：9783540749905
Lecture Notes in Computer Science 3426 Knowledge and Information Visuakization Searching for Synergi
2005 年出版385 页ISBN：3540269215
Lecture Notes in Computer Science 2962 Semirings for Soft Constraint Solving and Programming
2004 年出版279 页ISBN：3540211810
Lecture Notes in Computer Science 4172:Research and Advanced Technology for Digital Libraries
2006 年出版569 页ISBN：3540446362
