Filter by
Mechanizing proof :
Most aspects of our private and social lives--our safety, the integrity of the financial system, the functioning of utilities and other services, and national security--now depend on computing. But how can we know that this computing is trustworthy? In Mechanizing Proof, Donald MacKenzie addresses this key issue by investigating the interrelations of computing, risk, and mathematical proof over…
- Edition
- -
- ISBN/ISSN
- 9780262278829
- Collation
- -
- Series Title
- -
- Call Number
- -
A Historical View of the Hindu Astronomy
Shrouded in poetry, the earliest accounts of Hindu astronomy can strike modern readers as obscure. They involve the marriage of the moon to twenty-seven princesses, a war between gods and giants, and shadows that give birth to planets. In this fascinating study, first published in Calcutta in 1823 and reissued here in the 1825 edition, John Bentley (c.1750–1824) strives to strip back the myth…
- Edition
- -
- ISBN/ISSN
- 9781139506533
- Collation
- -
- Series Title
- Cambridge Library Collection - South Asian History
- Call Number
- -
From Bricks to Brains the Embodied Cognitive Science of LEGO Robots
From Bricks to Brains introduces embodied cognitive science, and illustrates its foundational ideas through the construction and observation of LEGO Mindstorms robots. Discussing the characteristics that distinguish embodied cognitive science from classical cognitive science, From Bricks to Brains places a renewed emphasis on sensing and acting, the importance of embodiment, the exploration of …
- Edition
- -
- ISBN/ISSN
- 9781897425787.01
- Collation
- -
- Series Title
- -
- Call Number
- 354 pages
The artificial and the natural :an evolving polarity
Notions of nature and art as they have been defined and redefined in Western culture, from the Hippocratic writers and Aristotle of Ancient Greece to nineteenth-century chemistry and twenty-first century biomimetics.OCLC-licensed vendor bibliographic record.
- Edition
- -
- ISBN/ISSN
- 9780262268172
- Collation
- 1 online resource (vi, 331 pages) :illustrations.
- Series Title
- -
- Call Number
- -
Islamic science and the making of the European Renaissance
"The Islamic scientific tradition has been described many times in accounts of Islamic civilization and in general histories of science, with most authors tracing its beginnings to the appropriation of ideas from other ancient civilizations - the Greeks in particular. In this thought-provoking and original book, George Saliba argues that, contrary to the generally accepted view, the foundations…
- Edition
- -
- ISBN/ISSN
- 9780262282888
- Collation
- 1 online resource (xi, 315 pages) :illustrations.
- Series Title
- -
- Call Number
- -
Water Stress in Biological, Chemical, Pharmaceutical and Food Systems
Water Stress Management contains the invited lectures and selected oral and poster presentations of the 11th International Symposium on the Properties of Water (ISOPOW), which was held in Queretaro, Mexico 5-9 September 2010. The text provides a holistic description and discussion of state-of-the-art topics on the role of water in Biological, Chemical, Pharmaceutical and Food systems within a f…
- Edition
- -
- ISBN/ISSN
- 978-1-4939-2578-0
- Collation
- -
- Series Title
- -
- Call Number
- -
Public Deliberation on Climate Change Lessons from Alberta Climate Dialogue
Given the host of challenges climate governance presents and the global consequences of our response to them, the experience and knowledge shared by Hanson and the contributors to Public Deliberation on Climate Change provide an important framework for advancing public conversations and processes on this and other wicked problems. The lessons contained in the volume were gained as a result of a…
- Edition
- 3
- ISBN/ISSN
- 9781771992152.01
- Collation
- -
- Series Title
- -
- Call Number
- 6 x 9, 264 pages
Springer Handbook of Model-Based Science
This handbook offers the first comprehensive reference guide to the interdisciplinary field of model-based reasoning. It highlights the role of models as mediators between theory and experimentation, and as educational devices, as well as their relevance in testing hypotheses and explanatory functions. The Springer Handbook merges philosophical, cognitive and epistemological perspectives on mod…
- Edition
- 1
- ISBN/ISSN
- 978-3-319-30526-4
- Collation
- Mathematics
- Series Title
- -
- Call Number
- 510
AI Knowledge Transfer from the University to Society
AI Knowledge Transfer from the University to Society: Applications in High-Impact Sectors brings together examples from the "Innovative Ecosystem with Artificial Intelligence for Andalusia 2025" project at the University of Seville, a series of sub-projects composed of research groups and different institutions or companies that explore the use of Artificial Intelligence in a variety of high-im…
- Edition
- -
- ISBN/ISSN
- -
- Collation
- -
- Series Title
- -
- Call Number
- -
Discrete Mathematics
Discrete mathematics is applied in many areas including the physical, engineering, and increasingly, the social sciences. This online textbook, written by mathematics and information technology professors, is aimed at students of information technology, computer science, and applied mathematics. The focus is on applying discrete math techniques from the two broad component areas of discrete mat…
- Edition
- -
- ISBN/ISSN
- -
- Collation
- -
- Series Title
- -
- Call Number
- 510 PRA d
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography