Lecture Notes in Computer Science 4346 Formal Methods:Applications and Technology 11th International
FMICS 20062007 年出版364 页ISBN：9783540709510
LECTURE NOTES IN PHYSICS 68 ENERGY METHODS IN TIME-VARYING SYSTEM STABILITY AND INSTABILITY ANALYSES
1977 年出版256 页ISBN：3540084304
LECTURE NOTES IN MATHEMATICS 1252: REPRESENTATIONS DE WEIL ET GL2 ALGEBRES DE DIVISION ET GLN
1987 年出版208 页ISBN：3540178279;0387178279
LECTURE NOTES IN MATHEMATICS 1296: SEMINAIRE D'ALGEBRE PAUL DUBREIL ET MARIE-PAULE MALLIAVIN
1987 年出版331 页ISBN：3540186905;0387186905
LECTURE NOTES IN MATHEMATICS 1404: SEMINAIRE D'ALGEBRE PAUL DUBREIL ET MARIE-PAUL MALLIAVIN
1989 年出版410 页ISBN：3540518126;0387518126
Lecture Notes in Artificial Intelligence 3835 Logic for Programming
Artificial Intellignce2005 年出版0 页ISBN：
Lecture Notes in Artificial Intelligence 3452 Logic for Programming
Artificial Intelligence2005 年出版0 页ISBN：
Lecture Notes in Artificial Intelligence 4246 Logic for Programming
Artificial Intelligence2006 年出版0 页ISBN：
Lecture Notes in Artificial Intelligence 4790 Logic for Programming
Artificial Intelligence2007 年出版0 页ISBN：
Lecture Notes in Computer Science 4184 Web Services and Formal Methods Third International Workshop
WS-FM 20062006 年出版289 页ISBN：3540388621
