PHILOSOPHY AND ITS HISTORY AIMS AND METHODS IN THE STURY OF EARLY MODERN PHILOSOPHY
MOGENS L ERKE2013 年出版362 页ISBN：0199857166
Lecture Notes in Computer Science 4486 Formal Methods for Performance Evaluation 7th International S
Communication and Software Systems2007 年出版470 页ISBN：
Stochastic Reachability Analysis of Hybrid Systems
Bujorianu2012 年出版244 页ISBN：9781447127949;1447127943
Large scale inverse problems computational methods and applications in the earth sciences volume 13
Mike Cullen ; Melina A. Freitag ; Stefan Kindermann ; Robert Scheichl2013 年出版206 页ISBN：3110282221
Qualitative Theory of Hybrid Dynamical Systems
Alexey S.Matveev2000 年出版348 页ISBN：
Lecture Notes in Computer Science 190 Distributed Systems Methods and Tools for Specification An Adv
1985 年出版573 页ISBN：3540152164
Lecture Notes in Computer Science 4085 FM 2006:Formal Methods 14th International Symposium on Formal
2006 年出版620 页ISBN：3540372156
Lecture Notes in Computer Science 4321 The Adaptive Web Methods and Strategies of Web Personalizatio
2007 年出版762 页ISBN：9783540720782
