Vasco Brattka – författare
Visar alla böcker från författaren Vasco Brattka. Handla med fri frakt och snabb leverans.
13 produkter
Logic, Computation, Hierarchies
Av Vasco Brattka, Hannes Diener m. fl.
Inbunden, 2014
2206 kr
Lägg i varukorg
Published in honor of Victor L. Selivanov, the 17 articles collected in this volume inform on the latest developments in computability theory and its applications in computable analysis; descriptive set theory and topology; and the theory of omega-languages; as well as non-classical logics, such as …
Logic, Computation, Hierarchies
Av Dieter Spreen, Hannes Diener m. fl.
E-bok, 2014
2232 kr
Lägg i varukorg
Published in honor of Victor L. Selivanov, the 17 articles collected in this volume inform on the latest developments in computability theory and its applications in computable analysis; descriptive set theory and topology; and the theory of omega-languages; as well as non-classical logics, such as …
Logic, Computation, Hierarchies
Av Dieter Spreen, Hannes Diener m. fl.
E-bok, 2014
2184 kr
Lägg i varukorg
Published in honor of Victor L. Selivanov, the 17 articles collected in this volume inform on the latest developments in computability theory and its applications in computable analysis; descriptive set theory and topology; and the theory of omega-languages; as well as non-classical logics, such as …
Handbook of Computability and Complexity in Analysis
Av Vasco Brattka, Peter Hertling
Inbunden, 2021
1093 kr
Lägg i varukorg
Computable analysis is the modern theory of computability and complexity in analysis that arose out of Turing's seminal work in the 1930s. This was motivated by questions such as: which real numbers and real number functions are computable, and which mathematical tasks in analysis can be solved by …
Handbook of Computability and Complexity in Analysis
Av Peter Hertling, Vasco Brattka
E-bok, 2021
947 kr
Lägg i varukorg
Computable analysis is the modern theory of computability and complexity in analysis that arose out of Turing''s seminal work in the 1930s. This was motivated by questions such as: which real numbers and real number functions are computable, and which mathematical tasks in analysis can be solved by …
Handbook of Computability and Complexity in Analysis
Av Vasco Brattka, Peter Hertling
Häftad, 2022
767 kr
Lägg i varukorg
Computable analysis is the modern theory of computability and complexity in analysis that arose out of Turing's seminal work in the 1930s. This was motivated by questions such as: which real numbers and real number functions are computable, and which mathematical tasks in analysis can be solved by …
Timeless Machines: Computability Across Eras
22nd Conference on Computability in Europe, CiE 2026, Trier, Germany, July 27–31, 2026, Proceedings
Av Vasco Brattka, Henning Fernau m. fl.
Häftad, 2026
900 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 22nd Conference on Timeless Machines: Computability Across Eras, CiE 2026, held in Trier, Germany, during July 27–31, 2026.The 30 full papers included in this book were carefully reviewed and selected from 57 submissions. The conference had six …
Computability and Complexity in Analysis
4th International Workshop, CCA 2000, Swansea, UK, September 17-19, 2000. Selected Papers
Av Jens Blanck, Vasco Brattka m. fl.
Häftad, 2001
566 kr
Lägg i varukorg
The workshop on Computability and Complexity in Analysis, CCA 2000, was hosted by the Department of Computer Science of the University of Wales Swansea, September 17{19, 2000. It was the fourth workshop in a successful series of workshops: CCA’95 in Hagen, Germany, CCA’96 in Trier, Germany, and …
Computability and Complexity in Analysis
4th International Workshop, CCA 2000, Swansea, UK, September 17-19, 2000. Selected Papers
Av Peter Hertling, Vasco Brattka m. fl.
E-bok, 2003
718 kr
Lägg i varukorg
The workshop on Computability and Complexity in Analysis, CCA 2000, was hosted by the Department of Computer Science of the University of Wales Swansea, September 17{19, 2000. It was the fourth workshop in a successful series of workshops: CCA’95 in Hagen, Germany, CCA’96 in Trier, Germany, and …
Infinity in Logic and Computation
International Conference, ILC 2007, Cape Town, South Africa, November 3-5, 2007, Revised Selected Papers
Av Margaret Archibald, Vasco Brattka m. fl.
Häftad, 2009
566 kr
Lägg i varukorg
Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this volume constitutes a selection of papers presented at the Internatonal Conference on Infinity in Logic and Computation, ILC 2007, held in Cape Town, South Africa, in November 2007.The 7 revised papers …
Infinity in Logic and Computation
International Conference, ILC 2007, Cape Town, South Africa, November 3-5, 2007, Revised Selected Papers
Av Benedikt Lowe, Valentin F. Goranko m. fl.
E-bok, 2009
739 kr
Lägg i varukorg
Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this volume constitutes a selection of papers presented at the Internatonal Conference on Infinity in Logic and Computation, ILC 2007, held in Cape Town, South Africa, in November 2007. The 7 revised papers …
Nature of Computation: Logic, Algorithms, Applications
9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013, Proceedings
Av Paola Bonizzoni, Vasco Brattka m. fl.
Häftad, 2013
550 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 9th Conference on Computability in Europe, CiE 2013, held in Milan, Italy, in July 2013. The 48 revised papers presented together with 1 invited lecture and 2tutorials were carefully reviewed and selected with an acceptance rate of under 31,7%. …
Nature of Computation: Logic, Algorithms, Applications
9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013, Proceedings
Av Benedikt Lowe, Vasco Brattka m. fl.
E-bok, 2013
734 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 9th Conference on Computability in Europe, CiE 2013, held in Milan, Italy, in July 2013. The 48 revised papers presented together with 1 invited lecture and 2 tutorials were carefully reviewed and selected with an acceptance rate of under 31,7%. …
