Lecture Notes in Computer Science 3385 Verification
Moel Checking2005 年出版0 页ISBN：
Lecture Notes in Computer Science 2944 Databases
Information Systems2004 年出版0 页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：
PRINCETON PROBLEMS IN PHYSICS WITH SOLUTIONS
NATHAN NEWBURY，MICHAEL NEWMAN，JOHN RUHL等2222 年出版319 页ISBN：0691024499
WORKING WORDS IN SPELLING LEVEL F
G.WILLARD WOODRUFF AND GEORGE N.MOORE2222 年出版136 页ISBN：
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
ROUND THE WORLD IN EIGHTY DAYS
儒勒·凡尔纳原著 [英]D.K.斯旺改写 赵圣骅译1997 年出版95 页ISBN：7532719499
