Hoppa till sidans huvudinnehåll

Visar resultat för...

Theory and Applications of Computability

36 produkter

Algorithmic Randomness and Complexity

AvRodney G. Downey,Denis R. Hirschfeldt,Rodney G Downey,Denis R Hirschfeldt

Inbunden, Engelska, 2010

1 949 kr

Skickas inom 10-15 vardagar

Algorithmic Randomness and Complexity

AvRodney G. Downey,Denis R. Hirschfeldt

Häftad, Engelska, 2016

1 409 kr

Skickas inom 10-15 vardagar

Handbook of Computability and Complexity in Analysis

AvVasco Brattka,Peter Hertling

Inbunden, Engelska, 2021

1 369 kr

Skickas inom 10-15 vardagar

Handbook of Computability and Complexity in Analysis

AvVasco Brattka,Peter Hertling

Häftad, Engelska, 2022

959 kr

Skickas inom 10-15 vardagar

Reverse Mathematics

Problems, Reductions, and Proofs

AvDamir D. Dzhafarov,Carl Mummert

Inbunden, Engelska, 2022

799 kr

Skickas inom 5-8 vardagar

Reverse Mathematics

Problems, Reductions, and Proofs

AvDamir D. Dzhafarov,Carl Mummert

Häftad, Engelska, 2023

579 kr

Skickas inom 5-8 vardagar

Programs as Diagrams

From Categorical Computability to Computable Categories

AvDusko Pavlovic

Inbunden, Engelska, 2023

1 159 kr

Skickas inom 10-15 vardagar

Programs as Diagrams

From Categorical Computability to Computable Categories

AvDusko Pavlovic

Häftad, Engelska, 2024

829 kr

Skickas inom 10-15 vardagar

Restarting Automata

The Standard Type of Restarting Automaton and Its Variants

AvFriedrich Otto

Inbunden, Engelska, 2024

2 779 kr

Skickas inom 10-15 vardagar

Restarting Automata

The Standard Type of Restarting Automaton and Its Variants

AvFriedrich Otto

Häftad, Engelska, 2025

2 359 kr

Skickas inom 10-15 vardagar

Restarting Automata

Extensions and Generalizations

AvFriedrich Otto

Inbunden, Engelska, 2025

2 779 kr

Skickas inom 10-15 vardagar

Computable Structure Theory

A Unified Approach

AvRodney G. Downey,Alexander Melnikov

Inbunden, Engelska, 2025

1 779 kr

Skickas inom 10-15 vardagar

Choquet Capacities and Fuzzy Integrals

AvGleb Beliakov,Simon James,Jian-Zhang Wu

Inbunden, Engelska, 2025

1 099 kr

Skickas inom 10-15 vardagar

Incomputable

Journeys Beyond the Turing Barrier

AvS. Barry Cooper,Mariya I. Soskova

Inbunden, Engelska, 2017

1 779 kr

Skickas inom 10-15 vardagar

Incomputable

Journeys Beyond the Turing Barrier

AvS. Barry Cooper,Mariya I. Soskova

Häftad, Engelska, 2018

1 779 kr

Skickas inom 10-15 vardagar

Apartness and Uniformity

A Constructive Development

AvDouglas S. Bridges,Luminiţa Simona Vîţă,Luminiţa Simona Vîţă,Luminita Simona Vîta,Lumini¿a Simona Vî¿¿

Inbunden, Engelska, 2011

1 369 kr

Skickas inom 10-15 vardagar

Apartness and Uniformity

A Constructive Development

AvDouglas S. Bridges,Luminiţa Simona Vîţă,Luminiţa Simona Vîţă,Luminita Simona Vîta,Lumini¿a Simona Vî¿¿

Häftad, Engelska, 2013

1 369 kr

Skickas inom 10-15 vardagar

Turing Computability

Theory and Applications

AvRobert I. Soare

Inbunden, Engelska, 2016

1 099 kr

Skickas inom 10-15 vardagar

Higher-Order Computability

AvJohn Longley,Dag Normann

Inbunden, Engelska, 2015

2 229 kr

Skickas inom 10-15 vardagar

Higher-Order Computability

AvJohn Longley,Dag Normann

Häftad, Engelska, 2016

2 229 kr

Skickas inom 10-15 vardagar

Turing Computability

Theory and Applications

AvRobert I. Soare

Häftad, Engelska, 2018

779 kr

Skickas inom 10-15 vardagar

Heuristic Search

Theory and Applications

AvStefan Edelkamp,Stefan Schroedl,Stefan (Senior Researcher and Lecturer at University of Bremen) Edelkamp,Inc.) Schroedl, Stefan (Senior Scientist at Yahoo!,Stefan Schrodl

Inbunden, Engelska, 2011

1 049 kr

Skickas inom 7-10 vardagar

Computation, Logic, Philosophy

A Collection of Essays

AvWang Hao

Inbunden, Engelska, 1991

1 369 kr

Skickas inom 10-15 vardagar

Fundamentals of Mathematical Logic

AvPeter G. Hinman,USA) Hinman, Peter G. (University of Michigan, Ann Arbor

Inbunden, Engelska, 2005

2 079 kr

Skickas inom 10-15 vardagar

Del 8660 - Lecture Notes in Computer Science

Computer Algebra in Scientific Computing

16th International Workshop, CASC 2014, Warsaw, Poland, September 8-12, 2014. Proceedings

AvVladimir P. Gerdt,Wolfram Koepf,Werner M. Seiler,Evgenii V. Vorozhtsov,Vladimir Gerdt

Häftad, Engelska, 2014

689 kr

Skickas inom 10-15 vardagar

Del 9301 - Lecture Notes in Computer Science

Computer Algebra in Scientific Computing

17th International Workshop, CASC 2015, Aachen, Germany, September 14-18, 2015, Proceedings

AvVladimir P. Gerdt,Wolfram Koepf,Werner M. Seiler,Evgenii V. Vorozhtsov

Häftad, Engelska, 2015

689 kr

Skickas inom 10-15 vardagar

Del 9890 - Lecture Notes in Computer Science

Computer Algebra in Scientific Computing

18th International Workshop, CASC 2016, Bucharest, Romania, September 19-23, 2016, Proceedings

AvVladimir P. Gerdt,Wolfram Koepf,Werner M. Seiler,Evgenii V. Vorozhtsov

Häftad, Engelska, 2016

689 kr

Skickas inom 10-15 vardagar

Theory and Applications of Models of Computation

Third International Conference, TAMC 2006, Beijing, China, May 15-20, 2006, Proceedings

AvJin-Yi Cai,Barry S. Cooper,Angsheng Li

Häftad, Engelska, 2006

1 369 kr

Skickas inom 10-15 vardagar

Theory and Applications of Models of Computation

4th International Conference, TAMC 2007, Shanghai, China, May 22-25, 2007, Proceedings

AvJin-Yi Cai,Barry S. Cooper,Hong Zhu

Häftad, Engelska, 2007

1 369 kr

Skickas inom 10-15 vardagar

Theory and Applications of Models of Computation

5th International Conference, TAMC 2008, Xi'an, China, April 25-29, 2008, Proceedings

AvManindra Agrawal,Ding-Zhu Du,Zhenhua Duan,Angsheng Li

Häftad, Engelska, 2008

1 369 kr

Skickas inom 10-15 vardagar