WorldCat Identities

Barr, Michael 1937-

Overview
Works: 15 works in 115 publications in 3 languages and 2,536 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 )
17 editions published between 1971 and 2008 in English and German and held by 554 WorldCat member libraries worldwide
*-Autonomous categories by Michael Barr ( Book )
26 editions published between 1979 and 2008 in English and German and held by 501 WorldCat member libraries worldwide
Toposes, triples, and theories by Michael Barr ( Book )
17 editions published between 1984 and 2002 in English and German and held by 438 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 425 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 332 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 )
8 editions published between 1995 and 1996 in English and held by 116 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 )
2 editions published in 1999 in English and held by 1 WorldCat member library 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
C ( Book )
1 edition published in 2000 in Japanese 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
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
Reports by Midwest Category Seminar III ( Book )
1 edition published in 1969 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.80 (from 0.10 for Barr, Mich ... to 1.00 for Functional ...)
Alternative Names
Barr, M.
Barr, M. 1937-
Barr, M. (Michael)
Barr, M. (Michael), 1937-
Languages
English (108)
German (3)
Japanese (2)
Covers