語系
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)
(書目-語言資料,印刷品)
主題
Computable functions
Bioinformatics.
Algorithm Analysis and Problem Complexity.
Math Applications in Computer Science.
Symbolic and Algebraic Manipulation.
Computational intelligence
Theory of Computation.
Computing Methodologies.
Mathematics of Computing.
Discrete Mathematics in Computer Science.
Computational complexity
Computer Science.
Computational Biology/Bioinformatics.
Algorithms.
Computable functions.
Mathematical Logic and Foundations.
Computer science
Logics and Meanings of Programs.
Philosophy.
Quantum Computing, Information and Physics.
Computation by Abstract Devices.
Functions of complex variables
Algorithms
Logic, Symbolic and mathematical