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 4863 Algorithms and Models for the Web-Graph 5th International Wor
WAW 20072007 年出版217 页ISBN:9783540770039
Lecture Notes in Computer Science 4602 Data and Applications Security XXI 21st Annual IFIP WG 11.3 W
2007 年出版292 页ISBN:9783540735335
Lecture Notes in Computer Science 3362 Construction and Analysis of Safe
Secure2005 年出版0 页ISBN:
Lecture Notes in Computer Science 3956 Construction and Analysis of Safe
Secure2006 年出版0 页ISBN:
LECTURE NOTES IN MATHEMATICS 1340: CALCULUS OF VARIATIONS AND PARTIALDIFFERENTIAL EQUATIONS
1988 年出版314 页ISBN:3540501193;0387501193
LECTURE NOTES IN MATHEMATICS 1150: REARRANGEMENTS AND CONVEXITY OF LEVEL SETS IN PDE
1985 年出版134 页ISBN:3540156933;0387156933