Computation and Reasoning A Type Theory for Computer Science
1994 年出版228 页ISBN：0198538359
LECTURE NOTES IN MICROECONOMIC THEORY THE ECONOMIC AGENT SECOND EDITION
ARIEL RUBINSTEIN2012 年出版152 页ISBN：0691154139
NOTES AND REPORTS IN MATHEMATICS IN SCIENCE AND ENGINEERING VOLUME 5 NONLINEAR PROBLEMS IN ABSTRACT
1988 年出版275 页ISBN：012293475X
THE NATURE OF COMPUTATION:AN INTRODUCTION TO COMPUTER SCIENCE
IRA POHL1981 年出版397 页ISBN：
Lecture Notes in Control and information Sciences 162 Advanced Robot Control
1991 年出版314 页ISBN：3540541691
Lecture Notes in Artificial Intelligence 3155 Advances in Case-Based Reasoning 7th European Conferen
ECCBR 20042004 年出版822 页ISBN：3540228829
Lecture Notes in Artificial Intelligence 3066 Rough Sets and Current Trends in Computing 4th Interna
RSCTC 20042004 年出版853 页ISBN：3540221174
Lecture Notes in Artificial Intelligence 4259 Rough Sets and Current Trends in Computing 5th Interna
RSCTC 20062006 年出版951 页ISBN：3540476938
