Lecture Notes in Computer Science 4514 Logical Foundations of Computer Science International Symposi
LFCS 20072007 年出版513 页ISBN:9783540727323
Lecture Notes in Computer Science 4646 Computer Science Logic 21st International Workshop
CSL 2007 16th Annual Conference of the EACSL2007 年出版600 页ISBN:9783540749141
Lecture Notes in Computer Science 48 Theoretical Computer Science 3rd GI Conference Darmstadt
March 19771977 年出版418 页ISBN:3540081380
MATHEMATICAL METHODS FOR HYDRODYNAMIC LIMITS
1991 年出版196 页ISBN:3540550046;0387550046