Euro-Par 2011 : parallel processing workshops ; CCPI, CGWS, HeteroPar, HiBB, HPCVirt, HPPC, HPSS, MDGS, ProPer, Resilience, UCHPC, VHPC, Bordeaux, France, August 29–September 2, 2011 : revised selected papers, part II
edited by Michael Alexander
Springer-Verlag, 2012
eBooks
The correctness-by-construction approach to programming
edited by Derrick G. Kourie and Bruce W. Watson
Springer-Verlag, 2012
eBooks
Advanced information systems engineering : 24th international conference, CAISE 2012, Gdansk, Poland, 25-29 June 2012 : proceedings
edited by Jolita Ralyte, Xavier Franch, Sjaak Brinkkemper, Stanislaw Wrycza
Springer-Verlag , 2012
eBooks
Sensor systems and software : Third International ICST Conference, S-Cube 2012, Lisbon, Portugal, June 4-5, 2012 : revised selected papers
edited by Francisco Martins, Luis Lopes, Herve Paulino
Springer-Verlag, 2012
eBooks
Advanced information systems engineering workshops : CAISE 2012 International Workshops, Gdansk, Poland, June 25-26, 2012 : proceedings
edited by Marko Bajec, Johann Eder
Springer-Verlag , 2012
eBooks