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 1406: ANALYTIC THEORY OF CONTINUED FRACTIONS III
1989 年出版144 页ISBN：3540518304;0387518304
LECTURE NOTES IN ARTIFICIAL INTELLIGENCE 353 FOUNDATIONS OF EQUATIONAL LOGIC PROGRAMMING
1989 年出版250 页ISBN：038751533X
LECTURE NOTES IN MATHEMATICS 999: ITERATES OF MAPS ON A INTERVAL
1983 年出版205 页ISBN：3540123229;0387123229
Lecture Notes in Artificial Intelligence 3492:Logical Aspects of computational Linguistics
Philippe Blache2005 年出版0 页ISBN：
Lecture Notes in Artificial Intelligence 2281 Progress in Discovery Science Final Report of the Japa
2002 年出版681 页ISBN：3540433384
Lecture Notes in Computer Science 3049 Program Development in Computational Logic A Decade of Resear
2004 年出版539 页ISBN：3540221522
Lecture Notes in Computer Science 3895 Theoretical Computer Science Essays in Memory of Shimon Even
2006 年出版399 页ISBN：3540328807
