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
- -
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
- -
Carnal resonance :affect and online pornography
Here, Susanna Paasonen moves beyond the usual debates over the legal, political, and moral aspects of pornography to address online porn in a media historical framework, investigating its modalities, its affect, and its visceral and disturbing qualities.OCLC-licensed vendor bibliographic record.
- Edition
- -
- ISBN/ISSN
- 0262298813
- Collation
- 1 online resource (x, 321 pages) :illustrations
- Series Title
- -
- Call Number
- -
Functional Connections of Cortical Areas :a New View from the Thalamus
This study shows new ways of thinking about how the brain relates to the world, to cognition, and to behaviour. Based on foundations previously established it considers the implications of these ground rules for thalamic inputs, thalamocortical connections, and cortical outputs. The book argues that functional and structural analyses of pathways connecting thalamus and cortex point beyond these…
- Edition
- -
- ISBN/ISSN
- 9781461937111
- Collation
- 1 online resource (279 pages) :illustrations
- 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
- -
Digital methods
In Digital Methods, Richard Rogers proposes a methodological outlook for social and cultural scholarly research on the Web that seeks to move Internet research beyond the study of online culture. It is not a toolkit for Internet research, or operating instructions for a software package; it deals with broader questions. How can we study social media to learn something about society rather than …
- Edition
- -
- ISBN/ISSN
- 9781461931867
- Collation
- 1 online resource (274 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
- -
The Atlas of New Librarianship
Includes 1 folded chart in pocket inside back cover.Some online versions lack accompanying media packaged with the printed version."Libraries have existed for millennia, but today the library field is searching for solid footing in an increasingly fragmented (and increasingly digital) information environment. What is librarianship when it is unmoored from cataloging, books, buildings, and commi…
- Edition
- -
- ISBN/ISSN
- 0262300087
- Collation
- 1 online resource (xv, 408 pages) :illustrations (some color), color maps
- Series Title
- -
- Call Number
- -
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography