Lecture Notes in Computer Science 4313 Leveraging Applications of Formal Methods First International
ISOLA 20042006 年出版197 页ISBN：9783540489283
Lecture Notes in Computer Science 3747 Dependable Computing Second Latin-American Symposium
LADC 20052005 年出版267 页ISBN：3540295720
A CLASSICAL INTRODUCTION TO MODERN NUMBER THEORY
1972 年出版341 页ISBN：0987906258;3540906258;7506201143
Lecture Notes in Computer Science 3237 Comparative Evaluation of Multilingual Information Access Sys
CLEF 2003 Trondheim2222 年出版0 页ISBN：
Lecture Notes in Computer Science 3510 Wired/Wireless Internet Communications Third International Co
WWIC 20052005 年出版366 页ISBN：354025899X
Lecture Notes in Computer Science 3361 Machine Learning for Multimodal Interaction First Internation
MLMI 20042005 年出版362 页ISBN：354024509X
INTRODUCTION TO THE THEORY OF QUANTIZED FIELDS
N.N. BOGOLIUBOV1959 年出版7220 页ISBN：
String theory methods for condensed matter physics
Horatiu Nastase2017 年出版610 页ISBN：
