PROLOG PROGRAMMING:A TUTORIAL INTRODUCTION
CARLTON MCDONALD MASOUD YAZDANI2222 年出版210 页ISBN：0632012463
ENVIRONMENT-INDUCED CRACKING OF MATERIALS VOLUME 2:PREDICTION
INDUSTRIAL DEVELOPMENTS AND EVALUATION2008 年出版0 页ISBN：
谢国强等编译1991 年出版232 页ISBN：7810122800
本书内容包括∶系统的自举、系统的备份及恢复、开发环境的设置、外设的使用、核心的重新配置、网络的概念及网络文件系统等。
（美）（S.R.戴维斯）Stephen R.Davis著；希望图书创作室译1999 年出版702 页ISBN：7980021460
COMPUTER PROGRAMMING AND FORMAL SYSTEMS
P. BRAFFORT AND D. HIRSCHBERG1963 年出版161 页ISBN：
PROBLEM SOLVING and COMPUTER PROGRAMMING
Peter Grogono Sharon H. Nelson2222 年出版284 页ISBN：
