Lecture Notes in Computer Science 3718 Computer Algebra in Scientific Computing 8th International Wo
CASC 20052005 年出版502 页ISBN：3540289666
Lecture Notes in Computer Science 3785 Formal Methods and Software Engineering 7th International Con
ICFEM 20052005 年出版496 页ISBN：3540297979
Lecture Notes in Computer Science 3308 Formal Methods and Software Engineering 6th International Con
ICFEM 20042004 年出版500 页ISBN：3540238417
Lecture Notes in Computer Science 4789 Formal Methods and Software Engineering 9th International Con
ICFEM 20072007 年出版386 页ISBN：9783540766483
Lecture Notes in Computer Science 1386 Hybrid Systems:Computation and Control First International Wo
HSCC981998 年出版415 页ISBN：3540643583
Lecture Notes in Computer Science 3061 Advanced Distributed Systems Third International School and S
ISSADS 20042004 年出版285 页ISBN：3540221727
Lecture Notes in Computer Science 3670 Formal Techniques for Comprter Systems and Busoness Processes
EPEW 20052005 年出版349 页ISBN：3540287019
Lecture Notes in Computer Science 4524 Web Reasoning and Rule Systems First International Conference
RR 20072007 年出版382 页ISBN：9783540729815
Lecture Notes in Computer Science 2942 Foundations of Information and Knowledge Systems Thied Intern
FoIKS 20042004 年出版320 页ISBN：3540209654
Lecture Notes in Computer Science 4437 Information Hiding 8th International Workshop
IH 20062007 年出版390 页ISBN：9783540741237
