Lecture Notes in Computer Science 2257 Practical Aspects Of Declarative Languages 4th International
PADL 20022002 年出版351 页ISBN：354043092X
Lecture Notes in Computer Science 4157 Rigorous Development of Complex Fault-Tolerant Systems
2006 年出版404 页ISBN：9783540482659
Lecture Notes in Computer Science 59 A Comparative Study of Very Large Data Bases
1978 年出版140 页ISBN：3540086536
Lecture Notes in Computer Science 3948 Cognitive Vision Systems Sampling the Spectrum of Approaches
2006 年出版365 页ISBN：354033971X
Lecture Notes in Conputer Science 4218 Automated Technology for Verification and Analysis 4th Intern
ATVA 20062006 年出版540 页ISBN：3540472371
Lecture Notes in Computer Science 123 Trends in Information Processing Systems 3nd Conference of the
1981 年出版346 页ISBN：3540108858
Lecture Notes in Computer Science 3943 Rapid Integration of Software Engineering Techniques Second I
RISE 20052006 年出版289 页ISBN：3540340637
Lecture Notes in Computer Science 3121 Algorithmic Aspects of Wireless Sensor Networks First Interna
ALGOSENSORS 20042004 年出版201 页ISBN：3540224769
Lecture Notes in Computer Science 3582 FM 2005:Formal Methods International Symposium of Formal Meth
2005 年出版558 页ISBN：3540278826
