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
COMPUTER NETWORKS:A TUTORIAL FOURTH EDITION
THE INSTITUTE OF ELECTRICAL AND ELECTRONICS ENGINEERS1984 年出版497 页ISBN：
METHODS IN BIOTECHNOLOGYTM 4 NATURAL PRODUCTS ISOLATION
RICHARD J.P.CANNELL1998 年出版473 页ISBN：0896033627
METHODS IN CELL BIOLOGY VOLUME XVIII
GARY STEIN AND JANET STEIN AND LEWIS J.KLEINSMITH1978 年出版462 页ISBN：0125641184
Practical methods for biocatalysis and biotransformations 2
edited by John Whittall2012 年出版360 页ISBN：1119991390
ALAN DENNIS AND BARBARA HALEY WIXOM2000 年出版516 页ISBN：
HOWARD O.TRIEBOLD LEONARD W.AURAND2222 年出版497 页ISBN：
