Lecture Notes in Computer Science 124 Compiler Specification and Verification
1981 年出版269 页ISBN：3540108866
Lecture Notes in Computer Science 3629 Algebra and Coalgebra in Computer Science First International
CALCO 20052005 年出版457 页ISBN：3540286209
Lecture Notes in Computer Science 4624 Algebra and Coalgebra in Computer Science Second Internationa
CALCO 20072007 年出版463 页ISBN：9783540738572
Lecture Notes In Control and Information Sciences 363 Nonlinear Observers and Applications
Gildas Besancon2007 年出版224 页ISBN：
Lecture Notes in Control and Information Sciences 353 Advances in Control Theory and Applications
2007 年出版305 页ISBN：9783540707004
Lecture Notes in Computer Science 4505 Advances in Data and Web Management
2007 年出版896 页ISBN：9783540724834
Lecture Notes in Computer Science 4559 Usability and Internationalization HCI and Culture
2007 年出版661 页ISBN：9783540732860
LECTURE NOTES IN MATHEMATICS 1411: TOPOLOGICAL FIXED POINT THEORY AND APPLICATIONS
1989 年出版203 页ISBN：3540519327;0387519327
Lecture Notes in Computer Science 341 Software Reliability Modelling and Identification
1988 年出版209 页ISBN：3540506950
Lecture Notes in Computer Science 3362 Construction and Analysis of Safe
Secure2005 年出版0 页ISBN：
