Rohit Gheyi, editor
Formal methods : foundations and applications : 15th Brazilian Symposium, SBMF 2012, Natal, Brazil, September 23-28, 2012 : proceedings
[, Springer-Verlag], 2012
 eBooks
Vivi M. Heine, author
Induced pluripotent stem cells in brain diseases: understanding the methods, epigenetic basis, and applications for regenerative medicine
[, Springer], 2012
 eBooks
Argyros, Ioannis K, author
Computational methods in nonlinear analysis : efficient algorithms, fixed point theory and applications / Loannis K. Argyros, Hilout, Said
World Scientific, 2013
 Buku Teks
Chirikjian, Gregory S., author
Stochastic models, information theory, and lie groups, volume 2 : analytic methods and modern applications
[Springer Science, ], 2012
 eBooks
Reliability analysis of dynamic systems : efficient probabilistic methods and aerospace applications / Bin Wu
Academic Press, 2013
 eBooks