Fundamental Proof Methods in Computer Science A Computer-Based Approach
Konstantine Arkoudas2017 年出版942 页ISBN：0262035538
GREAT IDEAS IN COMPUTER SCIENCE A GENTLE INTRODUCTION
ALAN W.BIERMANN2222 年出版446 页ISBN：0262023024
A SECOND COURSE IN COMPUTER SCIENCE WITH PASCAL
DANIEL D.MCCRACKE1987 年出版419 页ISBN：0471010626
LECTURE NOTES IN MATHEMATICS 662：THE METRIC THEORY OF BANACH MANIFOLDS
A.DOLD AND B.ECKMANN1978 年出版308 页ISBN：3540089152
Lecture Notes in Control and Information Sciences Signal Processing for Control
2222 年出版420 页ISBN：3540165118
Lecture Notes in Artificial Intelligence 3932 Advances in Web Mining and Web Usage Analysis 6th Inte
WebKDD 20042006 年出版187 页ISBN：3540471278
Lecture Notes in Control and Infrmation Sciences 143 System Modelling and Optimization
1990 年出版960 页ISBN：3540526595
Lecture Notes in Artificial Intelligence 3944 Machine Learning Challenges Evaluating Predictive Unce
2006 年出版462 页ISBN：3540334270
