Sökt på: Böcker av Richard Becker
totalt 98 träffar
Women Artists in Paris, 1850-1900
A celebration of the work and lives of women artists who shaped the art world of 19th-century Paris In the second half of the 19th century, Paris attracted an international …
Uncertain Futures
Uncertain Futures considers how economic actors visualize the future and decide how to act in conditions of radical uncertainty. It starts from the premise that dynamic capitalist …
Theory of Heat
The first objective of statistical mechanics is to explain the fundamental laws of thermodynamics from first principles based on the atomic structure of matter. This problem was …
Deductive Software Verification: Future Perspectives
This book presents reflections on the occasion of 20 years on the KeY project that focuses on deductive software verification.Since the inception of the KeY project two decades …
Rethinking Latin American Social Movements
This groundbreaking text explores the dramatic evolution in Latin American social movements over the past fifteen years. Leading scholars examine a variety of cases that highlight …
Divorce and the Holy Puck
Sam Oliver is a meek, plain-looking divorce lawyer and youth hockey coach with a comatose social life and an immunity to his clients' suffering. But when a hockey player's mother …
Plantation Kingdom
How global competition brought the plantation kingdom to its knees.In 1850, America's plantation economy reigned supreme. U.S. cotton dominated world markets, and American rice, …
Theorie der Wärme
heit aufgeiaßt werden muß. Dabei werden sich als Resultate von zentraler Be deutung ergeben: Diejenige Größe, welche die ganze Thermodynamik beherrscht, nämlich die Entropie, …
Vorstufe zur Theoretischen Physik
Logic of Software. A Tasting Menu of Formal Methods
This Festschrift, dedicated to Reiner Hahnle on the occasion of his 60th birthday, contains papers written by many of his closest collaborators.After positions at Karlsruhe …
Deductive Software Verification – The KeY Book
Static analysis of software with deductive methods is a highly dynamic field of research on the verge of becoming a mainstream technology in software engineering. It consists of a …