Home Advanced Search

Advanced Search - Page 1

How the World Computes: Turing Centenary Conference and 8th Conference on Computability in Europe, CiE 2012, Cambridge, UK, June 18-23, 2012. Proceedings
  • PDF
  • English
  • Year: 2012
  • Author: Bahareh Afshari, Michael Rathjen (auth.), S. Barry Cooper, Anuj Dawar, Benedikt Löwe (eds.)
New Computational Paradigms: First Conference on Computability in Europe, CiE 2005, Amsterdam, The Netherlands, June 8-12, 2005. Proceedings
  • PDF
  • English
  • Year: 2005
  • Author: S. Barry Cooper (auth.), S. Barry Cooper, Benedikt Löwe, Leen Torenvliet (eds.)
Computation and Logic in the Real World: Third Conference on Computability in Europe, CiE 2007, Siena, Italy, June 18-23, 2007. Proceedings
  • PDF
  • English
  • Year: 2007
  • Author: Luigi Acerbi, Alberto Dennunzio, Enrico Formenti (auth.), S. Barry Cooper, Benedikt Löwe, Andrea Sorbi (eds.)
Algebra, logic, set theory : Festschrift für Ulrich Felgner zum 65. Geburtstag
  • DJVU
  • English
  • Year: 2007
  • Author: Löwe, Benedikt (eds.)
New Computational Paradigms: Changing Conceptions of What is Computable
  • DJVU
  • English
  • Year: 2007
  • Author: S.B. Cooper, Benedikt Löwe, Andrea Sorbi
New Computational Paradigms: Changing Conceptions of What is Computable
  • DJVU
  • English
  • Year: 2007
  • Author: S.B. Cooper, Benedikt Löwe, Andrea Sorbi
Mathematical Theory and Computational Practice: 5th Conference on Computability in Europe, CiE 2009, Heidelberg, Germany, July 19-24, 2009. Proceedings
  • PDF
  • English
  • Year: 2009
  • Author: Thomas Anberrée (auth.), Klaus Ambos-Spies, Benedikt Löwe, Wolfgang Merkle (eds.)
Logic and the Foundations of Game and Decision Theory – LOFT 8: 8th International Conference, Amsterdam, The Netherlands, July 3-5, 2008, Revised Selected Papers
  • PDF
  • English
  • Year: 2010
  • Author: Dietmar Berwanger (auth.), Giacomo Bonanno, Benedikt Löwe, Wiebe van der Hoek (eds.)
Theory and Applications of Models of Computation: 6th Annual Conference, TAMC 2009, Changsha, China, May 18-22, 2009. Proceedings
  • PDF
  • English
  • Year: 2009
  • Author: Leslie G. Valiant (auth.), Jianer Chen, S. Barry Cooper (eds.)
Theory and Applications of Models of Computation: 6th Annual Conference, TAMC 2009, Changsha, China, May 18-22, 2009. Proceedings
  • PDF
  • English
  • Year: 2009
  • Author: Leslie G. Valiant (auth.), Jianer Chen, S. Barry Cooper (eds.)
search