Computer Aided Design of Digital Systems A Bibliography Volume II 1975-76
1976 年出版277 页ISBN：0914894595
Logic in Computer Science Modelling and Reasoning about Systems 〔Second Edition〕
Michael Huth2004 年出版427 页ISBN：
Computer vision and image processing in intelligent systems and multimedia technologies
Muhammad Sarfraz2014 年出版366 页ISBN：1466660304
Computer Simulation and Computer Algebra Lectures for Beginners
1988 年出版155 页ISBN：3540189092
COMPUTER AND NETWORK SECURITY Volume 1 Security in Distributed and Networking Systems
2007 年出版493 页ISBN：9789812708076
Lecture Notes in Computer Science 469 Semantics of Systems of Concurrent Processes
1990 年出版456 页ISBN：3540534792
1988 IEEE SYMPOSIUM ON THE ENGINEERING OF COMPUTER-BASED MEDICAL SYSTEMS
1988 年出版174 页ISBN：0817648635
Lecture Notes in Computer Science 3803 Information Systems Security First International Conference
ICISS 20052005 年出版342 页ISBN：3540307060
Lecture Notes in Computer Science 4218 Information Systems Security Third International Conference
ICISS 20072007 年出版322 页ISBN：9783540770855
