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