The essays are tied together by their explorations of connections (primarily among technology, society, and knowledge) and by their general focus on modern "high" technology. They also share an emphasis on the complexity of technological formation and fixation and on the role of belief (especially self-validating belief) in technological change.

This classic MUP text discusses the historical development of science, technology and medicine in Western Europe and North America from the Renaissance to the present. Combining theoretical discussion and empirical illustration, it redefines the geography of science, technology and medicine.

This is the first cross-over book into the history of science written by an historian of economics. It shows how 'history of technology' can be integrated with the history of economic ideas. The analysis combines Cold War history with the history of postwar economics in America and later elsewhere, revealing that the Pax Americana had much to do with abstruse and formal doctrines such as linear programming and game theory. It links the literature on 'cyborg' to economics, an element missing in literature to date. The treatment further calls into question the idea that economics has been immune to postmodern currents, arguing that neoclassical economics has participated in the deconstruction of the integral 'self'. Finally, it argues for an alliance of computational and institutional themes, and challenges the widespread impression that there is nothing else besides American neoclassical economic theory left standing after the demise of Marxism.

"In the seemingly mundane Northern farm of early America and the people who sought to improve its productivity and efficiency, Emily Pawley finds a world rich with innovative practices and marked by a developing interrelationship between scientific knowledge, industrial methods, and capitalism. Agricultural "improvers" became increasingly scientistic, driving tremendous increases in the range and volume of agricultural output-and transforming American conceptions of expertise, success, and exploitation. Pawley's focus on soil, fertilizer, apples, mulberries, agricultural fairs, and experimental stations shows each nominally dull subject to have been an area of intellectual ferment and sharp contestation: mercantile, epistemological, and otherwise"--

These final four Angelhaunt books are at once philosophy and works of art. Ratcliff has created in these four books both poetry and religion, both blasphemy and a completely original cosmology. Ratcliff has looked into himself, found both treasures and terrors, and made works only a madman could create.

This 10-hour free course looked at what ?intelligence? is, how computers may become intelligent, and whether they ever will really be so.

This volume constitutes the revised selected papers from the three workshops collocated with the 18th International Conference on Software Engineering and Formal Methods, SEFM 2020, held in Amsterdam, The Netherlands, in September 2020. The 15 full papers presented together with 8 short papers in this volume were carefully reviewed and selected from a total of 35 submissions. The contributions that are collected in this volume have been selected from the presentations at the following workshops: ASYDE 2020: Second International Workshop on Automated and Verifiable Software System Development; CIFMA 2020: Second International Workshop on Cognition: Interdisciplinary Foundations, Models and Applications; and CoSim-CPS 2020: Fourth International Workshop on Formal Co-Simulation of Cyber-Physical Systems. Due to the Corona pandemic this event was held virtually.