Lecture Notes in Computer Science 3185 Formal Methods for the Design of Real-Time Systems Internatio
Communication and Systems2004 年出版295 页ISBN:
LECTURE NOTES IN COMPUTER SCIENCE 204 EUROCAL'85 PROCEEDINGS VOL.2:RESEARCH CONTRIBUTIONS
BOB F.CAVINESS1985 年出版650 页ISBN:
Lecture Notes in Computer Science 4863 Algorithms and Models for the Web-Graph 5th International Wor
WAW 20072007 年出版217 页ISBN:9783540770039
Lecture Notes in Computer Science 4166 Computer Safety
Reliability2006 年出版0 页ISBN:
Lecture Notes in Computer Science 3688 Computer Safety
Reliability2005 年出版0 页ISBN:
Lecture Notes in Computer Science 4680 Computer Safety
Reliability2007 年出版0 页ISBN:
Lecture Notes in Computer Science 3219 Computer Safety
Reliability2004 年出版0 页ISBN:
Lecture Notes in Computer Science 1943 Computer Safety
Reliability and Security 19th International Conference2000 年出版432 页ISBN:
Lecture Notes in Computer Science 2187 Computer Safety
Reliability and Security 20th International Conference2001 年出版249 页ISBN: