P. Madhusudan, editor
Computer aided verification : 24th international conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 : proceedings
[Springer-Verlag, ], 2012
 eBooks
Yukiko Nakano, editor
Intelligent virtual agents : 12th international conference, IVA 2012, Santa Cruz, CA, USA, September, 12-14, 2012 : proceedings
[, Springer-Verlag], 2012
 eBooks
Thomas Agotnes, editor
Deontic logic in computer science : 11th international conference, DEON 2012, Bergen, Norway, July 16-18, 2012 : proceedings
[Springer-Verlag, ], 2012
 eBooks
Advances in cryptology – CRYPTO 2012 : 32nd Annual Cryptology Conference Santa Barbara, CA, USA, August 19-23, 2012. Proceedings
editors, Reihaneh Safavi-Naini, Ran Canetti
Springer, 2012
 eBooks
Proceedings of the 14th international scientific conference: computer aided engineering
Eugeniusz Rusinski, Damian Pietrusiak, editors
Springer Nature, 2019
 eBooks
<<   1 2 3   >>