美国IBM公司著;王廷俊,袁保玑译1991 年出版238 页ISBN:7542704753
本书包括编写源程序、把源程序译成可执行文件、装入并执行程序、调试程序、建立目标代码库、转换文件格式等。
Lecture Notes in Computer Science 4010 Unifying Theories of Programming First International Symposiu
UTP 20062006 年出版257 页ISBN:354034750X
THE ROLE OF DATA AT THE SEMANTICS PRAGMATICS INTERFACE
ENIKO NEMETH T.KAROLY BIBOK2010 年出版426 页ISBN:
THE PRACTICE OF BUSINESS STATISTICS:USING DATA FOR DECISIONS
DAVID S.MOORE AND OTHERS2003 年出版1189 页ISBN:
(美)索 哈(Socha,John),(美)希克斯(Hicks,Clint)著;黄 善等译1994 年出版453 页ISBN:7502321551
HANDBOOK OF LOGIC IN ARTIFICIAL INTELLIGENCE AND LOGIC PROGRAMMING Volume 2 Deduction Methodologies
DOV M.GABBAY1994 年出版511 页ISBN: