Lecture Notes in Computer Science 3731 Formal Techniques for Networked and Distributed Systems-FORTE
2005 年出版558 页ISBN:354029189X
RHETORIC AND WRITING Ⅰ UCCS WRITING PROGRAM
DEBORAH M.LINDERG2006 年出版386 页ISBN:
Lecture Notes in Computer Science 4691 Formal Aspects in Socurity and Trust Fourth International Wor
FAST 20062007 年出版286 页ISBN:9783540752264
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 3866 Formal Aspects in Socurity and Trust Third International Work
FAST 20062006 年出版259 页ISBN:3540326286