Computation and Reasoning A Type Theory for Computer Science
1994 年出版228 页ISBN：0198538359
Handbook of Logic and Proof Techniques for Computer Science
2002 年出版245 页ISBN：081764220X
Lecture Notes in Physics:Novel NMR and EPR Techniques
2006 年出版441 页ISBN：354032626X
Lecture Notes in Artificial Intelligence 3899 VOCUS:A Visual Arttention System for Object Detection
2006 年出版216 页ISBN：3540327592
NUCLEUS ENGLISH FOR SCIENCE AND TECHNOLOGY BIOLOGY TEACHER'S NOTES
1977 年出版72 页ISBN：0582553547
Lecture Notes in Control and Information Sciences 353 Advances in Control Theory and Applications
2007 年出版305 页ISBN：9783540707004
Lecture Notes in Artificial Intelligence 4200 Intelligent Computing in Engineering and Architecture
2006 年出版692 页ISBN：3540462465
NUCLEUS ENGLISH FOR SCIENCE AND TECHNOLOGY MEDICINE TEACHER'S NOTES
TONY OBRIEN1980 年出版78 页ISBN：0582552850
LECTURE NOTES IN MATHEMATICS 1131: GEOMETRY AND NONLINEAR ANALYSIS IN BANACH SPACES
1985 年出版123 页ISBN：3540152377;0387152377
LECTURE NOTES IN CONTROL AND INFORMATION SCIENCES 461: COMPUTATIONAL MECHANICS
1975 年出版328 页ISBN：3540071695;0387071695
