47,84€(IVA inc.)
Automated reasoning for security protocol analysis and issues in the theory of security: Joint Workshop, ARSPA-WITS 2010, Paphos, Cyprus, March 27-28, 2010, Revised Selected Papers
- Armando, Alessandro
- 978-3-642-16073-8
- 2010-10-08
90,48€(IVA inc.)
How the world computes: Turing Centenary Conference and 8th Conference on Computability in Europe, CIE 2012, Cambridge, UK, June 18-23, 2012, Proceedings
- Cooper, S. Barry
- 978-3-642-30869-7
- 2012-06-04
51,95€(IVA inc.)
Infinity in logic and computation: International Conference, ILC 2007, Cape Town, South Africa, November 3-5, 2007, Revised Selected Papers
- Archibald, Margaret
- 978-3-642-03091-8
- 2009-07-15
47,84€(IVA inc.)
Logic and the foundations of game and decision theory - loft 8: 8th International Conference, Amsterdam, The Netherlands, July 3-5, 2008, Revised Selected Papers
- Bonanno, Giacomo
- 978-3-642-15163-7
- 2010-11-02
83,15€(IVA inc.)
Logic and theory of algorithms: 4th Conference on Computability in europe, CiE 2008 Athens, Greece, June 15-20, 2008, Proceedings
- Beckmann, A.
- 978-3-540-69405-2
- 2008-07-01
77,95€(IVA inc.)
Mathematical theory and computational practice: 5th Conference on Computability in Europe, CiE 2009, Heidelberg, Germany, July 19-24, 2009, Proceedings
- Ambos-Spies, Klaus
- 978-3-642-03072-7
- 2009-07-15