Achieving systems safety : proceedings of the twentieth Safety-Critical Systems Symposium, Bristol, UK, 7-9th February 2012
editor, Chris Dale, Tom Anderson
Springer, 2012
eBooks
Engineering secure software and systems : 4th international symposium, ESSoS 2012, Eindhoven, The Netherlands, February, 16-17, 2012 : proceedings
edited by Gilles Barthe, Benjamin Livshits, Riccardo Scandariato
Springer-Verlag, 2012
eBooks
Nonlinear electromagnetic systems: proceedings of the International ISEM Symposium on Nonlinear Electromagnetic Systems: Cardiff, Wales, UK, 17-20 September, 1995
edited by A.J. Moses and A. Basak
IOS Press, 1996
Buku Teks
Formal modeling and analysis of timed systems : 10th international conference, FORMATS 2012, London, UK, September 18-20, 2012 : proceedings
edited by Marcin Jurdzinski and Dejan Nickovic
Springer-Verlag, 2012
eBooks
Computational methods in systems biology : 10th international conference, CMSB 2012, London, UK, October 3-5, 2012 : proceedings
edited by David Gilbert and Monika Heiner
Springer-Verlag , 2012
eBooks