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
Passive and active measurement : 13th international conference, PAM 2012, Vienna, Austria, March 12-14, 2012 : proceedings
edited by Nina Taft, Fabio Ricciato
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
Toshiaki Aoki, editor
Formal methods and software engineering : 14th International Conference on Formal Engineering Methods, ICFEM 2012, Kyoto, Japan, November 12-16, 2012 : proceedings
Springer-Verlag, 2012
 eBooks
<<   1 2 3   >>