Lecture Notes in Computer Science 2937 Verification
Model Checking2004 年出版0 页ISBN：
LECTURE NOTES IN MATHEMATICS 1018: GRAPH THEORY
LAGOW 19811983 年出版294 页ISBN：3540126872;0387126872
LECTURE NOTES IN MATHEMATICS 1373: LIE ALGEBRAS
MADISON 19871989 年出版145 页ISBN：3540511474;0387511474
LECTURE NOTES IN MATHEMATICS 1380: NUMBER THEORY
ULM 19871989 年出版270 页ISBN：3540513973;0387513973
LECTURE NOTES IN MATHEMATICS 1218: SCHRODINGER OPERATORS
AARHUS 19851986 年出版222 页ISBN：3540168265;0387168265
Recent Developments in the Processing and Applications of Structural Metals and Alloys
Marcello Cabibbo2009 年出版430 页ISBN：
Emerging tools and applications of virtual reality in education
Dong Hwa Choi; Amber Dailey-Hebert; Judi Simmons Estes2016 年出版362 页ISBN：1466698376
LECTURE NOTES IN MATHEMATICS 1268: COMPLEX ANALYSIS
1987 年出版201 页ISBN：354018094X;038718094X
Lecture Notes in computer science automata
Languages and Programming seventh colloquium Norrdwijkerhout July 14-181980 年出版520 页ISBN：
