Filter by
The Formal Semantics of Programming Languages: An Introduction
"The Formal Semantics of Programming Languages provides the basic mathematical techniques necessary for those who are beginning a study of the semantics and logics of programming languages. These techniques will allow students to invent, formalize, and justify rules with which to reason about a variety of programming languages. Although the treatment is elementary, several of the topics covered…
- Edition
- -
- ISBN/ISSN
- 9780262291453
- Collation
- 1 online resource (xviii, 361 pages) :illustrations.
- Series Title
- -
- Call Number
- -
Perceptrons :an introduction to computational geometry
"Reissue of the 1988 Expanded Edition with a new foreword by L?eon Bottou."The first systematic study of parallelism in computation by two pioneers in the field.Reissue of the 1988 Expanded Edition with a new foreword by Leon BottouIn 1969, ten years after the discovery of the perceptron--which showed that a machine could be taught to perform certain tasks using examples--Marvin Minsky and Seym…
- Edition
- [2017 edition].
- ISBN/ISSN
- 9780262343930
- Collation
- 1 online resource (xxiii, 292 pages) :illustrations
- Series Title
- -
- Call Number
- -
From Barbie® to Mortal Kombat: Gender and Computer Games
Many parents worry about the influence of video games on their children's lives. The game console may help to prepare children for participation in the digital world, but at the same time it socializes boys into misogyny and excludes girls from all but the most objectified positions. The new "girls' games" movement has addressed these concerns. The contributors to From Barbie to Mortal Kombat e…
- Edition
- -
- ISBN/ISSN
- 80262270045
- Collation
- 1 online resource (xviii, 360 pages) :illustrations (some color)
- Series Title
- -
- Call Number
- -
The problem with software :why smart engineers write bad code
An industry insider explains why there is so much bad software - and why academia doesn't teach programmers what industry wants them to know. Why is software so prone to bugs? So vulnerable to viruses? Why are software products so often delayed, or even canceled? Is software development really hard, or are software developers just not that good at it? In The Problem with Software , Adam Barr ex…
- Edition
- -
- ISBN/ISSN
- 9780262348201
- Collation
- 1 online resource (320 pages).
- Series Title
- -
- Call Number
- -
Plato and the nerd :the creative partnership of humans and technology
In this book, Edward Ashford Lee makes a bold claim: that the creators of digital technology have an unsurpassed medium for creativity. Technology has advanced to the point where progress seems limited not by physical constraints but the human imagination. Writing for both literate technologists and numerate humanists, Lee makes a case for engineering -- creating technology -- as a deeply intel…
- Edition
- -
- ISBN/ISSN
- 9780262341202
- Collation
- 1 online resource (xvi, 266 pages) :illustrations
- Series Title
- -
- Call Number
- -
From Images to Surfaces: A Computational Study of the Human Early Visual System
Based on the author's thesis (Ph. D.--Massachusetts Institute of Technology).Includes indexes.The projection of light rays onto the retina of the eye forms a two-dimensional image, but through combining the stereoscopic aspect of vision with other optical clues by means of some remarkably effective image-processing procedures, the viewer is able to perceive three-dimensional representations of …
- Edition
- -
- ISBN/ISSN
- 9780262256278
- Collation
- 1 online resource (274 pages) :illustrations.
- Series Title
- -
- Call Number
- -
Raising the Stakes :E-Sports and the Professionalization of Computer Gaming
"Competitive video and computer game play is nothing new: the documentary King of Kong memorably portrays a Donkey Kong player's attempts to achieve the all-time highest score; the television show Starcade (1982--1984) featured competitions among arcade game players; and first-person shooter games of the 1990s became multiplayer through network play. A new development in the world of digital ga…
- Edition
- -
- ISBN/ISSN
- 9780262301268
- Collation
- 1 online resource (viii, 323 pages) :illustrations
- Series Title
- -
- Call Number
- -
Things that keep us busy :the elements of interaction
We are surrounded by interactive devices, artifacts, and systems. The general assumption is that interactivity is good -- that it is a positive feature associated with being modern, efficient, fast, flexible, and in control. Yet there is no very precise idea of what interaction is and what interactivity means. In this book, Lars-Erik Janlert and Erik Stolterman investigate the elements of inter…
- Edition
- -
- ISBN/ISSN
- 9780262341813
- Collation
- 1 online resource (231 pages) :illustrations
- Series Title
- -
- Call Number
- -
Image objects :an archaeology of computer graphics
"Though an analysis of five objects that have shaped the history of computer graphics, this book explores what historical technologies shaped and limited the development of simulated images"--Edited version of the author's thesis (Ph.D.)--New York University, 2014, under the title: Image objects : an archaeology of 3D computer graphics, 1965-1979.OCLC-licensed vendor bibliographic record.
- Edition
- -
- ISBN/ISSN
- 0262361795
- Collation
- 1 online resource.
- Series Title
- -
- Call Number
- -
Embodied computing :wearables, implantables, embeddables, ingestibles
"Embodied technologies such as wearable tracking bracelets, ingestible sensors, embeddable prosthetics, and implantable microchips all stand to redefine the human experience and what it means to speak of technology and the body. No longer the speculative stuff of science fiction, embodied technologies have arrived and are being developed by a variety of industries at an alarming rate. Embodied …
- Edition
- -
- ISBN/ISSN
- 0262357798
- Collation
- 1 online resource.
- Series Title
- -
- Call Number
- -
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography