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
QUANTITATIVE APPORACHES IN BUSINESS STUDIES FOURTH EDTITON
CLARE MORRIS1996 年出版480 页ISBN：0273616978
Introductory Electronic Devices and Circuits Fourth Editon
Robert T.Paynter1997 年出版1026 页ISBN：
Lecture Notes in computer science automata
Languages and Programming seventh colloquium Norrdwijkerhout July 14-181980 年出版520 页ISBN：
INTERMEDIATE MICROECONOMICS A MODERN APPROACH FOURTH EITION
HAL R.VARIAN1996 年出版688 页ISBN：0393968421
TERRORISM AN INVESTIGATOR’S HANDBOOK FOURTH EDITON
WILLIAM E.DYSON2012 年出版504 页ISBN：1437734871
