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
FINITE ELEMENTS IN COMPUTATIONAL MECHANICS VOLUME 1
TARUN KANT2222 年出版559 页ISBN：0080316824
COMPUTATIONAL MODELLING OF CONCRETE STRUCTURES VOLUME 1
NENAD BICANIC2014 年出版589 页ISBN：9781138001459
COMPUTATIONAL METHODS IN MULTIPHASE FLOW VI
A.A.MAMMOLI AND C.A.BREBBIA2011 年出版321 页ISBN：1845645182
Lecture Notes in computer science automata
Languages and Programming seventh colloquium Norrdwijkerhout July 14-181980 年出版520 页ISBN：
