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：
MARKETING PRINCIPLES & PERSPECTIVES FOURTH EDITION
WILLIAM O.BEARDEN THOMAS N.INGRAM RAYMOND W.LAFORGE2222 年出版0 页ISBN：
THEORETICAL PRINCIPLES IN ASTROPHYSICS AND RELATIVITY
NORMAN R.LEBOVITZ WILLIAM H.REID PETER O.VANDERVOORT2222 年出版258 页ISBN：0226469891
ROCK MECHANICS AND ENGINEERING VOLUME 1：PRINCIPLES
XIA-TING FENG2017 年出版770 页ISBN：9781138027596
Inorganic chemical nomenclature：principles and practice
B.Peter Block Warren H.Powell W.Conard Fernelius2222 年出版210 页ISBN：0841216975
Lecture Notes in computer science automata
Languages and Programming seventh colloquium Norrdwijkerhout July 14-181980 年出版520 页ISBN：
