SAFETY OF COMPUTER CONTROL SYSTEMS 1986(SAFECOMP'86) Trends in Safe Real Time Computer Systems
1986 年出版193 页ISBN:0080348017
Fundamental Proof Methods in Computer Science A Computer-Based Approach
Konstantine Arkoudas2017 年出版942 页ISBN:0262035538
INTERACTIVE COMPUTER GRAPHICS IN SCIENCE TEACHING
ELLIS HORWOOD LIMITED1978 年出版0 页ISBN:
Lecture Notes in Artificial Intelligence 4798 Knowledge Science
Engineering and Management Second International Conference2007 年出版669 页ISBN:
Lecture Notes in Artificial Intelligence 4092 Knowledge Science
Engineering and Management First International Conference2006 年出版664 页ISBN: