Lecture Notes in Computer Science 2988 Tools and Algorithms for the Construction and Analysis of Sys
TACAS 20042004 年出版608 页ISBN:354021299X
Lecture Notes in Computer Science 95 Coroutines A Programming Methodology
a Language Design and an Implementation1980 年出版246 页ISBN:3540102566
THE LEGAL PROCESS:BASIC PROBLEMS IN THE MAKING AND APPLICATION OF LAW
HENRY M.HART AND ALBERT M.SACKS1994 年出版1387 页ISBN:1566622360
APPLICATIONS PROGRAMMING IN VISUAL BASIC 5 SECOND EDITION
1998 年出版688 页ISBN:1576760065
PROGRAMMING ABSTRACTIONS IN C A SECOND COURSE IN COMPUTER SCIENCE
[美]ERIC S.ROBERTS著2004 年出版819 页ISBN:
BASIC ANATOMY AND PHYSIOLOGY OF THE HUMAN BODY SECOND EDITION
1980 年出版762 页ISBN:0471038768