Languages
Lowe, Benedikt.
Overview
Works: | 1 works in 7 publications in 1 languages |
---|
Titles
How the world computes = Turing Centenary Conference and 8th Conference on Computability in Europe, CiE 2012, Cambridge, UK, June 18-23, 2012 : proceedings /
by:
Dawar, Anuj.; Congress on Progress and Controversies in Oncological Urology (2000:); Cooper, S. Barry.; Lowe, Benedikt.; SpringerLink (Online service)
(Electronic resources)
New Computational Paradigms = Changing Conceptions of What is Computable /
by:
Cooper, S. Barry.; Lowe, Benedikt.; SpringerLink (Online service); Sorbi, Andrea.
(Electronic resources)
Logic and Theory of Algorithms = 4th Conference on Computability in Europe, CiE 2008, Athens, Greece, June 15-20, 2008 Proceedings /
by:
Congress on Progress and Controversies in Oncological Urology (2000:); Dimitracopoulos, Costas.; SpringerLink (Online service); Beckmann, Arnold.; Lowe, Benedikt.
(Electronic resources)
Models of computation in context = 7th conference on computability in Europe, CiE 2011, Sofia, Bulgaria, June 27 - July 2, 2011 : proceedings /
by:
Lowe, Benedikt.; SpringerLink (Online service); Congress on Progress and Controversies in Oncological Urology (2000:)
(Electronic resources)
Logic and the foundations of game and decision theory - LOFT 8 = 8th International Conference, Amsterdam, The Netherlands, July 3-5, 2008, revised selected papers /
by:
SpringerLink (Online service); Hoek, Wiebe van der.; Lowe, Benedikt.; Congress on Progress and Controversies in Oncological Urology (2000:); Bonanno, Giacomo.
(Electronic resources)
New Computational Paradigms = First Conference on Computability in Europe, CiE 2005, Amsterdam, The Netherlands, June 8-12, 2005, Proceedings /
by:
SpringerLink (Online service); Cooper, S. B.; Lowe, Benedikt.; Congress on Progress and Controversies in Oncological Urology (2000:); Torenvliet, Leen.
(Electronic resources)
Mathematical theory and computational practice = 5th Conference on Computability in Europe, CiE 2009, Heidelberg, Germany, July 19-24, 2009 : Proceedings /
by:
SpringerLink (Online service); Lowe, Benedikt.; Congress on Progress and Controversies in Oncological Urology (2000:); Merkle, Wolfgang.; Ambos-Spies, Klaus.
(Electronic resources)
Subjects
Bioinformatics.
Computable functions
Algorithm Analysis and Problem Complexity.
Math Applications in Computer Science.
Symbolic and Algebraic Manipulation.
Computational intelligence
Theory of Computation.
Computer science- Mathematics
Mathematics of Computing.
Computing Methodologies.
Discrete Mathematics in Computer Science.
Computational complexity
Computer Science.
Computational Biology/Bioinformatics.
Algorithms.
Mathematical Logic and Foundations.
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Computable functions.
Computation by Abstract Devices.
Quantum Computing, Information and Physics.
Philosophy.
Game theory
Algorithms
Logic, Symbolic and mathematical