Lecture Notes in Computer Science 4349 Verification
Model Checking2007 年出版0 页ISBN：
Lecture Notes in Computer Science 3385 Verification
Moel Checking2005 年出版0 页ISBN：
Lecture Notes in Computer Science 2944 Databases
Information Systems2004 年出版0 页ISBN：
LECTURE NOTES IN MATHEMATICS 1377: SINGULARITY THEORY
ROD THEORY1989 年出版177 页ISBN：
Lecture Notes in Computer Science 3367 Databases
Information Systems2005 年出版0 页ISBN：
LECTURE NOTES IN MATHEMATICS 1287: APPROXIMATION THEORY
TAMPA1987 年出版230 页ISBN：3540185003;0387185003
Lecture Notes in Computer Science 2937 Verification
Model Checking2004 年出版0 页ISBN：
Instant Notes in CHEMISTRY FOR BIOLOGISTS
J.Fisher & J.R.P.Arnold1999 年出版246 页ISBN：703007730X
LECTURE NOTES IN MATHEMATICS 1018: GRAPH THEORY
LAGOW 19811983 年出版294 页ISBN：3540126872;0387126872
LECTURE NOTES IN MATHEMATICS 1373: LIE ALGEBRAS
MADISON 19871989 年出版145 页ISBN：3540511474;0387511474
