Books by "John L. Hennessy"
6 books found
A comprehensive survey of the work of this most influential Florentine artist and teacher Andrea del Verrocchio (c. 1435–1488) was one of the most versatile and inventive artists of the Italian Renaissance. He created art across media, from his spectacular sculptures and paintings to his work in goldsmithing, architecture, and engineering. His expressive, confident drawings provide a key point of contact between sculpture and painting. He led a vibrant workshop where he taught young artists who later became some of the greatest painters of the period, including Leonardo da Vinci, Sandro Botticelli, Lorenzo di Credi, and Domenico Ghirlandaio. This beautifully illustrated book presents a comprehensive survey of Verrocchio's art, spanning his entire career and featuring some fifty sculptures, paintings, and drawings, in addition to works he created with his students. Through incisive scholarly essays, in-depth catalog entries, and breathtaking illustrations, this volume draws on the latest research in art history to show why Verrocchio was one of the most innovative and influential of all Florentine artists. Published in association with the National Gallery of Art, Washington, DC
Real-Time Embedded Components and Systems with Linux and RTOS
by Sam Siewert, John Pratt
2016 · Walter de Gruyter GmbH & Co KG
No detailed description available for "Real-Time Embedded Components and Systems with Linux and RTOS".
Most discussions of the digital divide focus on the gap between African Americans and others when it comes to using, and benefiting from, the technological and business opportunities of the information age. Although many African Americans are locked out of the information revolution, others are an integral part of its development and progress. Barber profiles 26 of those leaders here, engagingly and informatively blending biography with insight and analysis. Most discussions of the digital divide focus on the gap between African Americans and others when it comes to using, and benefiting from, the technological and business opportunities of the information age. Although many African Americans are locked out of the information revolution, others are an integral part of its development and progress. Barber profiles 26 of them here, engagingly and informatively blending biography with insight and analysis. Documenting history as it is being made, this book features achievers in all fields of relevant endeavor, including scientists, business leaders, power brokers, and community leaders. Among them are Robert Johnson, CEO of Black Entertainment Television; Richard Parsons, CEO of AOL Time-Warner; congressmen and other policymakers in Washington, D.C.; and men and women who are working to bridge the digital divide in satellite radio, web-based portals, and on the ground with IT workshops. This book is not just about business success or technological progress. The African American digerati are solving one of the great social challenges of the 21st century: creating a black community that is prosperous in a society that has changed from being a land-based industrial society to a cyberspace-based information society.
Ecologies of Invention is the first collection of essays that brings together writers and scholars of international standing to examine assumptions underlying notions of inventiveness. The writers explain how inventiveness borne out of aesthetic ambitions is impacting on and changing our culture and society, describing the articulation of inventive capacities across disciplines and across multiple scales, from personal capacities to the social, spatial and network configurations that drive people to produce inventions.
Refinement is one of the cornerstones of a formal approach to software engineering. Refinement is all about turning an abstract description (of a soft or hardware system) into something closer to implementation. It provides that essential bridge between higher level requirements and an implementation of those requirements. This book provides a comprehensive introduction to refinement for the researcher or graduate student. It introduces refinement in different semantic models, and shows how refinement is defined and used within some of the major formal methods and languages in use today. It (1) introduces the reader to different ways of looking at refinement, relating refinement to observations(2) shows how these are realised in different semantic models (3) shows how different formal methods use different models of refinement, and (4) how these models of refinement are related.