Lecture Notes in Computer Science 2129 Approximation
Randomization2001 年出版297 页ISBN:
Lecture Notes in Computer Science 3602 Languages and Compilers for High Performance Computing 17th I
LCPC 20042005 年出版486 页ISBN:354028009X
Lecture Notes in Computer Science 4709 Formal Methods for Components and Objects 5th International S
FMCO 2006 Amsterdam2222 年出版0 页ISBN:
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 1943 Computer Safety
Reliability and Security 19th International Conference2000 年出版432 页ISBN:
Lecture Notes in Computer Science 2187 Computer Safety
Reliability and Security 20th International Conference2001 年出版249 页ISBN:
Lecture Notes in Computer Science 4125 Databases
Information Systems2007 年出版0 页ISBN:
Lecture Notes in Computer Science 4349 Verification
Model Checking2007 年出版0 页ISBN:
Lecture Notes in Computer Science 3385 Verification
Moel Checking2005 年出版0 页ISBN: