FORMAL DEVELPMENT OF PROGRAMS AND PROOFS
EDSGER W.DUKSTRA2222 年出版242 页ISBN:0201172372
COMMUNITY CISIONING PROGRAMS PROCESSES AND OUTCOMES
NORMAN WALZER AND GISELE F.HAMM2012 年出版203 页ISBN:0415680295
JULTICOMPUTERS AND IMAGE PROCESSING ALGORITHMS AND PROGRAMS
1982 年出版470 页ISBN:0125644809
HANDHELD CALCULATOR PROGRAMS for ROTATING EQUIPMENT DESIGN
1983 年出版454 页ISBN:0070206953
Partitioning and Scheduling Parallel Programs for Multiprocessors
1989 年出版201 页ISBN:0262691302