Lecture Notes in Computer Science 4546 Petri Nets and Other Models of Convurrency-ICATPN 2007 28th I
ICATPN 20072007 年出版515 页ISBN:9783540730934
Lecture Notes in Computer Science 3725 Correct Hardware Design and Verification Methods 13th IFIP WG
CHARME 20052005 年出版412 页ISBN:3540291059
Nanoscale Calibration Standards and Methods Dimensional and Related Measurements in the Micro-and Na
Gunter Wilkening2005 年出版522 页ISBN: