Lecture Notes in Computer Science 3242 Parllel Problem Solving from Nature-PPSN VIII 8th Internation
2004 年出版1185 页ISBN:3540230920
Lecture Notes in Computer Science 4193 Parallel Problem Solving from Nature-PPSN IX 9th Internationa
2006 年出版1061 页ISBN:3540389903
Lecture Notes in Computer Science 2635 From Object-Orientation to Formal Methods Essays in Memory of
2004 年出版389 页ISBN:354021366X
REASONING FROM EVIDENCE INDUCTIVE LOGIC
WILLIAM GUSTASON1994 年出版318 页ISBN:0023485337
Computer architecture and logic design
Bartee Thomas C1991 年出版628 页ISBN:0070039097
COMPUTERS from logic to architecture
R.D.DOWSING and F.W.D.WOODHAMS1990 年出版290 页ISBN: