Andrew Butterfield

This book constitutes the thoroughly refereed post-proceedings of the Second International Symposium on Unifying Theories of Programming, UTP 2008, held at Trinity College, Dublin, Ireland, in September 2008. The 15 revised full papers presented, together with two invited talks, were carefully reviewed and selected from 20 submissions. Based on the pioneering work on unifying theories of programming of Tony Hoare, He Jifeng, and others, the aims of this Symposium series are to continue to reaffirm the significance of the ongoing UTP project, to encourage efforts to advance it by providing a focus for the sharing of results by those already actively contributing, and to raise awareness of the benefits of such a unifying theoretical framework among the wider computer science and software engineering communities.

Second International Symposium, UTP 2008, Dublin, Ireland, September 8-10, 2008, Revised Selected Papers

Unifying Theories of Programming

Anne Kerr

Gerard Ekembe Ngondi

Previously named A Dictionary of Computing, this bestselling dictionary has been renamed A Dictionary of Computer Science, and fully revised by a team of computer specialists, making it the most up-to-date and authoritative guide to computing available. Containing over 6,500 entries and with expanded coverage of multimedia, computer applications, networking, and personal computer science, it is a comprehensive reference work encompassing all aspects of the subject and is as valuable for home and office users as it is indispensable for students of computer science. Terms are defined in a jargon-free and concise manner with helpful examples where relevant. The dictionary contains approximately 150 new entries including cloud computing, cross-site scripting, iPad, semantic attack, smartphone, and virtual learning environment. Recommended web links for many entries, accessible via the Dictionary of Computer Science companion website, provide valuable further information and the appendices include useful resources such as generic domain names, file extensions, and the Greek alphabet. This dictionary is suitable for anyone who uses computers, and is ideal for students of computer science and the related fields of IT, maths, physics, media communications, electronic engineering, and natural sciences.

A Dictionary of Computer Science

John Szymanski

This popular dictionary, formerly published as the Penguin Dictionary of Electronics, has been extensively revised and updated, providing more than 5,000 clear, concise, and jargon-free A-Z entries on key terms, theories, and practices in the areas of electronics and electrical science. Topics covered include circuits, power, systems, magnetic devices, control theory, communications, signal processing, and telecommunications, together with coverage of applications areas such as image processing, storage, and electronic materials. The dictionary is enhanced by dozens of equations and nearly 400 diagrams. It also includes 16 appendices listing mathematical tables and other useful data, including essential graphical and mathematical symbols, fundamental constants, technical reference tables, mathematical support tools, and major innovations in electricity and electronics. More than 50 useful web links are also included with appropriate entries, accessible via a dedicated companion website. A Dictionary of Electronics and Electrical Engineering is the most up-to-date quick reference dictionary available in its field, and is a practical and wide-ranging resource for all students of electronics and of electrical engineering.

A Dictionary of Electronics and Electrical Engineering

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

Sculptor and Painter of Renaissance Florence

Verrocchio

Viktória Zsók

This volume constitutes the post-proceedings of the 18th International Workshop on Implementation and Applications of Functional Languages. Fifteen full papers are presented. Each one was submitted to two rounds of reviews to ensure accuracy, thoroughness, and readability. The papers address all current theoretical and methodological issues in functional and function-based languages.

18th International Symposium, IFL 2006, Budapest, Hungary, September 4-6, 2006, Revised Selected Papers

Implementation and Application of Functional Languages

Andrea Del Verrocchio

Andrea del Verrocchio was the preeminent sculptor in late fifteenth-century Florence and one of the leading artists in Renaissance Europe. In every genre of statuary, Verrocchio made formal and conceptual contributions of the greatest significance, and many of his sculptures, such as the Christ and St. Thomas and the Colleoni Monument, are among the masterpieces of Renaissance art. A favorite artist of Lorenzo de' Medici and the teacher of Leonardo da Vinci, Verrocchio was a key link between the innovations of the fifteenth century and the creations of the High Renaissance. This beautiful catalogue raisonné is the first comprehensive and detailed study of Verrocchio's extraordinary and innovative sculptures. Andrew Butterfield has combined careful visual analysis of the sculptures with groundbreaking research into their function, iconography, and historical context. In order to explain Verrocchio's contributions to the different genres of Renaissance sculpture, Butterfield provides new and important information on a broad range of issues such as the typology and social history of Florentine tombs, the theoretical problems in the production of perspectival reliefs, and the origins of the Figura serpentinata. Furthermore, Butterfield draws on a spectrum of often overlooked texts to elucidate fundamental iconographical problems, for example, the significance of David in quattrocento Florence. In its scope, depth, and clarity, The Sculptures of Andrea del Verrocchio will rank as one of the finest studies of an Italian sculptor ever published.

Andrew Butterfield

Books

Your next favorite book is out there