Filter by
Literary gaming
A new analytical framework for understanding literary videogames, the literary-ludic spectrum, illustrated by close readings of selected works.OCLC-licensed vendor bibliographic record.
- Edition
- -
- ISBN/ISSN
- 9780262322034
- Collation
- 1 online resource (x, 206 pages) :illustrations
- Series Title
- -
- Call Number
- -
Certified programming with dependent types :a pragmatic introduction to the C…
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 Coq software for writing and checking mathematical proofs. It takes a practical engineering focus throughout, empha…
- Edition
- -
- ISBN/ISSN
- 9780262317870
- Collation
- 1 online resource (xii, 424 pages)
- Series Title
- -
- Call Number
- -
Constructing green :the social structures of sustainability
"Buildings are the nation's greatest energy consumers. Forty percent of all our energy is used for heating, cooling, lighting, and powering machines and devices in buildings. And despite decades of investment in green construction technologies, residential and commercial buildings remain stubbornly energy inefficient. This book looks beyond the technological and material aspects of green constr…
- Edition
- -
- ISBN/ISSN
- 9781461936404
- Collation
- 1 online resource (xiv, 399 pages) :illustrations.
- Series Title
- -
- Call Number
- -
How games move us :emotion by design
"This is a renaissance moment for video games--in the variety of genres they represent, and the range of emotional territory they cover. But how do games create emotion? In How Games Move Us, Katherine Isbister takes the reader on a timely and novel exploration of the design techniques that evoke strong emotions for players. She counters arguments that games are creating a generation of isolate…
- Edition
- -
- ISBN/ISSN
- 0262333236
- Collation
- 1 online resource (xviii, 167 pages) :illustrations.
- Series Title
- -
- Call Number
- -
Venture labor :work and the burden of risk in innovative industries
"Why employees of pioneering Internet companies chose to invest their time, energy, hopes, and human capital in start-up ventures."--Provided by publisher.OCLC-licensed vendor bibliographic record.
- Edition
- -
- ISBN/ISSN
- 9780262301305
- Collation
- 1 online resource (xiii, 195 pages) :illustrations.
- Series Title
- -
- Call Number
- -
Kids and credibility :an empirical examination of youth, digital media use, a…
Overview: How well do children navigate the ocean of information that is available online? The enormous variety of Web-based resources represents both opportunities and challenges for Internet-savvy kids, offering extraordinary potential for learning and social connection but little guidance on assessing the reliability of online information. This book reports on the first large-scale survey to…
- Edition
- -
- ISBN/ISSN
- 026226658X
- Collation
- 1 online resource (xviii, 135 pages) :illustrations.
- Series Title
- -
- Call Number
- -
Wired for innovation :how information technology is reshaping the economy
Two experts on the information economy explore the true economic value of technology and innovation.OCLC-licensed vendor bibliographic record.
- Edition
- -
- ISBN/ISSN
- 9780262258661
- Collation
- 1 online resource (xvii, 154 pages) :illustrations
- Series Title
- -
- Call Number
- -
Reinventing the automobile :personal urban mobility for the 21st century
This book provides a long-overdue vision for a new automobile era. The cars we drive today follow the same underlying design principles as the Model Ts of a hundred years ago. In the twenty-first century, cars are still made for twentieth-century purposes. They're well suited for conveying multiple passengers over long distances at high speeds, but inefficient for providing personal mobility wi…
- Edition
- -
- ISBN/ISSN
- 0262288559
- Collation
- 1 online resource (x, 227 pages) :color illustrations, color maps
- Series Title
- -
- Call Number
- -
The civic potential of video games
This report focuses on the civic aspects of video game play among youth. According to a 2006 survey, 58 percent of young people aged 15 to 25 were civically "disengaged," meaning that they participated in fewer than two types of either electoral activities (defined as voting, campaigning, etc.) or civic activities (for example, volunteering). Kahne and his coauthors are interested in what role …
- Edition
- -
- ISBN/ISSN
- 9780262258975
- Collation
- 1 online resource (xiii, 94 pages) :illustrations.
- Series Title
- -
- Call Number
- -
Progressive enlightenment :the origins of the gaslight industry, 1780-1820
An argument that the gas industry was the first integrated large-scale technological network and that it signaled a new wave of industrial innovation.In Progressive Enlightenment, Leslie Tomory examines the origins of the gaslight industry, from invention to consolidation as a large integrated urban network. Tomory argues that gas was the first integrated large-scale technological network, a de…
- Edition
- -
- ISBN/ISSN
- 9780262301244
- Collation
- 1 online resource (x, 348 pages).
- Series Title
- -
- Call Number
- -
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography