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：
苏格拉底之道 最充分地运用你的智慧的7把万能钥匙 seven master keys to using your mind to the utmost
（美）罗纳德·格罗斯（Ronald Gross）著；徐弢，李思凡译2005 年出版255 页ISBN：7301094795
本书着重于介绍西方古代教育思想对于现代教育的启示。从多个方面阐述了苏格拉底的教育思想。
Lecture Notes in computer science automata
Languages and Programming seventh colloquium Norrdwijkerhout July 14-181980 年出版520 页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
INDUSTRIAL APPLICATION OF ELECTROMAGNETIC COMPUTER CODES
YVES R.CRUTZEN GIORGIO MOLINARI AND GUGLIELMO RUBINACCI1990 年出版263 页ISBN：0792309987
