Lecture Notes in Computer Science 244 Advanced Programming Environments
1986 年出版604 页ISBN：3540171894
Lecture Notes in Artificial Intelligence 3835 Logic for Programming
Artificial Intellignce2005 年出版0 页ISBN：
Lecture Notes in Artificial Intelligence 3452 Logic for Programming
Artificial Intelligence2005 年出版0 页ISBN：
Lecture Notes in Artificial Intelligence 4246 Logic for Programming
Artificial Intelligence2006 年出版0 页ISBN：
Lecture Notes in Artificial Intelligence 4790 Logic for Programming
Artificial Intelligence2007 年出版0 页ISBN：
ANNALS OF DISCRETE MATHEMATICS 1 STUDIES IN INTEGER PROGRAMMING
G.L.NEMHAUSER1977 年出版0 页ISBN：
A BOOK C：PROGRAMMING IN C (FOURTH EDITION)
[美]Al Kelley Ira Pohi著2005 年出版726 页ISBN：7111134141
本书是一本全面论述C语言的权威著作。
CURRENT TRENDS IN PROGRAMMING METHODOLOGY Software Modling Vol.3
RAYMOND T.YEH K.MANI CHANDY2222 年出版0 页ISBN：
