Computation and Reasoning A Type Theory for Computer Science
1994 年出版228 页ISBN：0198538359
Lecture Notes in Computer Science 4419 Reconfigurable Computing:Architectures
Tools and Applications Third International Workahop2007 年出版392 页ISBN：
BRIEF CALCULUS WITH APPLICATIONS
CHRIS VANCIL CLIFF SWAUGER1990 年出版471 页ISBN：0060467665
成功地经营你的班级 creating a successful K-12 learning community
（美）Paul Burden著；张艳华译2006 年出版282 页ISBN：7501956545
应用本书，你不但能够学到如何建立一个积极的班级社区，你也能够学到如何使学生们参与到创建他们的学习环境中去。从头到尾，这本书为管理班级、鼓励和强化适当行为、恢复秩序、激励学生们、和家长们一同努力和庆...
Scientific Computing in Chemical Engineering II:Computational Fluid Dynamics
Reaction Engineering1999 年出版443 页ISBN：
THE NATURE OF COMPUTATION:AN INTRODUCTION TO COMPUTER SCIENCE
IRA POHL1981 年出版397 页ISBN：
