Verification of Sequential and Concurrent Programs Second Edition
1997 年出版364 页ISBN:0387948961
Foundations of Parallel Programming A Machine-Independent Approach
1993 年出版282 页ISBN:0818656921
INTRODUCTION TO PARALLEL COMPUTING:DESIGN AND ANALYSIS OF ALGORITHMS
1994 年出版599 页ISBN:0805331700
OPTIMAL CONTROL OF AGE-STRUCTURED POPULATIONS IN ECONOMY
DEMOGRAPHY2010 年出版295 页ISBN:
PROCEEDING OF THE 2007 ACMSIGPLAN SYMPOSIUM ON PRICIPLES AND PRACTICE OF PARALLEL PROGRAMMING
2007 年出版274 页ISBN:9781595936028
SCHAUM’S OUTLINE OF THEORY AND PROBLEMS OF PROGRAMMING WITH STRUCTURED BASIC
BYRON S.GOTTFRIED1993 年出版421 页ISBN:
DIRECTORY OF GRADUATE PROGRAMS:1990 & 1991 VOLUME C TWENLFTH EDITION
1989 年出版331 页ISBN:0446390836
DIRECTORY OF GRADUATE PROGRAMS:1990 & 1991 VOLUME B TENLFTH EDITION
1989 年出版336 页ISBN:0446390828