HANDBOOK OF LOGIC IN ARTIFICIAL INTELLIGENCE AND LOGIC PROGRAMMING Volume 2 Deduction Methodologies
DOV M.GABBAY1994 年出版511 页ISBN：
EXTREME PROGRAMMING EXPLAINED：EMBRACE CHANGE
[美]贝克著2003 年出版190 页ISBN：7508313143
本书被奉为“极限编程的圣经”，它是极限编程的创始人Kent Beck呕心沥血之作，并获得当年的Jolt大奖。本书共分三部分，第1部分是问题提出部分，包括前9章，为读者提出了一个关于极限编程的大体概念。第2部分是方案提...
FUNDAMENTALS OF STRUCTURED PROGRAMMING USING FORTRAN WITH SF/K AND WATFIV-S
R.C.HOLT AND J.N.P.HUME1977 年出版349 页ISBN：0879093021
Java技术手册（影印版）=java in a nutsheel
Benjamin J.Euans，David Flanagan著2015 年出版402 页ISBN：7564159184
CONFERENCE RECORD OF THE TENTH ANNUAL ACM SYMPOSIUM ON PRINCIPLES OF PROGRAMMING LANGUAGES
2222 年出版312 页ISBN：0897910907
INTRODUCTION TO NETWORK SECURITY THEORY AND PRACTICE=网络安全导论理论与实践（英文版）
JIE WANG2015 年出版417 页ISBN：7040421941
网络安全的理论与实践主要有两个大的方面。一是以计算机密码学为根基而建立起来的各种网络安全协议、相应的工业化标准及其软件的开发和芯片的研制，以算法设计为主导；二是为弥补系统和软件漏洞而发展出来的方...
Lecture Notes in Artificial Intelligence 3662 Lofic Programming and Nonmontonic Reasoning 8th Intern
LPNMR 20052005 年出版454 页ISBN：3540285385
Lecture Notes in Aetificial Intelligence 4483 Logic Programming and Nonmonotonic Reasoning 9th Inter
LPNMR 20072007 年出版327 页ISBN：9783540721994
