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
The Carnegie-Mellon Curriculum for Undergraduate Computer Science
Mary Shaw1985 年出版198 页ISBN：
MATHEMATICAL FOUNDATION OF TURBULENT VISCOUS FLOWS
2006 年出版264 页ISBN：9783540285861;3540285865
THE MATHEMATICAL FOUNDATION OF STRUCTURAL MECHANICS
F.HARTMANN2222 年出版370 页ISBN：3540150021
Introduction to Computer Applications for Non-Science Students (BASIC)
1976 年出版207 页ISBN：0134800613
Lecture Notes in Computer Science 4245 Discrete Geometry for Computer Imagery 13th International Con
DGCI 20062006 年出版688 页ISBN：3540476512
Lecture Notes in Computer Science 3429 Discrete Geometry for Computer Imagery 12th International Con
DGCI 20052005 年出版428 页ISBN：3540255133
Lecture Notes in Computer Science 3402 High Performance Computing for Computational Science-VECPAR 2
2005 年出版732 页ISBN：3540254242
Lecture Notes in Computer Science 4395 High Performance Computing for Computational Science-VECPAR 2
2007 年出版721 页ISBN：9783540713500
