New Computational Paradigms : First Conference on Computability in Europe, CiE 2005, Amsterdam, The Netherlands, June 8-12, 2005, Proceedings /

Documenti analoghi

• How the World Computes : Turing Centenary Conference and 8th Conference on Computability in Europe, CiE 2012, Cambridge, UK, June 18-23, 2012, Proceedings /
  di: S. Barry Cooper, Anuj Dawar, Benedikt Löwe
  Pubblicazione: (2012, c2012)
• Computation and Logic in the Real World : Third Conference on Computability in Europe, CiE 2007, Siena, Italy, June 18-23, 2007, Proceedings /
  di: S. Barry Cooper, Benedikt Löwe, Andrea Sorbi
  Pubblicazione: (2007, c2007)
• Models of Computation in Context : 7th Conference on Computability in Europe, CiE 2011, Sofia, Bulgaria, June 27 - July 2, 2011, Proceedings /
  di: Benedikt Löwe, Dag Normann, Ivan Soskov, Alexandra Soskova
  Pubblicazione: (2011, c2011)
• Logical Approaches to Computational Barriers : Second Conference on Computability in Europe, CiE 2006, Swansea, UK, June 30-July 5, 2006, Proceedings /
  di: Arnold Beckmann, Ulrich Berger, Benedikt Löwe, John V. Tucker
  Pubblicazione: (2006, c2006)
• The Nature of Computation: Logic, Algorithms, Applications : 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013, Proceedings /
  di: Paola Bonizzoni, Vasco Brattka, Benedikt Löwe
  Pubblicazione: (2013, c2013)