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 3914 Software Engineering for Multi-Agent Systems IV Research Issu
2006 年出版253 页ISBN：3540335803
Lecture Notes in Computer Science 2287 Advances in Database Technology-EDBT 2002 8th International C
2002 年出版776 页ISBN：3540433244
Lecture Notes in Computer Science 2917 Model-Checking Based Data Retrieval An Application To Semistr
2004 年出版134 页ISBN：3540209719
Lecture Notes in Computer Science 3456 Operational Semantics for Timed Systems A Non-standard Approa
2005 年出版223 页ISBN：3540255761
Lecture Notes in Computer Science 2940 Software Engineering for Multi-Agent Systems II Research Issu
2004 年出版278 页ISBN：3540211829
Lecture Notes in Computer Science 3551 Data Management in a Connected World Essats Dedicated to Hart
2005 年出版371 页ISBN：3540262954
Lecture Notes in Computer Science 4294 Service-Oriented Computing-ICSOC 2006 4th International Confe
2006 年出版656 页ISBN：9783540681472
Lecture Notes in Computer Science 773 Advances in Cryptology-CRYPTO'93 13th Annual International Cry
1994 年出版492 页ISBN：3540577661
Lecture Notes in Computer Science 2283 Isabelle/HOL A Proof Assistant for Higher-Order Logic
2002 年出版218 页ISBN：3540433767
