Lecture Notes in Computer Science 4313 Leveraging Applications of Formal Methods First International
ISOLA 20042006 年出版197 页ISBN：9783540489283
Lecture Notes in Computer Science 4401 Rapid Integration of Software Engineering Techniques Third In
RISE 20062007 年出版177 页ISBN：9783540718758
Lecture Notes in Computer Science 2205 Spatial Information Theory Foundations of Geographic Informat
COSIT 20012001 年出版503 页ISBN：3540426132
Lecture Notes in Computer Science 4762 Automated Technology for Verification and Analysis 5th Intern
ATVA 20072007 年出版566 页ISBN：9783540755951
Lecture Notes in Computer Science 4683 Advances in Computation and Intelligence Second International
ISICA 20072007 年出版663 页ISBN：9783540745808
Lecture Notes in Computer Science 3409 Scientific Engineering of Distributed Java Applications 4th I
FIDJI 20042005 年出版127 页ISBN：3540250530
Lecture Notes in Computer Science 3341 Algorithms and Computation 15th International Symposium
ISAAC 20042004 年出版935 页ISBN：3540241310
Lecture Notes in Computer Science 4288 Algorithms and Computation 17th International Symposium
ISAAC 20062006 年出版766 页ISBN：9783540496946
Lecture Notes in Computer Science 3827 Algorithms and Computation 16th International Symposium
ISAAC 20052005 年出版1190 页ISBN：3540309357
Lecture Notes in Computer Science 4835 Algorithms and Computation 18th International Symposium
ISAAC 20072007 年出版929 页ISBN：9783540771180
