Lecture Notes in Computer Science 4111 Formal Methods for Compoents and Objects 4th International Sy
FMCO 2005 Amsterdam2222 年出版0 页ISBN:
Lecture Notes in Computer Science 2908 Information Security Applications 4th International Workshop
WISA 20032004 年出版506 页ISBN:3540208275
Lecture Notes in Computer Science 3786 Information Security Applications 6th International Workshop
WISA 20052006 年出版378 页ISBN:3540310126
Lecture Notes in Computer Science 3325 Information Security Applications 5th International Workshop
WISA 20042005 年出版472 页ISBN:3540240152
Lecture Notes in Computer Science 4298 Information Security Applications 7th International Workshop
WISA 20062007 年出版406 页ISBN:9783540710929
Lecture Notes in Computer Science 4636 Reasoning Web Third International Summer School 2007
2007 年出版343 页ISBN:9783540746133
Lecture Notes in Computer Science 3436 Embedded Systems Design The ARTIST Roadmap for Research and D
2005 年出版492 页ISBN:3540251073
Lecture Notes in Computer Science 4600 Rewriting Computation and Proof Essays Dedicated to Jean-Pier
2007 年出版273 页ISBN:9783540731467