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 ... [and others]
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 ... [and others]
Springer, 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