Fundamental Proof Methods in Computer Science A Computer-Based Approach
Konstantine Arkoudas2017 年出版942 页ISBN:0262035538
COMPUTER APPLICATIONS IN MEDICAL CARE 1986
HELMUTH F.ORTHNER1977 年出版428 页ISBN:0818607394
Lecture Notes in Computer Science 427 Computer Vision-ECCV 90 First European Conference on Computer
1990 年出版618 页ISBN:354052522X
Lecture Notes in Computer Science 130 Axiomatising the Logic of Computer Programming
1982 年出版304 页ISBN:3540112103
Advances in Computer Communications and Networking
1979 年出版653 页ISBN:0890060800