Lecture Notes in Computer Science 2324 Computer Performance Evaluation Modelling Techniques and Tool
TOOLS 20022002 年出版349 页ISBN：3540435395
Lecture Notes in Computer Science 3314 Computational and Information Science First International Sym
CIS 20042004 年出版1259 页ISBN：3540241272
Lecture Notes in Computer Science 4423 Foundations of Software Science and Computational Structures
FOSSACS 20072007 年出版379 页ISBN：9783540713883
INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE 2
ALAIN RAPPAPORT1991 年出版310 页ISBN：
DEDUCTION SYSTEMS IN ARTIFICIAL INTELLIGENCE
KARL HANS BLASIUS AND HANS-JURGEN BURCKERT1989 年出版238 页ISBN：
Computation and Reasoning A Type Theory for Computer Science
1994 年出版228 页ISBN：0198538359
ENCYCLOPEDIA OF COMPUTER SCIENCE AND TECHNOLOGY VOLUME 5 CLASSICAL OPTIMIZATION TO COMPUTER OUTPUT
JACK BELZER ALBERT G.HOLZMAN ALLEN KENT2222 年出版506 页ISBN：0824722558
