Lecture Notes in Computer Science 4618 Unconventional Computation 6th International Conference
UC 20072007 年出版244 页ISBN：9783540735533
Lecture Notes in Computer Science 2180 Distributed Computing 15th International Conference
DISC 20012001 年出版341 页ISBN：3540426051
Lecture Notes in Computer Science 4500 The Disappearing Computer Interaction Design
System Infrastructures and Applications for Smart Environments2007 年出版304 页ISBN：9783540727255
Lecture Notes in Computer Science 4361 Membrane Computing 7th International Workshop
WMC 2006 Leiden2222 年出版0 页ISBN：
Lecture Notes in Computer Science 4731 Distributed Computing 21st International Symposium
DISC 2007 Lemesos2222 年出版0 页ISBN：
Fundamental Proof Methods in Computer Science A Computer-Based Approach
Konstantine Arkoudas2017 年出版942 页ISBN：0262035538
FOUNDATIONS OF COMPUTER SCIENCE FROM DATA MANIPULATION TO THEORY OF COMPUTATION
（美）弗若赞（FOROUZAN2004 年出版384 页ISBN：
Lecture Notes in Computer Science 130 Axiomatising the Logic of Computer Programming
1982 年出版304 页ISBN：3540112103
INSIDE COMPUTERS TODAY STUDY GUIDE TO ACCOMPANY COMPUTERS TODAY SECOND EDITION
DONALD H.SANDERS ROB FRY1985 年出版300 页ISBN：0070547041
