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
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：
LECTURE NOTES IN MATHEMATICS 1470: FUNCTIONAL ANALYSIS
1991 年出版205 页ISBN：354054206X;038754206X
LECTURE NOTES IN MATHEMATICS 1282: POSITIVE POLYNOMIALS
CONVEX INTEGRAL POLYTOPES1987 年出版141 页ISBN：
Lecture Notes in Computer Science 52 Automata
Languages and Programming1977 年出版568 页ISBN：3540083421
