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
- -
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
- -
Imagery in the 21st century
This volume offers systematic and interdisciplinary reflections on the new imagery world opened by the Internet and the digital world. It offers analytical approaches to the visual.OCLC-licensed vendor bibliographic record.
- Edition
- -
- ISBN/ISSN
- 9781461944409
- Collation
- 1 online resource (vi, 410 pages, 16 unnumbered pages of plates) :illustrations (some color)
- 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
- -
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
- -
Cosmopolitan commons :sharing resources and risks across borders
"With the advent of modernity, the sharing of resources and infrastructures rapidly expanded beyond local communities into regional, national, and even transnational space -- nowhere as visibly as in Europe, with its small-scale political divisions. This volume views these shared resource spaces as the seedbeds of a new generation of technology-rich bureaucratic and transnational commons. Drawi…
- Edition
- -
- ISBN/ISSN
- 9781461931164
- Collation
- 1 online resource.
- Series Title
- -
- Call Number
- -
Internet success :a study of open-source software commons
Drawing on literature from many disciplines and using a theoretical framework developed for the study of environmental commons, Schweik and English examine stages of open-source software (OSS) development, presenting multivariate statistical models of success and abandonment.OCLC-licensed vendor bibliographic record.
- Edition
- -
- ISBN/ISSN
- 9780262301206
- Collation
- 1 online resource (xii, 351 pages) :illustrations
- Series Title
- -
- Call Number
- -
Food justice
The story of how the emerging food justice movement is seeking to transform the American food system from seed to table. In today's food system, farm workers face difficult and hazardous conditions, low-income neighborhoods lack supermarkets but abound in fast-food restaurants and liquor stores, food products emphasize convenience rather than wholesomeness, and the international reach of Americ…
- Edition
- -
- ISBN/ISSN
- 9780262289443
- Collation
- 1 online resource (vii, 290 pages, 12 unnumbered pages of plates) :illustrations.
- Series Title
- -
- Call Number
- -
Equilibrium, Trade, and Growth :Selected Papers of Lionel W. McKenzie
Influential neoclassical economist Lionel McKenzie has made major contributions to postwar economic thought in the fields of equilibrium, trade, and capital accumulation. This selection of his papers traces the development of his thinking in these three crucial areas.McKenzie's early academic life took him to Duke, Princeton, Oxford, the University of Chicago, and the Cowles Commission. In 1957…
- Edition
- -
- ISBN/ISSN
- 9780262279536
- Collation
- 1 online resource (vii, 480 pages) :illustrations
- Series Title
- -
- Call Number
- -
Robotics :science and systems III
Proceedings from the third annual Robotics: Science and Systems conference, presenting state-of-the-art research on the foundations of robotics, robotics applications, and robotics systems.OCLC-licensed vendor bibliographic record.
- Edition
- -
- ISBN/ISSN
- 9780262255868
- Collation
- 1 online resource (xii, 335 pages) :illustrations
- Series Title
- -
- Call Number
- -
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography