Software language engineering : 4th international conference, SLE 2011, Braga, Portugal, July 3-4, 2011 : revised selected papers
edited by Anthony Sloane and Uwe Aßmann
Springer-Verlag, 2012
eBooks
Albert Ali Salah, editor
Human behavior understanding : third International workshop, HBU 2012, Vilamoura, Portugal, October 7, 2012 : proceedings
Springer-Verlag, 2012
eBooks
Implementation and application of automata : 17th international conference, CIAA 2012, Porto, Portugal, July 17-20, 2012 : proceedings
edited by Nelma Moreira and Rogerio Reis
Springer-Verlag, 2012
eBooks
Formal aspects of component software : 7th international workshop, FACS 2010, Guimaraes, Portugal, October 14-16, 2010 : revised selected papers
editors, Luis Soares Barbosa, Markus Lumpe
Springer-Verlag, 2012
eBooks
Marielle Stoelinga, editor
Formal methods for industrial critical systems : 17th international workshop, FMICS 2012, Paris, France, August 27-28, 2012 : proceedings
[, Springer-Verlag ], 2012
eBooks