FM 2012 : formal methods : 18th International Symposium, Paris, France, August 27-31, 2012 : proceedings
edited by Dimitra Giannakopoulou and Dominique Mery
Springer-Verlag, 2012
 eBooks
Fejer, Peter A.
Mathematical foundations of computer science
Springer-Verlag, 1991
 Buku Teks SO
Computer science ? theory and applications : 7th International Computer Science Symposium in Russia, CSR 2012, Nizhny Novgorod, Russia, July 3-7, 2012 : proceedings
edited by Edward A. Hirsch
Springer-Verlag, 2012
 eBooks
Euro-Par 2012 parallel processing : 18th international conference, Euro-Par 2012, Rhodes Island, Greece, August 27-31, 2012 : proceedings
edited by Christos Kaklamanis, Christos Kaklamanis, Theodore Papatheodorou, Paul G. Spirakis
[;Springer-Verlag, Springer-Verlag], 2012
 eBooks
Gheorghe Adam, editor
Mathematical modeling and computational science : international conference, MMCP 2011, Stara Lesna, Slovakia, July 4-8, 2011 : revised selected papers
[, Springer-Verlag], 2012
 eBooks