Lecture Notes in Computer Science 125 Logic of Programs Workshop
ETH Zurich1981 年出版245 页ISBN：
Lecture Notes in Control and Information Sciences 355 Control and Estimation of Systems with Input/O
2007 年出版213 页ISBN：9783540711186
Lecture Notes in Computer Science 469 Semantics of Systems of Concurrent Processes
1990 年出版456 页ISBN：3540534792
Lecture Notes in Computer Science 3895 Theoretical Computer Science Essays in Memory of Shimon Even
2006 年出版399 页ISBN：3540328807
Lecture Notes in Computer Science 3153 Mathematical Foundations Of Computer Science 2004 29 Internat
MFCS 20042004 年出版902 页ISBN：3540228233
Lecture Notes in Computer Science 4514 Logical Foundations of Computer Science International Symposi
LFCS 20072007 年出版513 页ISBN：9783540727323
Lecture Notes in Computer Science 3362 Construction and Analysis of Safe
Secure2005 年出版0 页ISBN：
Lecture Notes in Computer Science 3956 Construction and Analysis of Safe
Secure2006 年出版0 页ISBN：
Lecture Notes in Computer Science 4309 Software Engineering Education in the Modern Age
2006 年出版205 页ISBN：9783540682035
Lecture Notes in Computer Science 4185 The Semantic Web-ASWC 2006
2006 年出版777 页ISBN：3540383298
