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