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
SIGNAL PROCESSING II: THEORIES AND APPLICATIONS PROCEEDINGS OF EUSIPCO-83 SECOND EUROPEAN SIGNAL PRO
W.-GERMANY SEPTEMBER 12-161983 年出版857 页ISBN：
Proceedings of the 2nd World Congress on Integrated Computational Materials Engineering (ICME) held
Mei Li ; Katsuyo Thornton2013 年出版0 页ISBN：
PROCEEDINGS OF THE FOURTH INTERNATIONAL SYMPOSIUM ON EDUCATION MANAGEMENT AND KNOWLEDGE INNOVATION E
JOSEPH KAM HUNG AND FAN RUYONG AND ZHAO HUANCHUN2011 年出版1197 页ISBN：0646559971
PROCEEDINGS OF:THE NINETEENTH ANNUAL MEETING THE AMERICAN SOCIETY FOR PRECISION ENGINEERING OCTOBER
2004 WYNDHAM PALACE RESORT & SPA AT WALT DISNEY WORLD ORLANDO2004 年出版746 页ISBN：
Lecture Notes in computer science automata
Languages and Programming seventh colloquium Norrdwijkerhout July 14-181980 年出版520 页ISBN：
