Lecture Notes in Computer Science 2937 Verification
Model Checking2004 年出版0 页ISBN：
COMPUTERS IN YOUR FUTURE 4 FOURTH EDITION
BRYAN PFAFFENBERGER2002 年出版650 页ISBN：
COMPUTER ARITHMETIC IN THEORY AND PRACTICE
ULRICH W.KULISCH WILLARD I.MIRANKER2222 年出版249 页ISBN：012428650X
Lecture Notes in Computer Science 2943 DNA Computing 9th International Workshop on DNA-Based Compute
DNA92004 年出版225 页ISBN：3540209301
Lecture Notes in Computer Science 2340 DNA Computing 7th International Workshop on DNA-Based Compute
DNA72002 年出版392 页ISBN：3540437754
Lecture Notes in Computer Science 3205 UbiComp 2004:Ubiquitous Computing 6th International Conferenc
2004 年出版452 页ISBN：3540229558
Lecture Notes in Computer Science 3425 Engineering Human Computer Interaction and Interactive System
2005 年出版400 页ISBN：3540260978
FINITE ELEMENTS IN COMPUTATIONAL MECHANICS VOLUME 1
TARUN KANT2222 年出版559 页ISBN：0080316824
COMPUTATIONAL METHODS IN MULTIPHASE FLOW VI
A.A.MAMMOLI AND C.A.BREBBIA2011 年出版321 页ISBN：1845645182
COMPUTERS：APPLICATIONS IN INDUSTRY AND MANAGEMENT
CONSTANTINE L.GOUDAS AND CIRISH C.PADE2222 年出版450 页ISBN：0444860533
