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：
TEMA3 TEST OF EARLY MATHEMATICS ABILITY THIRD EDITION ASSESSMENT PROBES AND INSTRUCTIONAL ACTIVITIES
HERBERT P.GINSBURG2003 年出版75 页ISBN：
Lecture Notes in computer science automata
Languages and Programming seventh colloquium Norrdwijkerhout July 14-181980 年出版520 页ISBN：
GUIDE TO THE TITERATURE OF MATHEMATICS AND PHYSICS INCLUDING RELATED WORKS ON ENGINEERING SCIENCE
NATHAN GRIER PARKE III1958 年出版436 页ISBN：
Lecture Notes in Computer Science 52 Automata
Languages and Programming1977 年出版568 页ISBN：3540083421
Lecture Notes in Computer Science 71 Automata
Languages and Programming1979 年出版684 页ISBN：3540095101
