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
AGING WITH ATTITUDE GROWING OLDER WITH DIGNITY AND VITALITY
ROBERT LEVINE2004 年出版227 页ISBN：0275981738
Working with Families of Young Children with Special Needs
R.A. McWilliam2222 年出版265 页ISBN：9781606235393;1606235397
Lecture Notes in Computer Science 130 Axiomatising the Logic of Computer Programming
1982 年出版304 页ISBN：3540112103
