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
- -
Banking on democracy :financial markets and elections in emerging countries
Politics matter for financial markets and financial markets matter for politics, and nowhere is this relationship more apparent than in emerging markets. In this book, Santiso investigates the links between politics and finance in countries that have recently experienced both economic and democratic transitions. He focuses on elections, investigating whether there is a 'democratic premium' - wh…
- Edition
- -
- ISBN/ISSN
- 9781461931874
- Collation
- 1 online resource
- 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
- -
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
- -
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography