WorldCat Identities

Cooper, S. B. (S. Barry)

Overview
Works: 37 works in 311 publications in 1 language and 12,032 library holdings
Genres: Conference papers and proceedings  Biography  History 
Roles: Author, Editor, Other
Classifications: QA9.59, 511.3
Publication Timeline
.
Most widely held works by S. B Cooper
Theory and applications of models of computation : third international conference, TAMC 2006, Beijing, China, May 15-20, 2006 : proceedings by Manindra Agrawal( Book )

61 editions published between 2006 and 2014 in English and Undetermined and held by 314 WorldCat member libraries worldwide

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 algorithmic foundations, computational methods, and computing devices to meet today's and tomorrow's challenges of complexity, scalability, and sustainability, with wide-ranging impacts on everything from the design of biological systems to the understanding of economic markets and social networks
Computability, enumerability, unsolvability : directions in recursion theory by S. B Cooper( Book )

20 editions published between 1996 and 2009 in English and Undetermined and held by 309 WorldCat member libraries worldwide

The fundamental ideas concerning computation and recursion naturally find their place at the interface between logic and theoretical computer science. The contributions in this book, by leaders in the field, provide a picture of current ideas and methods in the ongoing investigations into the pure mathematical foundations of computability theory. The topics range over computable functions, enumerable sets, degree structures, complexity, subrecursiveness, domains and inductive inference. A number of the articles contain introductory and background material which it is hoped will make this volume an invaluable resource
Alan Turing : his work and impact by S. B Cooper( Book )

17 editions published between 2012 and 2013 in English and held by 295 WorldCat member libraries worldwide

This new and exciting book, published in celebration of the centenary of Alan Turing's birth in London, includes a large number of the most significant contributions from the 4-volume set of the Collected Works of A.M. Turing. These contributions, together with a wide spectrum of accompanying commentaries from current world-leading experts in many different fields and backgrounds, provide insight on the significance and contemporary impact of A.M. Turing's work
Computability theory by S. B Cooper( Book )

19 editions published between 2002 and 2014 in English and held by 281 WorldCat member libraries worldwide

"Computability Theory presents a comprehensive, highly readable introduction to contemporary computability theory, techniques, and results. The author places the basic concepts and techniques in their historical, philosophical, and logical contexts, and offers an unusual breadth of coverage, including a number of advanced topics not usually addressed in books at this level. The result is an invaluable text, reference, and guide to the direction of current research in the field. The author brings the techniques and results of this beautiful and basic subject alive in an approachable and lively way."--Jacket
Sets and proofs : invited papers from Logic Colloquium '97, European Meeting of the Association for Symbolic Logic, Leeds, July 1997 by S. B Cooper( Book )

17 editions published in 1999 in English and held by 272 WorldCat member libraries worldwide

Models and computability : invited papers from Logic Colloquium '97, European Meeting of the Association for Symbolic Logic, Leeds, July 1997 by S. B Cooper( Book )

19 editions published in 1999 in English and held by 257 WorldCat member libraries worldwide

Together, Models and Computability and its sister volume Sets and Proofs 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 meeting of the Association of Symbolic Logic). It is expected that the breadth and timeliness of these two volumes will prove an invaluable and unique resource for specialists, post-graduate researchers, and the informed and interested nonspecialist
New computational paradigms : changing conceptions of what is computable by S. B Cooper( Book )

16 editions published between 2007 and 2008 in English and held by 223 WorldCat member libraries worldwide

Examines developments in the theory and practice of computation from a mathematical perspective, with topics ranging from classical computability to complexity, from biocomputing to quantum computing. This book covers topics in computability theory such as relative computability, theory of numberings, and domain theory
New computational paradigms : First Conference on Computability in Europe, CiE 2005, Amsterdam, the Netherlands, June 8-12, 2005 ; proceedings by S. B Cooper( Book )

27 editions published in 2005 in English and Undetermined and held by 177 WorldCat member libraries worldwide

Computation and logic in the real world : Third Conference on Computability in Europe, CiE 2007, Siena, Italy, June 18-23, 2007 : proceedings by S. B Cooper( Book )

27 editions published between 2007 and 2009 in English and held by 124 WorldCat member libraries worldwide

This book constitutes the refereed proceedings of the Third International Conference on Computability in Europe, CiE 2007, held in Sienna, Italy, in June 2007. The 50 revised full papers presented together with 36 invited papers were carefully reviewed and selected from 167 submissions. Among them are papers corresponding to 12 plenary talks and papers of 8 special sessions entitled doing without turing machines: constructivism and formal topology, approaches to computational learning, real computation, computability and mathematical structure, complexity of algorithms and proofs, logic and ne
Computability and models : perspectives east and west by S. B Cooper( Book )

9 editions published in 2003 in English and held by 117 WorldCat member libraries worldwide

There are few notions as fundamental to contemporary science as those of computability and modelling. Computability and Models attempts to make some of the exciting and important new research developments in this area accessible to a wider readership. Written by international leaders drawn from major research centres both East and West, this book is an essential addition to scientific libraries serving both specialist and the interested non-specialist reader
Computability in context : computation and logic in the real world( Book )

16 editions published between 2009 and 2011 in English and Undetermined and held by 110 WorldCat member libraries worldwide

Addresses various ways computability and theoretical computer science enable scientists and philosophers to deal with mathematical and real-world issues. This book covers problems related to logic, mathematics, physical processes, real computation and learning theory
Logic Colloquium 2006 by S. B Cooper( Book )

13 editions published between 2008 and 2009 in English and held by 87 WorldCat member libraries worldwide

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 research papers by some of the best logicians in the world. The most topical areas of current research are covered: valued fields, Hrushovski constructions (from model theory), algorithmic randomness, relative computability (from computability theory), strong forcing axioms and cardinal arithmetic, large cardinals and determinacy (from set theory), as well as foundational topics such as algebraic set theory, reverse mathematics, and unprovability. This volume will be invaluable for experts as well as those interested in an overview of central contemporary themes in mathematical logic
The once and future Turing : computing the world by S. B Cooper( Book )

9 editions published in 2016 in English and held by 82 WorldCat member libraries worldwide

"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 have developed since his time, and how they might develop still further. The contributors include Martin Davis, J. M. E. Hyland, Andrew R. Booker, Ueli Maurer, Kanti V. Mardia, S. Barry Cooper, Stephen Wolfram, Christof Teuscher, Douglas Richard Hofstadter, Philip K. Maini, Thomas E. Woolley, Eamonn A. Gaffney, Ruth E. Baker, Richard Gordon, Stuart Kauffman, Scott Aaronson, Solomon Feferman, P. D. Welch and Roger Penrose. These specially commissioned essays will provoke and engross the reader who wishes to understand better the lasting significance of one of the twentieth century's deepest thinkers."--Amazon.com
How the World Computes : Turing Centenary Conference and 8th Conference on Computability in Europe, CiE 2012, Cambridge, UK, June 18-23, 2012, Proceedings by S. B Cooper( Book )

9 editions published in 2012 in English and held by 31 WorldCat member libraries worldwide

Annotation
Computation and logic in the real world : third Conference on Computability in Europe, CiE 2007, Siena, Italy, June 18-23, 2007 ; proceedings by Conference on Computability in Europe( Visual )

3 editions published in 2007 in English and held by 10 WorldCat member libraries worldwide

Computability and Models Perspectives East and West by S. B Cooper( )

1 edition published in 2003 in English and held by 6 WorldCat member libraries worldwide

The Selected Works of A.M. Turing: His Work and Impact by S. B Cooper( Book )

3 editions published in 2012 in English and Undetermined and held by 1 WorldCat member library worldwide

Theory and Applications of Models of Computation 6th Annual Conference, TAMC 2009, Changsha, China, May 18-22, 2009. Proceedings by Jianer Chen( )

1 edition published in 2009 in Undetermined and held by 0 WorldCat member libraries worldwide

This book constitutes the refereed proceedings of the 6th International Conference on Theory and Applications of Models of Computation, TAMC 2009, held in Changsha, China in May 2009. The 39 full papers presented together with 7 invited papers as well as 3 plenary talks were selected from 86 submissions. The papers address the three main themes of the conference which were Computability, Complexity, and Algorithms. The conference aimed to bring together researchers with interests in theoretical computer science, algorithmic mathematics, and applications to the physical sciences
 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.35 (from 0.02 for Computabil ... to 0.92 for Theory and ...)

Computability, enumerability, unsolvability : directions in recursion theory
Alternative Names
Barry Cooper, Stuart 1943-

Barry Cooper, Stuart 1943-2015

Cooper, B. 1943-

Cooper, B. 1943-2015

Cooper, Barry 1943-

Cooper, Barry 1943-2015

Cooper, Barry 1943, 9 oct.-

Cooper, Barry 1943 October 9-

Cooper, Barry 1943 říjen 9.-

Cooper, Barry S.

Cooper, S. B.

Cooper, S. Barry

Cooper, S. Barry 1943-

Cooper, S. Barry 1943-2015

Cooper, Stuart Barry

Cooper, Stuart Barry 1943-

Cooper, Stuart Barry 1943-2015

S. Barry Cooper British philosopher

S. Barry Cooper Brits filosoof (-2015)

S・バリー・クーパー

Languages
English (280)

Covers
Computability, enumerability, unsolvability : directions in recursion theoryComputability theorySets and proofs : invited papers from Logic Colloquium '97, European Meeting of the Association for Symbolic Logic, Leeds, July 1997Models and computability : invited papers from Logic Colloquium '97, European Meeting of the Association for Symbolic Logic, Leeds, July 1997New computational paradigms : changing conceptions of what is computableNew computational paradigms : First Conference on Computability in Europe, CiE 2005, Amsterdam, the Netherlands, June 8-12, 2005 ; proceedingsComputation and logic in the real world : Third Conference on Computability in Europe, CiE 2007, Siena, Italy, June 18-23, 2007 : proceedingsComputability and models : perspectives east and west