You may have to Search all our reviewed books and magazines, click the sign up button below to create a free account.
When GermanyÕs Sixth Army advanced to Stalingrad in 1942, its long-extended flanks were mainly held by its allied armiesÑthe Romanians, Hungarians, and Italians. But as history tells us, these flanks quickly caved in before the massive Soviet counter-offensive which commenced that November, dooming the Germans to their first catastrophe of the war. However, the historical record also makes clear that one allied unit held out to the very end, fighting to stem the tideÑthe Italian Alpine Corps. As a result of MussoliniÕs disastrous alliance with Nazi Germany, by the fall of 1942, 227,000 soldiers of the Italian Eighth Army were deployed on a 270km front along the Don River to protect the l...
Livestock production systems are the result of an interaction between domestic animals and the environment, modulated by man, that dates back to Neolithic times. As a consequence of this interaction among the wide diversity of animal resources, natural habitats and population needs, very different farming systems have developed across the Mediterranean Basin. Understanding the mechanisms and effects of these relationships is key to design the farming systems best adapted to each condition, guaranteeing an adequate balance between target animal production and environmental outcomes provided by these systems. This is indeed a multidimensional topic, influenced by animal genetics, feeding resou...
Widely acknowledged as the most comprehensive book on its subject, this book offers concise, practical guidance on the use of electrodiagnostic techniques for investigating problems of both the central and peripheral nervous systems. Forty-two experts, many new to this edition, discuss the principles, scope, limitations, diagnostic importance, prognostic relevance and complications for each technique.
This title is devoted to presenting some of the most important concepts and techniques for describing real-time systems and analyzing their behavior in order to enable the designer to achieve guarantees of temporal correctness. Topics addressed include mathematical models of real-time systems and associated formal verification techniques such as model checking, probabilistic modeling and verification, programming and description languages, and validation approaches based on testing. With contributions from authors who are experts in their respective fields, this will provide the reader with the state of the art in formal verification of real-time systems and an overview of available software tools.
Experimental Epilepsy
First multi-year cumulation covers six years: 1965-70.
The first book to bring together experts in epilepsy, bio-engineering and dynamical systems theory, to discuss the possibility of treating epilepsy by controlling mechanisms that cause seizures. It includes a unique reference database with more than 1000 references, including hard-to-access references in the Russian literature.
Most of the articles in this book deal with static or point-to-pointInterconnection Networks. In particular, new constructions are proposed basedon different tools from discrete mathematics. Many new records have beenestablished in the table of the maximum number of vertices of graphs withmaximum degree &Dgr; and diameter D. Properties of thesenetworks (and of more classical ones) are analyzed in many of the otherpapers. About 40% of the articles deal with fault tolerance orvulnerability properties using either combinatorial tools or probabilisticones.