Filter by
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
- -
Groundless grounds :a study of Wittgenstein and Heidegger
This text provides an in-depth comparison of Wittgenstein and Heidegger. It shows how the views of both philosophers emerge from a fundamental attempt to dispense with the transcendent.OCLC-licensed vendor bibliographic record.
- Edition
- -
- ISBN/ISSN
- 9780262301718
- Collation
- 1 online resource (xvi, 354 pages)
- Series Title
- -
- Call Number
- -
Unlocking energy innovation :how America can build a low-cost, low-carbon ene…
"The authors outline three waves of energy innovation to reveal how America can speed up the introduction of new technologies and business models and accelerate deployment on a massive scale"--Publisher.OCLC-licensed vendor bibliographic record.
- Edition
- -
- ISBN/ISSN
- 9780262300179
- Collation
- 1 online resource (xiv, 216 pages) :illustrations
- 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
- -
Digital humanities
A visionary report on the revitalization of the liberal arts tradition in the electronically inflected, design-driven, multimedia language of the twenty-first century.OCLC-licensed vendor bibliographic record.
- Edition
- -
- ISBN/ISSN
- 9780262312103
- Collation
- 1 online resource (x, 141 pages)
- Series Title
- -
- Call Number
- -
The limits of inference without theory
This book examines the role of theory in inferential empirical work in economics and the social sciences in genera--that is, any research that uses raw data to go beyond the mere statement of fact or the tabulation of statistics. Considered in particular are the limits that eschewing the use of theory places on inference--Publisher.OCLC-licensed vendor bibliographic record.
- Edition
- -
- ISBN/ISSN
- 0262313677
- Collation
- 1 online resource.
- 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
- -
Intervention in the brain :politics, policy, and ethics
The political and policy implications of recent developments in neuroscience, including new techniques in imaging and neurogenetics. New findings in neuroscience have given us unprecedented knowledge about the workings of the brain. Innovative research--much of it based on neuroimaging results--suggests not only treatments for neural disorders but also the possibility of increasingly precise an…
- Edition
- -
- ISBN/ISSN
- 0262313731
- Collation
- 1 online resource (370 pages).
- Series Title
- -
- Call Number
- -
From X-rays to DNA :how engineering drives biology
"Engineering has been an essential collaborator in biological research and breakthroughs in biology are often enabled by technological advances. Decoding the double helix structure of DNA, for example, only became possible after significant advances in such technologies as X-ray diffraction and gel electrophoresis. Diagnosis and treatment of tuberculosis improved as new technologies -- includin…
- Edition
- -
- ISBN/ISSN
- 9781461952183
- Collation
- 1 online resource (xii, 233 pages) :illustrations
- Series Title
- -
- Call Number
- -
The machine question :critical perspectives on AI, robots, and ethics
An investigation into the assignment of moral responsibilities and rights to intelligent and autonomous machines of our own making.OCLC-licensed vendor bibliographic record.
- Edition
- -
- ISBN/ISSN
- 9780262017435
- 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