Lecture Notes in Computer Science 23 Programming Methodology 4th Informatik Symposium
IBM Germany1975 年出版501 页ISBN：3540071318
Lecture Notes in Computer Science 130 Axiomatising the Logic of Computer Programming
1982 年出版304 页ISBN：3540112103
Lecture Notes in Computer science 3566 Unconventional Programming Paradigms International Workshop U
2005 年出版367 页ISBN：3540278842
Using computers : a gateway to information and programming in Qbasic
gary b.shelly and thomas j.cashman and gloria a.waggoner and william c.waggoner1995 年出版656 页ISBN：0789503093
Lecture Notes in Aetificial Intelligence 3392 Applications of Declarative Programming and Knowledge
INAP 20042005 年出版309 页ISBN：3540255605
Monographs and Surveys In Pure and Applied Mathematics 110 Iterative Dynamic Programming
Rein Luus2000 年出版324 页ISBN：
Programmers and Managers The Routinization of Computer Programming in the United States
1977 年出版116 页ISBN：0287902481
YURII NESTEROV AND ARKADII NEMIROVSKII INTERIOR POINT POLYNOMIAL ALGORITHMS IN CONVEX PROGRAMMING
SIAM1993 年出版405 页ISBN：0898715156
Lecture Notes in Computer Science 3774 Database Programming Languages 10th International Symposium
DBPL 20052005 年出版295 页ISBN：3540309519
