FORMAL DEVELPMENT OF PROGRAMS AND PROOFS
EDSGER W.DUKSTRA2222 年出版242 页ISBN：0201172372
Optimization: algorithms and applications
Rajesh Kumar Arora2015 年出版450 页ISBN：1498721127
COMMUNITY CISIONING PROGRAMS PROCESSES AND OUTCOMES
NORMAN WALZER AND GISELE F.HAMM2012 年出版203 页ISBN：0415680295
Partitioning and Scheduling Parallel Programs for Multiprocessors
1989 年出版201 页ISBN：0262691302
STRUCTURED ENRICHMET PROGRAMS FOR COUPLES AND FAMILIES
1987 年出版502 页ISBN：0876304072
COMPUTER PROGRAMS FOR ELECTRONIC ANALYSIS AND DESIGN
2222 年出版261 页ISBN：0835908747
