語系
Lowe, Benedikt.
概要
| 作品: | 1 作品在 7 項出版品 1 種語言 | |
|---|---|---|
書目資訊
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)
(書目-電子資源)
New Computational Paradigms = Changing Conceptions of What is Computable /
by:
Cooper, S. Barry.; Lowe, Benedikt.; SpringerLink (Online service); Sorbi, Andrea.
(書目-電子資源)
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.
(書目-電子資源)
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:)
(書目-電子資源)
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.
(書目-電子資源)
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.
(書目-電子資源)
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.
(書目-電子資源)
主題
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