Lecture Notes in Computer Science 2988 Tools and Algorithms for the Construction and Analysis of Sys
TACAS 20042004 年出版608 页ISBN：354021299X
Lecture Notes in Computer Science 3113 Theory Is Forever Essays Dedicated to Arto Salomaa on The Occ
2004 年出版283 页ISBN：3540223932
Lecture Notes in Computer Science 183 The Munich Project CIP Volume I:The Wide Spectrum Language CIP
1985 年出版275 页ISBN：3540151877
Lecture Notes in Computer Science 3185 Formal Methods for the Design of Real-Time Systems Internatio
Communication and Systems2004 年出版295 页ISBN：
Lecture Notes in Artificial Intelligence 4118 Agents and Peer-to-Peer Computing 4th International Wo
AP2PC 20052006 年出版172 页ISBN：9783540490258
Combinatiorial Image Analysis 11th International Workshop
IWCIA 2006 Berlin2222 年出版0 页ISBN：
Lecture Notes in Computer Science 755 Formal Program Development IFIP TC2/WG 2.1 State-of-the-Art Re
1993 年出版372 页ISBN：3540574999
Lecture Notes in Artificial Intelligence 2922 Advances in Agent Communication Intenational Workshop
ACL 20032004 年出版403 页ISBN：3540207694
Automated Deduction in Geometry 4th International Workshop
ADG 20022004 年出版234 页ISBN：3540209271
