Verification, model checking, and abstract interpretation : 13th international conference, VMCAI 2012 Philadelphia, PA, USA, January 22-24, 2012 : proceedings
edited by Viktor Kuncak, Andrey Rybalchenko
Springer-Verlag, 2012
 eBooks
Advances in speech and language technologies for iberian languages : Iberspeech 2012 Conference, Madrid, Spain, November 21-23, 2012 : proceedings
Doroteo Torre Toledano
Springer-Verlag, 2012
 eBooks
Jaakko Hollmén, editor
Advances in intelligent data analysis XI : 11th international symposium, IDA 2012, Helsinki, Finland, October 25-27, 2012 : proceedings
Springer-Verlag, 2012
 eBooks
Goichiro Hanaoka, editor
Advances in information and computer security : 7th international workshop on security, IWSEC 2012 Fukuoka, Japan, November 7-9, 2012 : proceedings
Springer-Verlag, 2012
 eBooks
Popescu, Elvira, editor
Advances in web-based learning–ICWL 2012 : 11th international conference, Sinaia, Romania, September 2-4, 2012 : proceedings
[, Springer-Verlag], 2012
 eBooks
<<   1 2 3   >>