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