Proceedings of the 14th international scientific conference: computer aided engineering
Eugeniusz Rusinski, Damian Pietrusiak, editors
Springer Nature, 2019
 eBooks
Edmund Clarke, editor
Perspectives of system informatics : 8th International Ershov Informatics Conference, PSI 2011, Novosibirsk, Russia, June 27-July 1, 2011 : revised selected papers
[Springer-Verlag, ], 2012
 eBooks
Selmin Nurcan, editor
IS Olympics : information systems in a diverse world : CAiSE Forum 2011, London, UK, June 20-24, 2011 : selected extended papers
[, Springer-Verlag], 2012
 eBooks
Advanced information systems engineering : 24th international conference, CAISE 2012, Gdansk, Poland, 25-29 June 2012 : proceedings
edited by Jolita Ralyte, Xavier Franch, Sjaak Brinkkemper, Stanislaw Wrycza
Springer-Verlag , 2012
 eBooks
Marco Bernardo, editor
Formal methods for model-driven engineering : 12th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2012, Bertinoro, Italy, June 18-23, 2012, advanced lectures
[, Springer-Verlag], 2012
 eBooks