Lecture Notes in Computer Science 2946 Foundations of Security Analysis and Design II FOSAD 2001/200
2004 年出版267 页ISBN：3540209557
Lecture Notes in Computer Science 3655 Foundations of Security Analysis and Design III FOSAD 2004/20
2005 年出版273 页ISBN：3540289550
Lecture Notes in Computer Science 2967 Generic Model Management Concepts and Algorithms
2004 年出版238 页ISBN：3540219803
Lecture Notes in Computer Science 2791 Formal Modeling and Analysis of Timed Systems First Internati
FORMATS 20032004 年出版281 页ISBN：3540216715
Lecture Notes in Computer Science 268 Constrained Global Optimization:Algorithms and Applications
P.M.Pardalos1987 年出版143 页ISBN：
Lecture Notes in Computer Science 4202 Formal Modeling and Analysis of Timed Systems 4th Internation
FORMATS 20062006 年出版369 页ISBN：3540450262
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
