Thomas Agotnes, editor
Deontic logic in computer science : 11th international conference, DEON 2012, Bergen, Norway, July 16-18, 2012 : proceedings
[Springer-Verlag, ], 2012
 eBooks
P. Madhusudan, editor
Computer aided verification : 24th international conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 : proceedings
[Springer-Verlag, ], 2012
 eBooks
Denis Bechet, editor
Logical aspects of computational linguistics : 7th international conference, LACL 2012, Nantes, France, July 2-4, 2012: proceedings
[Springer-Verlag, ], 2012
 eBooks
Progress in cryptology-AFRICACRYPT 2012 : 5th International Conference on Cryptology in Africa, Ifrane, Morocco, July 10-12, 2012 : proceedings
edited by Aikaterini Mitrokotsa, Serge Vaudenay
Springer-Verlag, 2012
 eBooks
Advances in brain inspired cognitive systems : 5th international conference, BICS 2012, Shenyang, China, July 11-14, 2012 : proceedings
edited by Huaguang Zhang, Amir Hussain, Derong Liu, Zhanshan Wang
Springer-Verlag, 2012
 eBooks
<<   3 4 5   >>