Lecture Notes in Computer Science 53 Mathematical Foundations of Computer Science 1977
1977 年出版596 页ISBN：3540083537
Lecture Notes in Computer Science 45 Mathematical Foundations of Computer Science 1976
1976 年出版606 页ISBN：3540078541
Lecture Notes in Computer Science 379 Mathematical Foundations of Computer Science 1989
1989 年出版605 页ISBN：3540514864
Lecture Notes in Computer Science 4500 The Disappearing Computer Interaction Design
System Infrastructures and Applications for Smart Environments2007 年出版304 页ISBN：9783540727255
Fundamental Proof Methods in Computer Science A Computer-Based Approach
Konstantine Arkoudas2017 年出版942 页ISBN：0262035538
Lecture Notes in Computer Science 130 Axiomatising the Logic of Computer Programming
1982 年出版304 页ISBN：3540112103
Numerical Linear Algebra and Its Applications=数值线性代数及其应用
金小庆 ; 魏益民2014 年出版188 页ISBN：7030139542
本书是为大学数学系信息与计算专业本科生编写的《数值代数》课英文版教材。全书共分九章，内容包括：引言；求解线性方程组的直接解法；扰动和误差分析；最小二乘问题；经典迭代法；Krylov子空间方法；非对称特征值问题......
Lecture Notes in Computer Science 3422 From Computer Literacy to Informatics FundamentalsInternation
ISSEP 20052005 年出版203 页ISBN：354025336X
Lecture Notes in Computer Science 2095 Computer Vision Systems Second International Workshop
ICVS 2001 Vancouver2222 年出版0 页ISBN：
