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：
Computer models in the social sciences
[by] R. B. Coats and A. Parkin.1977 年出版184 页ISBN：
Lecture Notes in Computer Science 3367 Databases
Information Systems2005 年出版0 页ISBN：
WORKING WORDS IN SPELLING LEVEL F
G.WILLARD WOODRUFF AND GEORGE N.MOORE2222 年出版136 页ISBN：
RECENT ADVANCES IN BIOLOGICAL PSYCHIATRY VOLUME 9
JOSEPH WORTIS2222 年出版377 页ISBN：
LECTURE NOTES IN MATHEMATICS 1287: APPROXIMATION THEORY
TAMPA1987 年出版230 页ISBN：3540185003;0387185003
Lecture Notes in Computer Science 2937 Verification
Model Checking2004 年出版0 页ISBN：
