Viimati ilmunud raamatud

Computable Structure Theory: A Unified Approach

Wed, 20 Aug 2025 00:00:00 GMT

Rodney G. Downey, Alexander Melnikov
ISBN: 9783031924323
Kirjastus: Springer International Publishing AG
Formaat: K�va k�ide, Ilmumisaeg: 20-Aug-2025
Hind: 122,82 �

Restarting Automata: Extensions and Generalizations

Sat, 15 Mar 2025 00:00:00 GMT

Friedrich Otto
ISBN: 9783031787003
Kirjastus: Springer International Publishing AG
Formaat: K�va k�ide, Ilmumisaeg: 15-Mar-2025
Hind: 187,67 �

Restarting Automata: The Standard Type of Restarting Automaton and Its Variants 2024 ed.

Wed, 30 Oct 2024 00:00:00 GMT

Friedrich Otto
ISBN: 9783031700934
Kirjastus: Springer International Publishing AG
Formaat: K�va k�ide, Ilmumisaeg: 30-Oct-2024
Hind: 187,67 �

Programs as Diagrams: From Categorical Computability to Computable Categories 2023 ed.

Sat, 21 Sep 2024 00:00:00 GMT

Dusko Pavlovic
ISBN: 9783031348297
Kirjastus: Springer International Publishing AG
Formaat: Pehme k�ide, Ilmumisaeg: 21-Sep-2024
Hind: 57,96 �

Programs as Diagrams: From Categorical Computability to Computable Categories 2023 ed.

Wed, 20 Sep 2023 00:00:00 GMT

Dusko Pavlovic
ISBN: 9783031348266
Kirjastus: Springer International Publishing AG
Formaat: K�va k�ide, Ilmumisaeg: 20-Sep-2023
Hind: 81,12 �

Reverse Mathematics: Problems, Reductions, and Proofs 2022 ed.

Wed, 26 Jul 2023 00:00:00 GMT

Damir D. Dzhafarov, Carl Mummert
ISBN: 9783031113697
Kirjastus: Springer International Publishing AG
Formaat: Pehme k�ide, Ilmumisaeg: 26-Jul-2023
Hind: 62,59 �

Reverse Mathematics: Problems, Reductions, and Proofs 2022 ed.

Tue, 26 Jul 2022 00:00:00 GMT

Damir D. Dzhafarov, Carl Mummert
ISBN: 9783031113666
Kirjastus: Springer International Publishing AG
Formaat: K�va k�ide, Ilmumisaeg: 26-Jul-2022
Hind: 85,76 �

Handbook of Computability and Complexity in Analysis 2021 ed.

Mon, 06 Jun 2022 00:00:00 GMT

Vasco Brattka, Peter Hertling
ISBN: 9783030592363
Kirjastus: Springer Nature Switzerland AG
Formaat: Pehme k�ide, Ilmumisaeg: 06-Jun-2022
Hind: 67,23 �

Handbook of Computability and Complexity in Analysis 2021 ed.

Sat, 05 Jun 2021 00:00:00 GMT

Vasco Brattka, Peter Hertling
ISBN: 9783030592332
Kirjastus: Springer Nature Switzerland AG
Formaat: K�va k�ide, Ilmumisaeg: 05-Jun-2021
Hind: 95,02 �

Incomputable: Journeys Beyond the Turing Barrier Softcover reprint of the original 1st ed. 2017

Fri, 28 Jul 2017 00:00:00 GMT

S. Barry Cooper, Mariya I. Soskova
ISBN: 9783319828817
Kirjastus: Springer International Publishing AG
Formaat: Pehme k�ide, Ilmumisaeg: 28-Jul-2017
Hind: 122,82 �

Turing Computability: Theory and Applications Softcover reprint of the original 1st ed. 2016

Wed, 07 Jun 2017 00:00:00 GMT

Robert I. Soare
ISBN: 9783662568583
Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Formaat: Pehme k�ide, Ilmumisaeg: 07-Jun-2017
Hind: 55,18 �

Incomputable: Journeys Beyond the Turing Barrier 1st ed. 2017

Fri, 12 May 2017 00:00:00 GMT

S. Barry Cooper, Mariya I. Soskova
ISBN: 9783319436678
Kirjastus: Springer International Publishing AG
Formaat: K�va k�ide, Ilmumisaeg: 12-May-2017
Hind: 122,82 �

Turing Computability: Theory and Applications 1st ed. 2016

Tue, 28 Jun 2016 00:00:00 GMT

Robert I. Soare
ISBN: 9783642319327
Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Formaat: K�va k�ide, Ilmumisaeg: 28-Jun-2016
Hind: 76,49 �

Higher-Order Computability 1st ed. 2015

Tue, 17 Nov 2015 00:00:00 GMT

John Longley, Dag Normann
ISBN: 9783662479919
Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Formaat: K�va k�ide, Ilmumisaeg: 17-Nov-2015
Hind: 150,61 �

Algorithmic Randomness and Complexity Softcover reprint of the original 1st ed. 2010

Sun, 23 Aug 2015 00:00:00 GMT

Rodney G. Downey, Denis R. Hirschfeldt
ISBN: 9781493938209
Kirjastus: Springer-Verlag New York Inc.
Formaat: Pehme k�ide, Ilmumisaeg: 23-Aug-2015
Hind: 95,02 �