Lecture Notes in Physics 152:Physics of Narrow Gap Semiconductors
E.Gornik1982 年出版485 页ISBN：
Lecture Notes in Computer Science 469 Semantics of Systems of Concurrent Processes
1990 年出版456 页ISBN：3540534792
Power geometry in algebraic and differential equations
Alexander D. Bruno.2000 年出版385 页ISBN：0444502971
LECTURE NOTES IN ENGINEERING 13 NONLINEAR DYNAMICS OF TRANSCRITICAL FLOWS
H.L.JORDAN1985 年出版195 页ISBN：
DIFFERENTIAL ALGEBRAIC GROUPS OF FINITE DIMENTSION
1992 年出版145 页ISBN：3540551816;0387551816
Lecture Notes in Artificial Intelligence 2605 Mechanizing Mathematical Reasoning Essays in Honro of
2005 年出版565 页ISBN：3540250514
Lecture Notes in Computer Science 3362 Construction and Analysis of Safe
Secure2005 年出版0 页ISBN：
Lecture Notes in Computer Science 3956 Construction and Analysis of Safe
Secure2006 年出版0 页ISBN：
LECTURE NOTES IN ARTIFICIAL INTELLIGENCE 353 FOUNDATIONS OF EQUATIONAL LOGIC PROGRAMMING
1989 年出版250 页ISBN：038751533X
Lecture Notes in Artificial Intelligence 3492:Logical Aspects of computational Linguistics
Philippe Blache2005 年出版0 页ISBN：
