Lecture Notes in Computer Science 57 Portability of Numerical Software
1977 年出版539 页ISBN：3540084460
Lecture Notes in Computer Science 3618 Mathematical Foundations Of Computer Science 2005 30th Intern
MFCS 20052005 年出版814 页ISBN：3540287027
Lecture Notes in Computer Science 4708 Mathematical Foundations of Computer Science 2007 32nd Intern
MFCS 20072007 年出版764 页ISBN：9783540744559
Lecture Notes in Computer Science 4162 Mathematical Foundations of Computer Science 2006 31st Intern
MFCS 20062006 年出版814 页ISBN：3540377913
Lecture Notes in Computer Science 341 Software Reliability Modelling and Identification
1988 年出版209 页ISBN：3540506950
Lecture Notes in Computer Science 4143 Generative and Transformational Techniques in Software Engine
GTTSE 20052006 年出版471 页ISBN：354045778X
Lecture Notes in Computer Science 3147 Integration of Software Specification Techniques for Applicat
2004 年出版628 页ISBN：3540231358
Lecture Notes in Computer Science 4336 Empirical Software Engineering Issues Critical Assessment and
2007 年出版193 页ISBN：9783540713005
Lecture Notes in Computer Science 4401 Rapid Integration of Software Engineering Techniques Third In
RISE 20062007 年出版177 页ISBN：9783540718758
Lecture Notes in Computer Science 3475 Rapid Integration of Software Engineering Techniques First In
RISE 20042005 年出版145 页ISBN：3540258124
