S. Barry Cooper – författare
Visar alla böcker från författaren S. Barry Cooper. Handla med fri frakt och snabb leverans.
16 produkter
Alan Turing
His Work and Impact
Av S. Barry Cooper, J. van Leeuwen
Inbunden, 2013
713 kr
Lägg i varukorg
In this 2013 winner of the prestigious R.R. Hawkins Award from the Association of American Publishers, as well as the 2013 PROSE Awards for Mathematics and Best in Physical Sciences & Mathematics, also from the AAP, readers will find many of the most significant contributions from the four-volume …
Alan Turing
His Work and Impact
Av J. van Leeuwen, S. Barry Cooper
E-bok, 2013
734 kr
Lägg i varukorg
In this 2013 winner of the prestigious R.R. Hawkins Award from the Association of American Publishers, as well as the 2013 PROSE Awards for Mathematics and Best in Physical Sciences & Mathematics, also from the AAP, readers will find many of the most significant contributions from the four-volume …
Sets and Proofs
Av S. Barry Cooper, John K. Truss
Häftad, 1999
1110 kr
Lägg i varukorg
Together, Sets and Proofs and its sister volume Models and Computability will provide readers with a comprehensive guide to mathematical logic. All the authors are leaders in their fields and are drawn from the invited speakers at 'Logic Colloquium '97' (the major international meeting of the …
Models and Computability
Av S. Barry Cooper, John K. Truss
Häftad, 1999
1110 kr
Lägg i varukorg
Together, Models and Computability and its sister volume Sets and Proofs will provide readers with a comprehensive guide to the current state of mathematical logic. All the authors are leaders in their fields and are drawn from the invited speakers at 'Logic Colloquium '97' (the major international …
The Once and Future Turing
Computing the World
Av S. Barry Cooper, Andrew Hodges
Inbunden, 2016
403 kr
Lägg i varukorg
Alan Turing (1912-1954) made seminal contributions to mathematical logic, computation, computer science, artificial intelligence, cryptography and theoretical biology. In this volume, outstanding scientific thinkers take a fresh look at the great range of Turing's contributions, on how the subjects …
Computability Theory
E-bok, 2017
1905 kr
Lägg i varukorg
Computability theory originated with the seminal work of Gödel, Church, Turing, Kleene and Post in the 1930s. This theory includes a wide spectrum of topics, such as the theory of reducibilities and their degree structures, computably enumerable sets and their automorphisms, and subrecursive …
Computability Theory
E-bok, 2017
1864 kr
Lägg i varukorg
Computability theory originated with the seminal work of Gödel, Church, Turing, Kleene and Post in the 1930s. This theory includes a wide spectrum of topics, such as the theory of reducibilities and their degree structures, computably enumerable sets and their automorphisms, and subrecursive …
Computability Theory
Inbunden, 2003
1880 kr
Lägg i varukorg
Computability theory originated with the seminal work of Gödel, Church, Turing, Kleene and Post in the 1930s. This theory includes a wide spectrum of topics, such as the theory of reducibilities and their degree structures, computably enumerable sets and their automorphisms, and subrecursive …
COMPUTABILITY IN CONTEXT: COMPUTATION AND LOGIC IN THE REAL WORLD
Av Cooper S Barry, S Barry Cooper m. fl.
Inbunden, 2011
2243 kr
Lägg i varukorg
Computability has played a crucial role in mathematics and computer science, leading to the discovery, understanding and classification of decidable/undecidable problems, paving the way for the modern computer era, and affecting deeply our view of the world. Recent new paradigms of computation, …
Theory and Applications of Models of Computation
11th Annual Conference, TAMC 2014, Chennai, India, April 11-13, 2014, Proceedings
Av T V Gopal, Manindra Agrawal m. fl.
Häftad, 2014
566 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 11th Annual Conference on Theory and Applications of Models of Computation, TAMC 2014, held in Chennai, India, in April 2014. The 27 revised full papers presented were carefully reviewed and selected from 112 submissions. The papers explore the …
Theory and Applications of Models of Computation
11th Annual Conference, TAMC 2014, Chennai, India, April 11-13, 2014, Proceedings
Av S. Barry Cooper, Angsheng Li m. fl.
E-bok, 2014
739 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 11th Annual Conference on Theory and Applications of Models of Computation, TAMC 2014, held in Chennai, India, in April 2014. The 27 revised full papers presented were carefully reviewed and selected from 112 submissions. The papers explore the …
Incomputable
Journeys Beyond the Turing Barrier
Av S. Barry Cooper, Mariya I. Soskova
Inbunden, 2017
1419 kr
Lägg i varukorg
This book questions the relevance of computation to the physical universe. Our theories deliver computational descriptions, but the gaps and discontinuities in our grasp suggest a need for continued discourse between researchers from different disciplines, and this book is unique in its focus on …
Incomputable
Journeys Beyond the Turing Barrier
Av Mariya I. Soskova, S. Barry Cooper
E-bok, 2017
1746 kr
Lägg i varukorg
This book questions the relevance of computation to the physical universe. Our theories deliver computational descriptions, but the gaps and discontinuities in our grasp suggest a need for continued discourse between researchers from different disciplines, and this book is unique in its focus on …
Incomputable
Journeys Beyond the Turing Barrier
Av S. Barry Cooper, Mariya I. Soskova
Häftad, 2018
1419 kr
Lägg i varukorg
This book questions the relevance of computation to the physical universe. Our theories deliver computational descriptions, but the gaps and discontinuities in our grasp suggest a need for continued discourse between researchers from different disciplines, and this book is unique in its focus on …
COMPUTING WITH INCOMPLETE INFORMATION: THE MATHEMATICS OF ENUMERATION AND POSITIVE REDUCIBILITIES
Av S Barry Cooper, Andrea Sorbi m. fl.
Inbunden, 2027
2069 kr
Kommande
This book aims to provide a unique introduction to the mathematics of computing with imperfect information. This rapidly developing field has been represented by a growing number of diverse contributions to academic journals and the proceedings of international conferences. The aim here is to bring …
Logic Colloquium 2006
Av S. Barry Cooper, Herman Geuvers m. fl.
Inbunden, 2009
1837 kr
Tillfälligt slut
The Annual European Meeting of the Association for Symbolic Logic, also known as the Logic Colloquium, is among the most prestigious annual meetings in the field. The current volume, with contributions from plenary speakers and selected special session speakers, contains both expository and …
