Verification, model checking, and abstract interpretation : 13th international conference, VMCAI 2012 Philadelphia, PA, USA, January 22-24, 2012 : proceedings
edited by Viktor Kuncak, Andrey Rybalchenko
Springer-Verlag, 2012
 eBooks
Latent variable analysis and signal separation : 10th international conference, LVA/ICA 2012, Tel Aviv, Israel, March 12-15, 2012 : proceedings
edited by Fabian Theis
Springer-Verlag, 2012
 eBooks
Research directions in high-level parallel programming languages : mont Saint-Michel, France, June 17-19, 1991 : proceedings
edited by J.B. Banatre and D. Le Metayer
Springer-Verlag, 1992
 Buku Teks
Computer information systems and industrial management : 11th IFIPTC 8 International Conference, CISIM 2012, Venice, Italy, September 26-28, 2012 : proceedings
edited by Agostino Cortesi
Springer-Verlag, 2012
 eBooks
Data-driven process discovery and analysis : first international symposium, SIMPDA 2011, Campione d’Italia, Italy, June 29 – July 1, 2011 : revised selected papers
edited by Karl Aberer, Ernesto Damiani, Tharam Dillon
Springer-Verlag, 2012
 eBooks
<<   1 2 3   >>