Software engineering and formal methods : 10th international conference, SEFM 2012, Thessaloniki, Greece, October 1-5, 2012 : proceedings
edited by George Eleftherakis, Mike Hinchey, Mike Holcombe
Springer-Verlag, 2012
eBooks
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
NETWORKING 2012 : 11th International IFIP TC 6 Networking Conference, Prague, Czech Republic, May 21-25, 2012 : proceedings, part II
edited by Robert Bestak
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
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