Filter by
Access denied :the practice and policy of global Internet filtering
Many countries around the world block or filter Internet content, denying access to information that they deem too sensitive for ordinary citizens--most often about politics, but sometimes relating to sexuality, culture, or religion. Access Denied documents and analyzes Internet filtering practices in more than three dozen countries, offering the first rigorously conducted study of an accelerat…
- Edition
- -
- ISBN/ISSN
- 9780262255998
- Collation
- 1 online resource (xv, 449 pages) :illustrations, maps.
- Series Title
- -
- Call Number
- -
Software studies :a lexicon
This collection of short expository, critical and speculative texts offers a field guide to the cultural, political, social and aesthetic impact of software. Experts from a range of disciplines each take a key topic in software and the understanding of software, such as algorithms and logical structures.OCLC-licensed vendor bibliographic record.
- Edition
- -
- ISBN/ISSN
- 9780262273343
- Collation
- 1 online resource (xii, 334 pages) :illustrations.
- Series Title
- -
- Call Number
- -
Advances in neural information processing systems 19 :proceedings of the 2006…
The annual Neural Information Processing Systems (NIPS) conference is the flagship meeting on neural computation and machine learning. This volume contains the papers presented at the December 2006 meeting, held in Vancouver.OCLC-licensed vendor bibliographic record.
- Edition
- -
- ISBN/ISSN
- 9780262256919
- Collation
- 1 online resource (xxiv, 1643 pages) :illustrations.
- Series Title
- -
- Call Number
- -
Augmented learning :research and design of mobile educational games
New technology has brought with it new tools for learning, and research has shown that the educational potential of video games resonates with teachers and pupils alike. Klopfer here describes the largely untapped potential of mobile learning games to make a substantial impact on education.OCLC-licensed vendor bibliographic record.
- Edition
- -
- ISBN/ISSN
- 9780262277297
- Collation
- 1 online resource (xvii, 251 pages) :illustrations
- Series Title
- -
- Call Number
- -
Algebraic semantics of imperative programs
Algebraic Semantics of Imperative Programs presents a self-contained and novel "executable" introduction to formal reasoning about imperative programs. The authors' primary goal is to improve programming ability by improving intuition about what programs mean and how they run. The semantics of imperative programs is specified in a formal, implemented notation, the language OBJ; this makes the s…
- Edition
- -
- ISBN/ISSN
- 0262288451
- Collation
- 1 online resource (vii, 228 pages) :illustrations.
- Series Title
- -
- Call Number
- -
Beowulf cluster computing with Linux
Beowulf clusters, which exploit mass-market PC hardware and software in conjunction with cost-effective commercial network technology, are becoming the platform for many scientific, engineering, and commercial applications. With growing popularity has come growing complexity. Addressing that complexity, Beowulf Cluster Computing with Linux and Beowulf Cluster Computing with Windows provide syst…
- Edition
- -
- ISBN/ISSN
- 9780262286770
- Collation
- 1 online resource (xxxiii, 496 pages) :illustrations.
- Series Title
- -
- Call Number
- -
The Computer age :a twenty-year view
Gathered from twenty leading authorities in computer science, the chapters of The Computer Age range across a broad spectrum of topics -- from technological trends and needs to social questions, such as the changing economics of information, ownership principles, regulation, the range of potential computer uses, from science and business to the home.OCLC-licensed vendor bibliographic record.
- Edition
- -
- ISBN/ISSN
- 0262256002
- Collation
- 1 online resource (xvi, 491 pages) :illustrations.
- Series Title
- -
- Call Number
- -
Knowledge-based neurocomputing
Looking at ways to encode prior knowledge and to extract, refine, and revise knowledge within a neurocomputing system.Neurocomputing methods are loosely based on a model of the brain as a network of simple interconnected processing elements corresponding to neurons. These methods derive their power from the collective processing of artificial neurons, the chief advantage being that such systems…
- Edition
- -
- ISBN/ISSN
- 9780262270496
- Collation
- 1 online resource (xiv, 486 pages) :illustrations
- Series Title
- -
- Call Number
- -
Mechanizing proof :computing, risk, and trust
Most aspects of our private and social lives--our safety, the integrity of the financial system, the functioning of utilities and other services, and national security--now depend on computing. But how can we know that this computing is trustworthy? In Mechanizing Proof, Donald MacKenzie addresses this key issue by investigating the interrelations of computing, risk, and mathematical proof over…
- Edition
- -
- ISBN/ISSN
- 9780262278829
- Collation
- 1 online resource (xi, 427 pages) :illustrations.
- Series Title
- -
- Call Number
- -
The Massively parallel processor
The development of parallel processing, with the attendant technology of advanced software engineering, VLSI circuits, and artificial intelligence, now allows high-performance computer systems to reach the speeds necessary to meet the challenge of future complex scientific and commercial applications. This collection of articles documents the design of one such computer, a single instruction mu…
- Edition
- -
- ISBN/ISSN
- 0262256827
- Collation
- 1 online resource (vii, 304 pages, 1 unnumbered leaf of plates) :illustrations.
- Series Title
- -
- Call Number
- -
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography