Lecture Notes in Computer Science 3274 Distributed Computing 18th International Conference
DISC 20042004 年出版464 页ISBN：3540233067
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：
领导世界还是支配世界？ 冷战后美国国家安全战略 america's national security strategy in the lost-cold war era
朱明权著2005 年出版412 页ISBN：7201050524
本书以“领导世界还是支配世界”为研究框架，探究冷战后美国国家安全战略。并通过这一视角具体分析了从老布什、克林顿到布什府的历年的《美国国家安全战略报告》，从中可见历届美国政府的安全观及国家安全战略...
Lecture Notes in Computer Science 130 Axiomatising the Logic of Computer Programming
1982 年出版304 页ISBN：3540112103
