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.

Access denied : Access Denied:

Edition

-

ISBN/ISSN

-

Collation

1 online resource (xv, 449 pages) :

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.

Using Computers: The Human Factors of Information Systems

A Bradford book.""Industry veteran Raymond Nickerson provides an extensive introduction to the information technology revolution that is transforming industrial society. He focuses particularly on the study of person-computer interaction, noting how computers are affecting their users and society as a whole, and describes a variety of ways in which information technology is expected to develop …

The Closed World: Computers and the Politics of Discourse in Cold War America

The Closed World offers a radically new alternative to the canonical histories of computers and cognitive science. Arguing that we can make sense of computers as tools only when we simultaneously grasp their roles as metaphors and political icons, Paul Edwards shows how Cold War social and cultural contexts shaped emerging computer technology--and were transformed, in turn, by information machi…

The Trouble with Computers: Usefulness, Usability, and Productivity

A Bradford book."OCLC-licensed vendor bibliographic record.

Certified Programming with Dependent Types: A Pragmatic Introduction to the C…

A handbook to the Coq software for writing and checking mathematical proofs, with a practical engineering focus. The technology of mechanized program verification can play a supporting role in many kinds of research projects in computer science, and related tools for formal proof-checking are seeing increasing adoption in mathematics and engineering. This book provides an introduction to the Co…

New directions in statistical signal processing :from systems to brain

Signal processing and neural computation have separately and significantly influenced many disciplines, but the cross-fertilization of the two fields has begun only recently. Research now shows that each has much to teach the other, as we see highly sophisticated kinds of signal processing and elaborate hierachical levels of neural computation performed side by side in the brain. In New Directi…

Computers and Design in Context

The contributors to this book address both the pragmatic approach of direct collaboration between designers and users (known as participatory design) and the more conceptual approach that incorporates complementary perspectives to help designers come up with better solutions. The volume brings together different computer-related research disciplines, including computer-supported cooperative wor…

Talking Nets: An Oral History of Neural Networks

A Bradford book."OCLC-licensed vendor bibliographic record.