Filter by
Certified Programming with Dependent Types: A Pragmatic Introduction to the C…
A handbook to the Coq software for writing and checking mathematical proofs, with a practical engineering focus. 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 Co…
- Edition
- -
- ISBN/ISSN
- 9780262026659
- Collation
- -
- Series Title
- -
- Call Number
- -
Blowout in the Gulf :the BP oil spill disaster and the future of energy in Am…
Explains both the disaster and the decisions that led up to it and argues that for the future the emphasis needs to be on prevention and that risk-management policies be based on better understandings of humans and hardware.OCLC-licensed vendor bibliographic record.
- Edition
- -
- ISBN/ISSN
- 9780262294126
- Collation
- 1 online resource (xiii, 254 pages) :illustrations
- Series Title
- -
- Call Number
- -
Imposters :a study of pronominal agreement
In this work, the authors study the interactions of imposters with a range of grammatical phenomena, including pronominal agreement, coordinate structures, Principle C phenomena epithets, fake indexicals, and a property of pronominal agreement they call homogeneity.OCLC-licensed vendor bibliographic record.
- Edition
- -
- ISBN/ISSN
- 9780262301633
- Collation
- 1 online resource
- Series Title
- -
- Call Number
- -
The Collected Papers of Franco Modigliani, Volume 6
Articles and essays by the late Nobel Prize-winning economist on the life-cycle hypothesis, unemployment and monetary policy in the European Union, and other topics.This volume of papers, articles, and essays by the late Nobel Prize-winning economist Franco Modigliani contains writings published during the last decade of his life as well as three seminal earlier papers on the life-cycle hypothe…
- Edition
- -
- ISBN/ISSN
- 9780262280051
- Collation
- 1 online resource (1 volume) :illustrations
- Series Title
- -
- Call Number
- -
New media, 1740-1915
"Reminding us that all media were once new, this book challenges the notion that to study new media is to study exclusively today's new media. Examining a variety of media in their historic contexts, it explores those moments of transition when new media were not yet fully defined and their significance was still in flux. Examples range from familiar devices such as the telephone and phonograph…
- Edition
- -
- ISBN/ISSN
- 9780262273909
- Collation
- 1 online resource (xxxiii, 271 pages) :illustrations.
- Series Title
- -
- Call Number
- -
Noise in electron devices
A symposium on noise, stressing mathematical theory and basic physical phenomena, and covering such topics as cathode noise phenomena, signal amplification in microwave tubes, solid-state noise, and methods of designing low-noise tubes.OCLC-licensed vendor bibliographic record.
- Edition
- -
- ISBN/ISSN
- 9780262310864
- Collation
- 1 online resource (413 pages)illustrations.
- Series Title
- -
- Call Number
- -
Nonmonotonic reasoning
Nonmonotonic reasoning provides formal methods that enable intelligent systems to operate adequately when faced with incomplete or changing information. In particular, it provides rigorous mechanisms for taking back conclusions that, in the presence of new information, turn out to be wrong and for deriving new, alternative conclusions instead. Nonmonotonic reasoning methods provide rigor simila…
- Edition
- -
- ISBN/ISSN
- 0585037035
- Collation
- 1 online resource (xii, 285 pages) :illustrations.
- Series Title
- -
- Call Number
- -
Noxious New York :the racial politics of urban health and environmental justice
'Noxious New York' examines the culture, politics, and history of the movement for environmental justice in New York City, tracking activism in four neighborhoods on issues of public health, garbage, and energy systems in the context of privatisation, deregulation, and globalisation.OCLC-licensed vendor bibliographic record.
- Edition
- -
- ISBN/ISSN
- 9780262284646
- Collation
- 1 online resource (x, 282 pages) :illustrations, map.
- Series Title
- -
- Call Number
- -
Data action :using data for public good
"Data Action will offer a model for reading, collecting, visualizing, and putting data to work on civic change. Using arresting graphics and influential case studies, as well as incorporating cultural and historical context, Data Action presents a helpful corrective to standard practice. Historically, data has been used and manipulated to make policy decisions without input from the general pub…
- Edition
- -
- ISBN/ISSN
- 0262359146
- Collation
- 1 online resource.
- Series Title
- -
- Call Number
- -
Scientists under surveillance :the FBI files
Cold War-era FBI files on famous scientists, including Neil Armstrong, Isaac Asimov, Albert Einstein, Richard Feynman, Alfred Kinsey, and Timothy Leary. Armed with ignorance, misinformation, and unfounded suspicions, the FBI under J. Edgar Hoover cast a suspicious eye on scientists in disciplines ranging from physics to sex research. If the Bureau surveilled writers because of what they believe…
- Edition
- -
- ISBN/ISSN
- 9780262353021
- Collation
- 1 online resource (440 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