Lecture Notes in Computer Science 183 The Munich Project CIP Volume I:The Wide Spectrum Language CIP
1985 年出版275 页ISBN：3540151877
Lecture Notes in Computer Science 3243 Algorithms and Models for the Web-Graph Third International W
WAW 20042004 年出版187 页ISBN：3540234276
Lecture Notes in Computer Science 4602 Data and Applications Security XXI 21st Annual IFIP WG 11.3 W
2007 年出版292 页ISBN：9783540735335
Lecture Notes in Computer Science 3233 Software Security-Theories and Systems Second Mext-NSF-JSPS I
ISSS 20032004 年出版345 页ISBN：354023635X
Lenture Notes in Computer Science 3472 Model-Based Testing of Reactive Systems Advanced Lectures
2005 年出版659 页ISBN：3540262784
FOUNDATIONS OF SOFTWARE TECHNOLOGY AND THEORETICAL COMPUTER SCIENCE
G.GOOS AND J.HARTMANIS2222 年出版420 页ISBN：3540534873
2000 IEEE 41st Annual Symposium on Foundations of Computer Science
2000 年出版688 页ISBN：0769508502
FOUNDATIONS OF COMPUTER SCIENCE FROM DATA MANIPULATION TO THEORY OF COMPUTATION
（美）弗若赞（FOROUZAN2004 年出版384 页ISBN：
43nd IEEE Symposium on Foundations of Computer Science October 14-17
20012001 年出版670 页ISBN：
The 43rd Annual IEEE Symposium on Foundations of Computer Science 2002
2002 年出版752 页ISBN：0769518222
