Seems you have not registered as a member of localhost.saystem.shop!
You may have to register before you can download all our books and magazines, click the sign up button below to create a free account.
An Object of Beauty
Lacey Yeager is young, captivating, and ambitious enough to take the NYC art world by storm. Groomed at Sotheby's and hungry to keep climbing the social and career ladders put before her, Lacey charms men and women, old and young, rich and even richer with her magnetic charisma and liveliness. Her ascension to the highest tiers of the city parallel the soaring heights--and, at times, the dark lows--of the art world and the country from the late 1990s through today.
The Sculptures of 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 inno...
Verrocchio
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
A Dictionary of Computer Science
This bestselling dictionary has been fully revised, making it the most up-to-date and authoritative reference of its kind. Providing comprehensive coverage of computer applications in industry, school, work, education, and the home, it is the ideal reference for students, professionals, and anyone who uses computers.
Unifying Theories of Programming
This book constitutes the refereed proceedings of the 6th International Symposium on Unifying Theories of Programming, UTP 2016, held in Reykjavik, Iceland, in June 2016, in conjunction with the 12th International Conference on Integrated Formal Methods, iFM 2016. The 8 revised full papers presented were carefully reviewed and selected from 10 submissions. They deal with the fundamental problem of combination of formal notations and theories of programming that define in various different ways many common notions, such as abstraction refinement, choice, termination, feasibility, locality, concurrency, and communication. They also show that despite many differences, such theories may be unified in a way that greatly facilitates their study and comparison.
Mathematical Approaches to Software Quality
This book provides a comprehensive introduction to various mathematical approaches to achieving high-quality software. An introduction to mathematics that is essential for sound software engineering is provided as well as a discussion of various mathematical methods that are used both in academia and industry. The mathematical approaches considered include: Z specification language Vienna Development Methods (VDM) Irish school of VDM (VDM) approach of Dijkstra and Hoare classical engineering approach of Parnas Cleanroom approach developed at IBM software reliability, and unified modelling language (UML). Additionally, technology transfer of the mathematical methods to industry is considered. The book explains the main features of these approaches and applies mathematical methods to solve practical problems. Written with both student and professional in mind, this book assists the reader in applying mathematical methods to solve practical problems that are relevant to software engineers.
FM 2011: Formal Methods
This book constitutes the refereed proceedings of the 17th International Symposium on Formal Methods, FM 2011, held in Limerick, Ireland, in June 2011. The 29 revised full papers presented together with 3 invited talks were carefully reviewed and selected from numerous submissions. The papers are organized in topical sections on cyber-physical systems, runtime analysis, case studies/tools, experience, program compilation and transformation, security, progress algebra, education, concurrency, dynamic structures, and model checking.
FM 2009: Formal Methods
th FM 2009, the 16 International Symposium on Formal Methods, marked the 10th an- versary of the First World Congress on Formal Methods that was held in 1999 in Toulouse, France. We wished to celebrate this by advertising and organizing FM 2009 as the Second World Congress in the FM series, aiming to once again bring together the formal methods communities from all over the world. The statistics displayed in the table on the next page include the number of countries represented by the Programme Committee members, as well as of the authors of submitted and accepted papers. Novel this year was a special track on tools and industrial applications. Subm- sions of papers on these topics were especially encouraged, but not given any special treatment. (It was just as hard to get a special track paper accepted as any other paper.) What we did promote, however, was a discussion of how originality, contri- tion, and soundness should be judged for these papers. The following questions were used by our Programme Committee.
Formal Methods – The Next 30 Years
This book constitutes the refereed proceedings of the 23rd Symposium on Formal Methods, FM 2019, held in Porto, Portugal, in the form of the Third World Congress on Formal Methods, in October 2019. The 44 full papers presented together with 3 invited presentations were carefully reviewed and selected from 129 submissions. The papers are organized in topical sections named: Invited Presentations; Verification; Synthesis Techniques; Concurrency; Model Checking Circus; Model Checking; Analysis Techniques; Specification Languages; Reasoning Techniques; Modelling Languages; Learning-Based Techniques and Applications; Refactoring and Reprogramming; I-Day Presentations.
