Programs, Proofs, Processes : 6th Conference on Computability in Europe, CiE, 2010, Ponta Delgada, Azores, Portugal, June 30 - July 4, 2010, Proceedings
Fernando Ferreira
Download - Immediately Available
Format: eBook (PDF)
Logic and the Foundations of Game and Decision Theory - LOFT 8 : 8th International Conference, Amsterdam, The Netherlands, July 3-5, 2008, Revised Selected Papers
Giacomo Bonanno
Download - Immediately Available
Format: eBook (PDF)
Models of Computation in Context : 7th Conference on Computability in Europe, CiE 2011, Sofia, Bulgaria, June 27 - July 2, 2011, Proceedings
Benedikt Lowe
Download - Immediately Available
Format: eBook (PDF)
How the World Computes : Turing Centenary Conference and 8th Conference on Computability in Europe, CiE 2012, Cambridge, UK, June 18-23, 2012, Proceedings
Barry S. Cooper
Download - Immediately Available
Format: eBook (PDF)
Mathematical Theory and Computational Practice : 5th Conference on Computability in Europe, CiE 2009, Heidelberg, Germany, July 19-24, 2009, Proceedings
Klaus Ambos-Spies
Download - Immediately Available
Format: eBook (PDF)
Infinity in Logic and Computation : International Conference, ILC 2007, Cape Town, South Africa, November 3-5, 2007, Revised Selected Papers
Margaret Archibald
Download - Immediately Available
Format: eBook (PDF)
The Nature of Computation: Logic, Algorithms, Applications : 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013, Proceedings
Paola Bonizzoni
Out of stock
Format: Book (Paperback / softback)
The Nature of Computation: Logic, Algorithms, Applications : 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013, Proceedings
Paola Bonizzoni
Download - Immediately Available
Format: eBook (PDF)