Lecture Notes in Computer Science 74 Mathematical Foundations of Computer Science 1979
1979 年出版580 页ISBN：3540095268
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
中华人民共和国交通部部标准 港口工程技术规范 第6篇 基本工程 第1册 混凝土和钢筋混凝土 施工部分 JTJ221-82
交通部颁发1982 年出版96 页ISBN：6044·1002
刘正成主编；王澄卷主编1998 年出版326 页ISBN：7500304404
本书所收书法作品上迄商周，下迄当代，总计一百余卷，立卷分两大类：一、断代卷；二、书家卷。各卷按时代录入十编之中，另有篆刻、论著、附录、补遗四编。断代卷编入作品，主要指宋和宋以前无书者署名之甲骨文、金文......
Lecture Notes in Computer Science 130 Axiomatising the Logic of Computer Programming
1982 年出版304 页ISBN：3540112103
