Lecture Notes in Computer Science 74 Mathematical Foundations of Computer Science 1979
1979 年出版580 页ISBN:3540095268
Lecture Notes in Computer Science 53 Mathematical Foundations of Computer Science 1977
1977 年出版596 页ISBN:3540083537
Lecture Notes in Computer Science 45 Mathematical Foundations of Computer Science 1976
1976 年出版606 页ISBN:3540078541
Lecture Notes in Computer Science 379 Mathematical Foundations of Computer Science 1989
1989 年出版605 页ISBN:3540514864
ENCYCLOPEDIA OF MATHEMATICAL PHYSICS 12 FUNCTIONAL ANALYSIS AND OPERATOR ALGEBRAS;QUANTIZATION MET
[法]费朗克斯等编著2008 年出版376 页ISBN:
OPTIMIZATION OF COMPUTER ECG PROCESSING
H.K.WOLF & P.W.MACFARLANE1980 年出版346 页ISBN:0444854134
Lecture Notes in Computer Science 130 Axiomatising the Logic of Computer Programming
1982 年出版304 页ISBN:3540112103
Automorphisms of manifolds and algebraic K-theory: Part III volume 231
Michael S. Weiss ; Bruce E. Williams2014 年出版114 页ISBN:1470409814
Geometry of algebraic curves Volume 2 Part 1 = 代数曲线几何 第2卷 第1分册
Enrico Arbarello ; Maurizio Cornalba ; Pillip A. Geiffiths2014 年出版328 页ISBN:7510075919