WorldCat Identities

Barr, Michael 1937-

Overview
Works: 24 works in 121 publications in 3 languages and 2,601 library holdings
Classifications: QA3, 005.133
Publication Timeline
Key
Publications about  Michael Barr Publications about Michael Barr
Publications by  Michael Barr Publications by Michael Barr
Most widely held works about Michael Barr
 
Most widely held works by Michael Barr
Exact categories and categories of sheaves by Michael Barr ( Book )
16 editions published between 1971 and 2008 in English and German and held by 539 WorldCat member libraries worldwide
*-Autonomous categories by Michael Barr ( Book )
19 editions published between 1979 and 2008 in English and German and held by 477 WorldCat member libraries worldwide
Toposes, triples, and theories by Michael Barr ( Book )
15 editions published between 1984 and 2002 in English and held by 425 WorldCat member libraries worldwide
This Web site provides visitors with an online version of Toposes, triples, and theories, by Michael Barr and Charles Wells. This book is contains nine chapters that focus on concepts such as: functions, limits, finite-product theories, and Deligne's Theorem. Each chapter contains examples to supplement the learning process
Reports of the Midwest Category Seminar III by Saunders Mac Lane ( Book )
11 editions published between 1969 and 2008 in English and held by 412 WorldCat member libraries worldwide
Category theory for computing science by Michael Barr ( Book )
21 editions published between 1989 and 1999 in English and Undetermined and held by 333 WorldCat member libraries worldwide
Acyclic models by Michael Barr ( Book )
6 editions published in 2002 in English and held by 161 WorldCat member libraries worldwide
Category theory for computer science by Michael Barr ( Book )
9 editions published between 1995 and 1996 in English and held by 121 WorldCat member libraries worldwide
Green politics in China : environmental governance and state-society relations by Joy Yueyue Zhang ( )
3 editions published in 2013 in English and held by 67 WorldCat member libraries worldwide
Who's afraid of China? : the challenge of Chinese soft power by Michael Barr ( )
3 editions published in 2011 in English and held by 30 WorldCat member libraries worldwide
This provocative book argues that fears of China often say as much about those who hold them as they do about the rising power itself. It focuses on China's growing cultural influence and the connections between China's domestic politics and its attempts to brand itself internationally. Using examples from film, education, media, politics and art, Who's Afraid of China? is both an introduction to Chinese soft power and a critical analysis of international reaction to it
Logic and proof by Edward R Norman ( Book )
1 edition published in 1991 in English and held by 10 WorldCat member libraries worldwide
Category theory and its applications : dedicated to professor Bill Lawvere ( Book )
2 editions published in 2000 in English and held by 7 WorldCat member libraries worldwide
*-Autonomous Categories With an Appendix by Po-Hsiang Chu by Michael Barr ( Book )
3 editions published in 1979 in English and held by 5 WorldCat member libraries worldwide
Functional semantics and HSP type theorems by Michael Barr ( Book )
1 edition published in 1990 in English and held by 2 WorldCat member libraries worldwide
Programming embedded systems in C and C++ by Michael Barr ( Book )
1 edition published in 1999 in English and held by 2 WorldCat member libraries worldwide
"If you have some programming experience and are familiar with C or C++, you're ready to learn how to write embedded software. The hands-on, no-nonsense style of this book will help you get started by offering practical advice from someone who's been in your shoes and wants to help you learn quickly." "The techniques and code examples presented here are directly applicable to real world embedded software projects of all sorts. Even if you've done some embedded programming before, you'll still benefit from the topics in this book, which include: testing memory chips quickly and efficiently, writing and erasing Flash memory, verifying nonvolatile memory contents with CRCs, interfacing to on-chip and external peripherals, designing and implementing device drivers, optimizing embedded software for size and speed, and making the most of C++ without a performance penalty."--BOOK JACKET
Programming embedded systems in C and C by Michael Barr ( Book )
1 edition published in 1999 in English and held by 1 WorldCat member library worldwide
C to GNU kaihatsu tsuru niyoru kumikomi shisutemu puroguramingu ( Book )
1 edition published in 2007 in Japanese and held by 1 WorldCat member library worldwide
Toposes, triples and theories. Grundlehren der mathematischen Wissenschaften 278. by Michael Barr ( Book )
1 edition published in 1985 in German and held by 1 WorldCat member library worldwide
[Conjugate] Autonomus categories by Michael Barr ( Book )
1 edition published in 1979 in English and held by 1 WorldCat member library worldwide
*(Star*)-Autonomous categories by Michael Barr ( Book )
1 edition published in 1979 in Undetermined and held by 1 WorldCat member library worldwide
Functorial semantics and HSP type theorems by Michael Barr ( Book )
1 edition published in 1990 in English and held by 1 WorldCat member library worldwide
 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.79 (from 0.00 for Toposes, t ... to 1.00 for Functional ...)
Alternative Names
Barr, M.
Barr, M. 1937-
Barr, M. (Michael)
Barr, M. (Michael), 1937-
Languages
English (112)
German (3)
Japanese (1)
Covers