LECTURE NOTES IN MATHEMATICS 214 ERGODIC THEORY
ENTROPY2222 年出版64 页ISBN：3540055568
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：
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：
