Filter by
Spontaneous venturing :an entrepreneurial approach to alleviating suffering i…
Identifying a new approach to disaster response: spontaneous, compassionate, and impromptu actions to alleviate suffering. In Spontaneous Venturing , Dean Shepherd and Trenton Williams identify and describe a new approach for responding to disaster and suffering: the local organizing of spontaneous, compassionate, and impromptu actions -- the rapid emergence of a compassionate venture. This app…
- Edition
- -
- ISBN/ISSN
- 0262349590
- Collation
- 1 online resource (248 pages).
- Series Title
- -
- Call Number
- -
Convergent evolution in stone-tool technology
Scholars from a variety of disciplines consider cases of convergence in lithic technology, when functional or developmental constraints result in similar forms in independent lineages.OCLC-licensed vendor bibliographic record.
- Edition
- -
- ISBN/ISSN
- 9780262346160
- Collation
- 1 online resource (x, 294 pages) :illustrations, maps.
- Series Title
- -
- Call Number
- -
Choosing Down syndrome :ethics and new prenatal testing technologies
An argument that more people should have children with Down syndrome, written from a pro-choice, disability-positive perspective.OCLC-licensed vendor bibliographic record.
- Edition
- -
- ISBN/ISSN
- 9780262345729
- Collation
- 1 online resource (xx, 213 pages).
- Series Title
- -
- Call Number
- -
Reluctant power :networks, corporations, and the struggle for global governan…
OCLC-licensed vendor bibliographic record.
- Edition
- -
- ISBN/ISSN
- 9780262353748
- Collation
- 1 online resource (392 pages).
- Series Title
- -
- Call Number
- -
Shadow libraries :access to educational materials in global higher education
This collection looks at how university students in Russia, Argentina, South Africa, Poland, Brazil, India, and Uruguay get the books and articles they need for their education. The death of Aaron Swartz and the more recent controversy around the SciHub and Libgen repositories have drawn attention to the question of access to knowledge, particularly for students facing financial and other const…
- Edition
- -
- ISBN/ISSN
- 9780262345699
- Collation
- 1 online resource (313 pages) :illustrations
- Series Title
- -
- Call Number
- -
True enough
The development of an epistemology that explains how science and art embody and convey understanding.OCLC-licensed vendor bibliographic record.
- Edition
- -
- ISBN/ISSN
- 9780262341370
- Collation
- 1 online resource (xi, 337 pages)
- Series Title
- -
- Call Number
- -
Reasoning about uncertainty
Formal ways of representing uncertainty and various logics for reasoning about it; updated with new material on weighted probability measures, complexity-theoretic considerations, and other topics.OCLC-licensed vendor bibliographic record.
- Edition
- Second edition.
- ISBN/ISSN
- 9780262340496
- Collation
- 1 online resource (xv, 488 pages) :illustrations
- Series Title
- -
- Call Number
- -
The globalization of clean energy technology :lessons from China
The development and deployment of cleaner energy technologies have become globalized phenomena. Yet despite the fact that energy-related goods account for more than ten percent of international trade, policy makers, academics, and the business community perceive barriers to the global diffusion of these emerging technologies. Experts point to problems including intellectual property concerns, t…
- Edition
- -
- ISBN/ISSN
- 0262322099
- Collation
- 1 online resource (xi, 261 pages) :illustrations.
- Series Title
- -
- Call Number
- -
Monitoring movements in development aid :recursive partnerships and infrastru…
An examination of emerging information infrastructures that are intended to increase accountability and effectiveness in partnerships for development aid.In Monitoring Movements in Development Aid, Casper Jensen and Brit Winthereik consider the processes, social practices, and infrastructures that are emerging to monitor development aid, discussing both empirical phenomena and their methodologi…
- Edition
- -
- ISBN/ISSN
- 9781461942962
- Collation
- 1 online resource (xix, 192 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
- -
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography