THE NORTON ANTHOLOGY OF AMERICAN LITERATURE C
RONALD GOTTESMAN1979 年出版1212 页ISBN：
COMPUTER PROGRAMMING AND FORMAL SYSTEMS
P. BRAFFORT AND D. HIRSCHBERG1963 年出版161 页ISBN：
PROBLEM SOLVING and COMPUTER PROGRAMMING
Peter Grogono Sharon H. Nelson2222 年出版284 页ISBN：
constraint networks techniques and algorithms
christophe lecoutre series editor narendra jussien2009 年出版586 页ISBN：1848211066
LINEAR PROGRAMMING AND NETWORK FLOWS
MOKHTAR S.BAZARAA JOHN J.JARVIS2222 年出版0 页ISBN：
CHROMATOGRAPHIC AND ELECTROPHORETIC TECHNIQUES VOLUME Ⅱ
IVOR SMITH1960 年出版215 页ISBN：
PREDICATE CALCULUS AND PROGRAM SEMANTICS
EDSGER W.DIJKSTRA，CAREL S.SCHOLTEN1990 年出版220 页ISBN：7506210444
