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 2283 Isabelle/HOL A Proof Assistant for Higher-Order Logic
2002 年出版218 页ISBN：3540433767
Lecture Notes in Computer Science 3390 Software Engineering for Multi-Agent Systems III Research Iss
2005 年出版289 页ISBN：3540248439
Lecture Notes in Computer Science 3759 Parallel and Distributed Processing and Applications-ISPA 200
2005 年出版669 页ISBN：3540297707
Lecture Notes in Computer Science 3605 Embedded Software and Systems First International Conference
ICESS 2004 Hangzhou2222 年出版0 页ISBN：
Lecture Notes in Computer Science 4158 Autonomic and Trusted Computing Third International Conferenc
ATC 20062006 年出版613 页ISBN：354038619X
Lecture Notes in Computer Science 4064 Detection Of Intrusions and Malware & Vulnerability Assessmen
DIMVA 20062006 年出版195 页ISBN：354036014X
Lecture Notes in Computer Science 3779 Network and Parallel Computing IFIP International Conference
NPC 20052005 年出版513 页ISBN：354029810X
Lecture Notes in Computer Science 3815:Digital Libraties:Implementing Strategies and Sharing Experie
Edward A.Fox2005 年出版0 页ISBN：
