Welcome to our book review site go-pdf.online!
You may have to Search all our reviewed books and magazines, click the sign up button below to create a free account.
Formal Methods for Real-Time and Probabilistic Systems
This book constitutes the refereed proceedings of the Fifth International AMAST Workshop on Formal Methods for Real-Time and Probabilistic Systems, ARTS '99, held in Bamberg, Germany in May 1999. The 17 revised full papers presented together with three invited contributions were carefully reviewed and selected from 33 submissions. The papers are organized in topical sections on verification of probabilistic systems, model checking for probabilistic systems, semantics of probabilistic process calculi, semantics of real-time processes, real-time compilation, stochastic process algebra, and modeling and verification of real-time systems.
Denmark's Policy Towards Europe After 1945
Since 1945, Denmark's policy towards Europe has become one of the most important issues in Danish politics. Part of the Copenhagen Research Project on European Integration (CORE), this book aims to provide the reader with a better understanding of Danish policy towards Europe, taking into account both historical and theoretical aspects.
Deutsches Heldenbuch
None
The Great Departure: Mass Migration from Eastern Europe and the Making of the Free World
"Zahra handles this immensely complicated and multidimensional history with remarkable clarity and feeling." —Robert Levgold, Foreign Affairs Between 1846 and 1940, more than 50 million Europeans moved to the Americas in one of the largest migrations of human history, emptying out villages and irrevocably changing both their new homes and the ones they left behind. With a keen historical perspective on the most consequential social phenomenon of the twentieth century, Tara Zahra shows how the policies that gave shape to this migration provided the precedent for future events such as the Holocaust, the closing of the Iron Curtain, and the tragedies of ethnic cleansing. In the epilogue, she places the current refugee crisis within the longer history of migration.
Rilke in Paris
In 1902, the young German writer Rainer Maria Rilke travelled to Paris to write a monograph on the sculptor Auguste Rodin. He returned to the city many times over the course of his life, by turns inspired and appalled by the high culture and low society. Paris was a lifelong source of inspiration for Rilke. Perhaps most significantly, the letters he wrote about it formed the basis of his prose masterpiece, The Notebooks of Malte Laurids Brigge. This volume brings together a new translation of RilkeOCOs essay on poetry, Notes on the Melody of Things, and the first English translation of RilkeOCOs experiences in Paris as observed by his French translator, Maurice Betz. "
The Cosmography of Aethicus Ister
One of the most skilful forgeries of the Middle Ages, the Cosmography of Aethicus Ister has puzzled scholars for over 150 years, not least because of its challenging Latinity. Written at a western centre in the first part of the eighth century, the work purports to be a heavily censored epitome made by St. Jerome of a cosmography by an Istrian philosopher named Aethicus. This writer, who is otherwise unknown, describes a flat-earth universe resembling that of Cosmas Indicopleustes, then gives an eye-witness account of his travels to the isles of the gentiles in the North and East. There he encounters not only savage races, but also monsters, Amazons, and other figures of mythology. Alexander...
The Nuclear Many-Body Problem 2001
An expert and illuminating review of the leading models of nuclear structure: effective field theories based on quantum chromodynamics; ab initio models based on Monte Carlo methods employing effective nucleon-nucleon interactions; diagonalization and the Monto Carlo shell model; non-relativistic and relativistic mean-field theory and its extensions; and symmetry-dictated approaches. Theoretical advances in major areas of nuclear structure are discussed: nuclei far from stability and radioactive ion beams; gamma ray spectroscopy; nuclear astrophysics and electroweak interactions in nuclei; electron scattering; nuclear superconductivity; superheavy elements. The interdisciplinary aspects of the many-body problem are also discussed. Recent experimental data are examined in light of state-of-the-art calculations. Recent advances in several broad areas of theoretical structure are covered, making the book ideal as a supplementary textbook.
