Lecture Notes in Computer Science 3367 Databases
Information Systems2005 年出版0 页ISBN：
Lecture Notes in Computer Science 2937 Verification
Model Checking2004 年出版0 页ISBN：
Lecture Notes in computer science automata
Languages and Programming seventh colloquium Norrdwijkerhout July 14-181980 年出版520 页ISBN：
Lecture Notes in Computer Science 52 Automata
Languages and Programming1977 年出版568 页ISBN：3540083421
Lecture Notes in Computer Science 71 Automata
Languages and Programming1979 年出版684 页ISBN：3540095101
Lecture Notes in Computer Science 3133 Computer Systems:Architectures
Modeling2004 年出版562 页ISBN：
LECTURE NOTES IN MATHEMATICS 1421: A NONLINEAR THEORY OF GENERALIZED FUNCTIONS
1990 年出版216 页ISBN：3540524088;0387524088
LECTURE NOTES IN MATHEMATICS 1012: SPECTRAL THEORY OF BANACH SPACE OPERATORS
1983 年出版182 页ISBN：3540126732;0387126732
LECTURE NOTES IN MATHEMATICS 1406: ANALYTIC THEORY OF CONTINUED FRACTIONS III
1989 年出版144 页ISBN：3540518304;0387518304
Lecture Notes in Computer Science 115 Automata
Languages and Programming Eighth Colloquium1981 年出版550 页ISBN：3540108432
