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：
COMPUTERS IN YOUR FUTURE 4 FOURTH EDITION
BRYAN PFAFFENBERGER2002 年出版650 页ISBN：
Computational systems bioinformatics : CSB2007 Conference proceedings
volume 62007 年出版454 页ISBN：1860948723
CURRENT TOPICS IN COMPUTATIONAL MOLECULAR BIOLOGY
TAO JIANG YING XU MICHAEL Q.ZHANG2222 年出版0 页ISBN：
