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：
Lecture Notes in Computer Science 2937 Verification
Model Checking2004 年出版0 页ISBN：
COMPUTER SYSTEMS A PROGRAMMER'S PERSPECTIVE
[美]RANDAL E.BRYANT DAVID R.OHALLARON著2006 年出版978 页ISBN：
COMPUTER ARITHMETIC IN THEORY AND PRACTICE
ULRICH W.KULISCH WILLARD I.MIRANKER2222 年出版249 页ISBN：012428650X
Lecture Notes in computer science automata
Languages and Programming seventh colloquium Norrdwijkerhout July 14-181980 年出版520 页ISBN：
Lecture Notes in Computer Science 52 Automata
Languages and Programming1977 年出版568 页ISBN：3540083421
