Zum Inhalt springen

  1. Brattka, Vasco [VerfasserIn]; Dzhafarov, Damir D. [VerfasserIn]; Marcone, Alberto [VerfasserIn]; Pauly, Arno [VerfasserIn] ; Vasco Brattka and Damir D. Dzhafarov and Alberto Marcone and Arno Pauly [MitwirkendeR]

    Measuring the Complexity of Computational Content: From Combinatorial Problems to Analysis (Dagstuhl Seminar 18361)

    Aufsätze
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2019

  2. Berger, Ulrich [VerfasserIn]; Brattka, Vasco [VerfasserIn]; Selivanov, Victor [VerfasserIn]; Spreen, Dieter [VerfasserIn]; Tsuiki, Hideki [VerfasserIn] ; Ulrich Berger and Vasco Brattka and Victor Selivanov and Dieter Spreen and Hideki Tsuiki [MitwirkendeR]

    Computing with Infinite Data: Topological and Logical Foundations (Dagstuhl Seminar 11411)

    Aufsätze
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2012

  3. Hertling, Peter [VerfasserIn]; Selivanov, Victor [VerfasserIn]; Thomas, Wolfgang [VerfasserIn]; Wadge, William W. [VerfasserIn]; Wagner, Klaus [VerfasserIn] ; Peter Hertling and Victor Selivanov and Wolfgang Thomas and William W. Wadge and Klaus Wagner [MitwirkendeR]

    08271 Executive Summary – Topological and Game-Theoretic Aspects of Infinite Computations

    Aufsätze
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2008

  4. Bauer, Andrej [VerfasserIn]; Hertling, Peter [VerfasserIn]; Ko, Ker-I [VerfasserIn] ; Andrej Bauer and Peter Hertling and Ker-I Ko [MitwirkendeR]

    CCA 2009 Front Matter - Proceedings of the Sixth International Conference on Computability and Complexity in Analysis

    Aufsätze
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2009

  5. Bauer, Andrej [VerfasserIn]; Hertling, Peter [VerfasserIn]; Ko, Ker-I [VerfasserIn] ; Andrej Bauer and Peter Hertling and Ker-I Ko [MitwirkendeR]

    CCA 2009 Preface - Proceedings of the Sixth International Conference on Computability and Complexity in Analysis

    Aufsätze
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2009

  6. Brattka, Vasco [VerfasserIn]; Kawamura, Akitoshi [VerfasserIn]; Marcone, Alberto [VerfasserIn]; Pauly, Arno [VerfasserIn] ; Vasco Brattka and Akitoshi Kawamura and Alberto Marcone and Arno Pauly [MitwirkendeR]

    Measuring the Complexity of Computational Content (Dagstuhl Seminar 15392)

    Aufsätze
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2016

  7. Gehrke, Mai [VerfasserIn]; Pin, Jean-Eric [VerfasserIn]; Selivanov, Victor [VerfasserIn]; Spreen, Dieter [VerfasserIn] ; Mai Gehrke and Jean-Eric Pin and Victor Selivanov and Dieter Spreen [MitwirkendeR]

    Duality in Computer Science (Dagstuhl Seminar 13311)

    Aufsätze
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2013

  8. Hertling, Peter [VerfasserIn]; Selivanov, Victor [VerfasserIn]; Thomas, Wolfgang [VerfasserIn]; Wadge, William W. [VerfasserIn]; Wagner, Klaus [VerfasserIn] ; Peter Hertling and Victor Selivanov and Wolfgang Thomas and William W. Wadge and Klaus Wagner [MitwirkendeR]

    08271 Abstracts Collection – Topological and Game-Theoretic Aspects of Infinite Computations

    Aufsätze
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2008

  9. Kawamura, Akitoshi [VerfasserIn]; Thies, Holger [VerfasserIn]; Ziegler, Martin [VerfasserIn] ; Akitoshi Kawamura and Holger Thies and Martin Ziegler [MitwirkendeR]

    Average-Case Polynomial-Time Computability of Hamiltonian Dynamics

    Aufsätze
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2018

  10. Blanck, Jens [VerfasserIn] ; Brattka, Vasco [Sonstige Person, Familie und Körperschaft]; Hertling, Peter [Sonstige Person, Familie und Körperschaft]

    Computability and Complexity in Analysis : 4th International Workshop, CCA 2000 Swansea, UK, September 17–19, 2000 Selected Papers

    Bücher
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin, Heidelberg: Springer-Verlag Berlin Heidelberg, 2001

    Erschienen in: Lecture notes in computer science ; 2064

  11. Manea, Florin [HerausgeberIn]; Miller, Russell G. [HerausgeberIn]; Nowotka, Dirk [HerausgeberIn]

    Sailing Routes in the World of Computation : 14th Conference on Computability in Europe, CiE 2018, Kiel, Germany, July 30 – August 3, 2018, Proceedings

    Bücher
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Cham: Springer International Publishing, 2018

    Erschienen in: Lecture notes in computer science ; 1093600

  12. Manea, Florin [HerausgeberIn]; Martin, Barnaby [HerausgeberIn]; Paulusma, Daniel [HerausgeberIn]; Primiero, Giuseppe [HerausgeberIn]

    Computing with Foresight and Industry : 15th Conference on Computability in Europe, CiE 2019, Durham, UK, July 15–19, 2019, Proceedings - [1st ed. 2019]

    Bücher
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Cham: Springer, 2019

    Erschienen in: Theoretical Computer Science and General Issues ; 11558- Springer eBook Collection- Springer eBooks ; Computer Science

  13. Binder, Ilia; Glucksam, Adi; Rojas, Cristobal; Yampolsky, Michael

    Computability in Harmonic Analysis

    Aufsätze
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Springer Science and Business Media LLC, 2022

    Erschienen in: Foundations of Computational Mathematics