Lecture Notes in Computer Science 3582 FM 2005:Formal Methods International Symposium of Formal Meth
2005 年出版558 页ISBN:3540278826
Lecture Notes in Computer Science 4322 Reliable Systems on Unreliable Networked Platforms 12th Monte
2007 年出版317 页ISBN:9783540711551
SOHN INTERNATIONAL SYMPOSIUM ADVANCED PROCESSING OF METALS AND MATERIALS VOLUME 8 INTERNATIONAL SYMP
2006 年出版763 页ISBN:9780873396417
SOHN INTERNATIONAL SYMPOSIUM ADVANCED PROCESSING OF METALS AND MATERIALS VOLUME 7 INDUSTRIAL PRACTIC
2006 年出版573 页ISBN:9780873396400