Formal techniques for distributed systems : joint 14th IFIP WG 6.1 International Conference, FMOODS 2012 and 32nd IFIP WG 6.1 International Conference, FORTE 2012, Stockholm, Sweden, June 13-16, 2012 : proceedings
edited by Holger Giese and Grigore Rosu
Springer, 2012
eBooks
Coordination models and languages : 14th international conference, COORDINATION 2012, Stockholm, Sweden, June 14-15, 2012 : proceedings
edited by Marjan Sirjani
Springer, 2012
eBooks
Reliable software technologies–Ada-Europe 2012 : 17th Ada-Europe International Conference on reliable software technologies, Stockholm, Sweden, June 11-15, 2012 : proceedings
edited by Mats Brorsson and Luís Miguel Pinho
Springer-Verlag, 2012
eBooks
Magnus Bang, editor
Persuasive technology : design for health and safety : 7th international conference, PERSUASIVE 2012, Linkoping, Sweden, June 6-8, 2012 : proceedings
[, Springer-Verlag], 2012
eBooks
Tor Helleseth, editor
Sequences and their applications–SETA 2012 : 7th international conference, Waterloo, ON, Canada, June 4-8, 2012 ; proceedings
[, Springer-Verlag], 2012
eBooks