Lecture Notes in Computer Science 4698 Algorithms-ESA 2007 15th Annual European Symposium
2007 年出版769 页ISBN：9783540755197
Lecture Notes in Computer Science 4168 Algorithms-ESA 2006 14th Annual European Symposium
2006 年出版843 页ISBN：3540388753
Lecture Notes in Computer Science 3669 Algorithms-ESA 2005 13th Annual European Symposium
2005 年出版901 页ISBN：3540291180
Lecture Notes in Computer Science 3582 FM 2005:Formal Methods International Symposium of Formal Meth
2005 年出版558 页ISBN：3540278826
Lecture Notes in Computer Science 2986 Programming Languages and Systems 13th European Symposium on
ESOP 20042004 年出版417 页ISBN：3540213139
Lecture Notes in Computer Science 2028 Programming Languages and Systems 10th European Symposium on
ESOP 20012001 年出版433 页ISBN：3540418628
Lecture Notes in Computer Science 3444 Programming Languages and Systems 14th European Symposium on
ESOP 20052005 年出版439 页ISBN：3540254358
Lecture Notes in Computer Science 4421 Programming Languages and Systems 16th European Symposium on
ESOP 20072007 年出版538 页ISBN：9783540713142
Lecture Notes in Computer Science 3924 Programming Languages and Systems 15th European Symposium on
ESOP 20062006 年出版343 页ISBN：354033095X
Informatics for Materials Science and Engineering
Krishna Rajan2013 年出版526 页ISBN：012394399X
