KENNETH R.REDDEN AND ENID L.VERON1980 年出版576 页ISBN:0872152375
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
JEREMY K M SANDERS AND BRIAN N HUNTER1987 年出版308 页ISBN:0198551916
Lecture Notes in Computer Science 130 Axiomatising the Logic of Computer Programming
1982 年出版304 页ISBN:3540112103