Conference on Computability in Europe (CiE)
9. CiE 2013: Milan, Italy
Paola Bonizzoni, Vasco Brattka, Benedikt Löwe (Eds.): The Nature of Computation. Logic, Algorithms, Applications - 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013. Proceedings. Springer 2013 Lecture Notes in Computer Science 7921 ISBN 978-3-642-39052-4 [ contents ]
8. CiE 2012: Cambridge, UK
- S. Barry Cooper, Anuj Dawar, Benedikt Löwe (Eds.): How the World Computes - Turing Centenary Conference and 8th Conference on Computability in Europe, CiE 2012, Cambridge, UK, June 18-23, 2012. Proceedings. Springer 2012 Lecture Notes in Computer Science 7318 ISBN 978-3-642-30869-7 [ contents ]
7. CiE 2011: Sofia, Bulgaria
- Benedikt Löwe, Dag Normann, Ivan N. Soskov, Alexandra A. Soskova (Eds.): Models of Computation in Context - 7th Conference on Computability in Europe, CiE 2011, Sofia, Bulgaria, June 27 - July 2, 2011. Proceedings. Springer 2011 Lecture Notes in Computer Science 6735 ISBN 978-3-642-21874-3 [ contents ]
6. CiE 2010: Ponta Delgada, Azores, Portugal
- Fernando Ferreira, Benedikt Löwe, Elvira Mayordomo, Luís Mendes Gomes (Eds.): Programs, Proofs, Processes, 6th Conference on Computability in Europe, CiE 2010, Ponta Delgada, Azores, Portugal, June 30 - July 4, 2010. Proceedings. Springer 2010 Lecture Notes in Computer Science 6158 ISBN 978-3-642-13961-1 [ contents ]
5. CiE 2009: Heidelberg, Germany
- Klaus Ambos-Spies, Benedikt Löwe, Wolfgang Merkle (Eds.): Mathematical Theory and Computational Practice, 5th Conference on Computability in Europe, CiE 2009, Heidelberg, Germany, July 19-24, 2009. Proceedings. Springer 2009 Lecture Notes in Computer Science 5635 ISBN 978-3-642-03072-7 [ contents ]
4. CiE 2008: Athens, Greece
- Arnold Beckmann, Costas Dimitracopoulos, Benedikt Löwe (Eds.): Logic and Theory of Algorithms, 4th Conference on Computability in Europe, CiE 2008, Athens, Greece, June 15-20, 2008, Proceedings. Springer 2008 Lecture Notes in Computer Science 5028 ISBN 978-3-540-69405-2 [ contents ]
3. CiE 2007: Siena, Italy
- S. Barry Cooper, Benedikt Löwe, Andrea Sorbi (Eds.): Computation and Logic in the Real World, Third Conference on Computability in Europe, CiE 2007, Siena, Italy, June 18-23, 2007, Proceedings. Springer 2007 Lecture Notes in Computer Science 4497 ISBN 978-3-540-73000-2 [ contents ]
2. CiE 2006: Swansea, Wales, UK
- Arnold Beckmann, Ulrich Berger, Benedikt Löwe, John V. Tucker (Eds.): Logical Approaches to Computational Barriers, Second Conference on Computability in Europe, CiE 2006, Swansea, UK, June 30-July 5, 2006, Proceedings. Springer 2006 Lecture Notes in Computer Science 3988 ISBN 3-540-35466-2 [ contents ]
1. CiE 2005: Amsterdam, The Netherlands
- S. Barry Cooper, Benedikt Löwe, Leen Torenvliet (Eds.): New Computational Paradigms, First Conference on Computability in Europe, CiE 2005, Amsterdam, The Netherlands, June 8-12, 2005, Proceedings. Springer 2005 Lecture Notes in Computer Science 3526 ISBN 3-540-26179-6 [ contents ]
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-16T203152 by the dblp team