Lecture Notes in Computer Science 722 Design and Implementation of Symbolic Computation Systems Inte
DISCO93 Gmunden2222 年出版0 页ISBN:
Lecture Notes in Computer Science 3188 Formal Methods for Components and Objects Second Internationa
FMCO 2003 Leiden2222 年出版0 页ISBN:
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 3098 Lectures on Concurrency and Petri Nets Advances in Petri Nets
2004 年出版849 页ISBN:3540222618
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 1561 Lectures on Data Security Modern Cryptology in Theory and Pra
1999 年出版250 页ISBN:3540657576
Lecture Notes in Computer Science 3196 User-Centered Interaction Paradigms for Universal Access in t
2004 年出版485 页ISBN:354023375X