語系
Lowe, Benedikt.
概要
| 作品: | 1 作品在 3 項出版品 1 種語言 | |
|---|---|---|
書目資訊
New Computational Paradigms = Changing Conceptions of What is Computable /
by:
Sorbi, Andrea.; SpringerLink (Online service); Lowe, Benedikt.; Cooper, S. Barry.
(書目-語言資料,印刷品)
The nature of computation = logic, algorithms, applications : 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013 : proceedings /
by:
Workshop on the Preservation of Stability under Discretization ((2001 :); Lowe, Benedikt.; Bonizzoni, Paola.; Brattka, Vasco.; SpringerLink (Online service)
(書目-語言資料,印刷品)
Models of computation in context = 7th conference on computability in Europe, CiE 2011, Sofia, Bulgaria, June 27 - July 2, 2011 : proceedings /
by:
SpringerLink (Online service); Lowe, Benedikt.; Workshop on the Preservation of Stability under Discretization ((2001 :)
(書目-語言資料,印刷品)
Logic and Theory of Algorithms = 4th Conference on Computability in Europe, CiE 2008, Athens, Greece, June 15-20, 2008 Proceedings /
by:
Workshop on the Preservation of Stability under Discretization ((2001 :); Lowe, Benedikt.; Dimitracopoulos, Costas.; Beckmann, Arnold.; SpringerLink (Online service)
(書目-語言資料,印刷品)
How the world computes = Turing Centenary Conference and 8th Conference on Computability in Europe, CiE 2012, Cambridge, UK, June 18-23, 2012 : proceedings /
by:
SpringerLink (Online service); Cooper, S. Barry.; Lowe, Benedikt.; Workshop on the Preservation of Stability under Discretization ((2001 :); Dawar, Anuj.
(書目-語言資料,印刷品)
New Computational Paradigms = First Conference on Computability in Europe, CiE 2005, Amsterdam, The Netherlands, June 8-12, 2005, Proceedings /
by:
Workshop on the Preservation of Stability under Discretization ((2001 :); Torenvliet, Leen.; Lowe, Benedikt.; SpringerLink (Online service); Cooper, S. B.
(書目-語言資料,印刷品)
Classical and new paradigms of computation and their complexity hierarchies = papers of the conference "Foundations of the Formal Sciences III" /
by:
Workshop on the Preservation of Stability under Discretization ((2001 :); Lowe, Benedikt.; Piwinger, Boris.; Rasch, Thoralf.; SpringerLink (Online service)
(書目-語言資料,印刷品)
主題
Bioinformatics.
Math Applications in Computer Science.
Symbolic and Algebraic Manipulation.
Theory of Computation.
Algorithms.
Computable functions.
Mathematical Logic and Foundations.
Computer science
Logics and Meanings of Programs.
Functions of complex variables
Computing Methodologies.
Philosophy.
Computable functions
Algorithm Analysis and Problem Complexity.
Computational intelligence
Mathematics of Computing.
Computer Science.
Algorithms
Logic, Symbolic and mathematical
Discrete Mathematics in Computer Science.
Computational complexity
Computational Biology/Bioinformatics.
Quantum Computing, Information and Physics.
Computation by Abstract Devices.