Lecture Notes in Computer Science 4627 Approximation
Randomization2222 年出版0 页ISBN：
Lecture Notes in Computer Science 2129 Approximation
Randomization2001 年出版297 页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：
