Springer aug 2000 (17 Ergebnisse)

Buch. Zustand: Neu. Neuware - This collection examines the ways in which religion and literature are capable of renewing what the eminent German philosopher Jürgen Habermas refers to as 'the public sphere'. The essays range from close commentaries on particular texts ( King Lear, The Brothers Karamazov, 'Bartleby the Scrivener') to surveys of the careers of selected writers who have entered the public sphere (Elizabeth Gaskell, W.H. Auden, Raymond Carver, Sherman Alexie), to historical and theoretical examinations of various national and international public spheres.…

Buch. Zustand: Neu. Neuware - This book makes extensive use of Soviet sources to provide the first full analysis of Moscow's ballistic missile defence policy from its origins to the most recent post-Soviet developments. It considers the Soviets' motivations for pursuing an anti-ballistic missile capability and the extent of their success, and reveals that ballistic missile defence policy was used by every political leadership from Krushchev to Yeltsin as a means of sending signals about Moscow's intentions to the West.…

Buch. Zustand: Neu. Neuware - This book is about continuity and change in early nineteenth-century Britain. Against the background of an emerging industrial state, the popularization of liberal laissez-faire principles and the rise of a class-based society, it examines the revival of traditional paternal ideals and considers their influence upon the development of social policy. The poor laws, social distress, child labour and factory reform provide a focus for the analysis. The implications of the revival for the emergence of the collective or welfare state is an important theme.…

Buch. Zustand: Neu. Neuware - Diagnostic and interventional endoscopy has made rapid progress in recent years. Several methods are still under development and need to be properly evaluated. Bile duct diseases may have a negative impact on the liver, so early diagnosis and minimal invasive treatment options are important. Liver transplantation is now established for the treatment of liver failure. Hepatic surgery may lead to problems in the bile ducts which can be treated by endoscopic intervention. A broad spectrum of indications for interventional endoscopy in hepatology exists. This book, the proceedings of Falk Symposium No. 116, held in Basel, Switzerland, October 25 1999 (Part III of the Basel Liver Week 1999), describes the state of the art and new developments in endoscopy for these treatments, and contains chapters by well-known experts from all over the world.…

Buch. Zustand: Neu. Neuware - This volume contains a number of essays by experts in areas of theoretical physics and astrophysics including cosmology, classical and quantum gravity, string theory and relativistic astrophysics. It will provide the reader with excellent reviews of current research in these frontier areas. Several of the essays emphasise alternative views of the Universe by leading astronomers and physicists who are known for their pioneering contributions. The volume is dedicated to Professor Jayant Narlikar, who has concerned himself with fundamental issues in cosmology and gravitation theory over a long and distinguished research career.…

Buch. Zustand: Neu. Neuware - Goal Directed Proof Theory presents a uniform and coherent methodology for automated deduction in non-classical logics, the relevance of which to computer science is now widely acknowledged. The methodology is based on goal-directed provability. It is a generalization of the logic programming style of deduction, and it is particularly favourable for proof search. The methodology is applied for the first time in a uniform way to a wide range of non-classical systems, covering intuitionistic, intermediate, modal and substructural logics. The book can also be used as an introduction to these logical systems form a procedural perspective. Readership: Computer scientists, mathematicians and philosophers, and anyone interested in the automation of reasoning based on non-classical logics. The book is suitable for self study, its only prerequisite being some elementary knowledge of logic and proof theory.…

Buch. Zustand: Neu. Neuware - It is an obvious fact that human agency is constrained and structured by many kinds of rules: rules that are constitutive for communication, morality, persons, and society, and juridical rules. So the question is: what roles are played by social rules and the structural traits of human agency in rational decision making What bearing does this have on the theory of practical rationality These issues can only be discussed within an interdisciplinary setting, with researchers drawn from philosophy, decision theory and the economic and social sciences. The problem is of profound, fundamental concern to the social scientist and has attracted a great deal of intellectual effort. Contributors include distinguished researchers in their respective fields and the book thus presents state-of-the-art theory. It can also be used as a textbook in advanced philosophy, economics and social science classes.…

Buch. Zustand: Neu. Neuware - Object relationships in modern software systems are becoming increasingly numerous and complex, and program errors due to violations of object relationships are difficult to detect. Programmers need new tools that allow them to explore objects in a large system more efficiently and to detect broken object relationships instantaneously. Such tools incorporate approaches used in such areas as data visualization, pattern matching and extraction, database querying, active databases, and rule-based programming. The query-based debugging approach developed by the author of this book is another powerful yet efficient tool to be added to the developer's tool chest. Advanced Debugging Methods presents practice and tools for debugging computer programs. This book proposes new powerful approaches that simplify the daunting task of debugging complex software systems. Although debugging has been addressed in numerous research papers, many of its methods have yet to be explored in a book-length format. This book helps to fill this gap by presenting an overview of existing debugging tools with motivating examples and case studies, as well as presenting new, state-of-the-art debugging methods. Advanced Debugging Methods will be of use to software developers looking for tools to be applied in cutting edge practice; system architects looking at the relationship between software design and debugging; tools and programming language researchers looking for new ideas in run-time tool implementation as well as detailed descriptions of advanced implementations; and university professors and graduate students who will use this book as supplementary reading for graduate courses in programming tools, language implementation, and advanced object-oriented systems. Advanced Debugging Methods is also a handy reference of currently existing debugging methodologies as well as a springboard for cutting-edge research to simplify thedifficult task of debugging and to facilitate the development of more robust software systems.…

Buch. Zustand: Neu. Neuware - In 1998 Armenia was commemorating the tenth anniversary of the catastrophic Spitak earthquake. The Second International Conference on 'Earthquake Hazard and Seismic Risk Reduction' sponsored by the Government of the Republic of Armenia and United Nation's International Decade for Natural Disaster Reduction (UN/IDNDR) was held in dedication to that event between 14-21 September (later referred to as Yerevan Conference). The Yerevan Conference has been organized by the National Survey for Seismic Protection (NSSP) of the Republic of Armenia. All level's decision-makers (from the ministers to the local authorities), politicians, scientists, leaders of the executive and legislative powers, psychologists, leading businessmen, representatives from the private sector and the media as well as from the International Organizations have been invited by the Armenian NSSP to take part in joint discussion of the Seismic Risk Reduction Problem for the first time in the history of such forums. Armenian NSSP's such initiative has been triggered by the experience of the Spitak earthquake and other disasters. They showed that it will be possible to reduce the risks, posed by the natural disaster, only through the common efforts of all the community in co-operation with the International institutions.…

Buch. Zustand: Neu. Neuware - Place names are a window into the history and characteristics of a country. Their names reflect the migrations of peoples, their religious and cultural traditions, local languages, conquests and fortifications long since disappeared. They also reflect the topography and industrial development of a place. The text is ordered by country alphabetically. The book will include a historical section, putting the place name into context, and references those events, which have had an impact on the geography of a country, and those foreign influences, which have played a part in shaping the place name. This volume is confined to the 38 countries of Europe, together with Andorra, Gibraltar, Liechtenstein, Malta, Monaco, San Marino, Cyprus and the Vatican City. All place names of cities and towns of particular importance and interest are included. Detailed maps accompany the text to illustrate change and evolution.…

Buch. Zustand: Neu. Neuware - Formal Methods for Open Object-Based Distributed Systems IV presents the leading edge in the fields of object-oriented programming, open distributed systems, and formal methods for object-oriented systems. With increased support within industry regarding these areas, this book captures the most up-to-date information on the subject. Papers in this volume focus on the following specific technologies: components; mobile code; Java®; The Unified Modeling Language (UML); refinement of specifications; types and subtyping; temporal and probabilistic systems. This volume comprises the proceedings of the Fourth International Workshop on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2000), which was sponsored by the International Federation for Information Processing (IFIP) and held in Stanford, California, USA, in September 2000. …

Buch. Zustand: Neu. Neuware - Testing of Communicating Systems presents the latest international results in both the theory and industrial practice of the testing of communicating systems. The topics discussed range from tools and techniques for testing to test standards, frameworks, notations, algorithms, fundamentals of testing, and industrial experiences and issues. The tools and techniques discussed apply to conformance testing, interoperability testing, performance testing of communications software, Internet protocols and applications, and multimedia and distributed systems in general, such as systems for electronic commerce. This volume contains the extensively refereed proceedings of the 13th International Conference on Testing of Communicating Systems (TestCom 2000), which was sponsored by the International Federation for Information Processing (IFIP) and held in Ottawa, Ontario, Canada in early September 2000. Testing of Communicating Systems is essential reading for engineers, designers, managers of IT products and services, and all researchers interested in advancing the technology of engineering Internet frameworks, systems, services, and applications for reliability and quality. …

Buch. Zustand: Neu. Neuware - Dictation systems, read-aloud software for the blind, speech control of machinery, geographical information systems with speech input and output, and educational software with `talking head' artificial tutorial agents are already on the market. The field is expanding rapidly, and new methods and applications emerge almost daily. But good sources of systematic information have not kept pace with the body of information needed for development and evaluation of these systems. Much of this information is widely scattered through speech and acoustic engineering, linguistics, phonetics, and experimental psychology. The Handbook of Multimodal and Spoken Dialogue Systems presents current and developing best practice in resource creation for speech input/output software and hardware. This volume brings experts in these fields together to give detailed `how to' information and recommendations on planning spoken dialogue systems, designing and evaluating audiovisual and multimodal systems, and evaluating consumer off-the-shelf products. In addition to standard terminology in the field, the following topics are covered in depth: How to collect high quality data for designing, training, and evaluating multimodal and speech dialogue systems; How to evaluate real-life computer systems with speech input and output; How to describe and model human-computer dialogue precisely and in depth. Also included: The first systematic medium-scale compendium of terminology with definitions.This handbook has been especially designed for the needs of development engineers, decision-makers, researchers, and advanced level students in the fields of speech technology, multimodal interfaces, multimedia, computational linguistics, and phonetics.…

Buch. Zustand: Neu. Neuware - In 1992, the Falk Symposium No. 70 dealt with the topic `Immunology and Liver'. At that time basic mechanisms of immunology as well as immunopathogenetic mechanisms in viral and autoimmune liver diseases were discussed. Now, 7 years later, the Falk Symposium No. 114, held in Basel, Switzerland, October 20-21 1999 (Part I of the Basel Liver Week 1999), focused on immunology in autoimmune liver diseases. In the first section basic mechanisms of autoimmunity are presented, including the relevance of superantigens and the role of apoptosis. A further topic is the latest developments concerning animal models for autoimmune diseases. Recently the International Autoimmune Hepatitis Group newly defined and reclassified the syndrome of autoimmune hepatitis. Autoimmune hepatitis is now identified and studied in all parts of the world, including Asia and South America. A special variant of autoimmune hepatitis was identified as one organ manifestation of the autoimmune polyendocrine syndrome type 1, a genetic disease caused by mutations in a single transcription factor. Drug- and hepatitis-virus induced immune mediated liver diseases may serve as models for nonhepatic immune mediated disorders. DNA technology has increased our knowledge of the immunogenetic background of autoimmune liver diseases. Among the cholestatic immune mediated liver diseases, significant progress has been made concerning primary biliary cirrhosis, in particular regarding the identification of mitochondrial antigens and the characterisation of the immune reactions directed at them. The involvement of infectious agents in PBC as well as the definition of overlap syndromes is a particular focus for basic and clinical research in this area. Concerning the therapy of autoimmune liver diseases, corticosteroids and azathioprin remain the state of the art for autoimmune hepatitis, while bile acids have become well established in treatment of primary biliary cirrhosis as wellas primary sclerosing cholangitis. New drugs in the future will include topical steroids such as budesonide and new immunosuppressive agents like mofetil/mycophenolate. Liver transplantation is the treatment of choice for end stage liver diseases; all autoimmune liver diseases are among the best candidates for liver transplantation. Hopefully, new therapeutic strategies based on the results obtained from experimental models will become everyday clinical practice in the next decade. Therefore this symposium concludes with a discussion. …

Buch. Zustand: Neu. Neuware - Most routine motor tasks are complex, involving load transmission through out the body, intricate balance, and eye-head-shoulder-hand-torso-leg coor dination. The quest toward understanding how we perform such tasks with skill and grace, often in the presence of unpredictable perturbations, has a long history. This book arose from the Ninth Engineering Foundation Con ference on Biomechanics and Neural Control of Movement, held in Deer Creek, Ohio, in June 1996. This unique conference, which has met every 2 to 4 years since the late 1960s, is well known for its informal format that promotes high-level, up-to-date discussions on the key issues in the field. The intent is to capture the high quality ofthe knowledge and discourse that is an integral part of this conference series. The book is organized into ten sections. Section I provides a brief intro duction to the terminology and conceptual foundations of the field of move ment science; it is intended primarily for students. All but two of the re maining nine sections share a common format: (l) a designated section editor; (2) an introductory didactic chapter, solicited from recognized lead ers; and (3) three to six state-of-the-art perspective chapters. Some per spective chapters are followed by commentaries by selected experts that provide balance and insight. Section VI is the largest section, and it con sists of nine perspective chapters without commentaries.…

Buch. Zustand: Neu. Neuware - 'Have you tried peptides Small proteins, the best in the land! Won't you try peptides Keep all your body processes in hand! For labor and lactation oxytocin you must buy! Enkephalin always gives a good runner's high! So won't you try peptides Small proteins, the best in the land!' The above words [1], penned by Gary Gisselman to open Peptide Ångst: La Triviata, the opera which made its world premiere on July 1, 1999, also serve as a fitting charge to the th 16 American Peptide Symposium. This latest edition of a premier biennial series was held under the auspices of the American Peptide Society, June 26-July 1, 1999, at the Minneapolis Convention Center, Minneapolis,Minnesota, with the undersigned serving as Co-Chairs. The fortunate coincidence of the calendar allowed us to set as the theme 'Peptides for the New Millennium', and in our judgment, the approximately 1200 participants [2] who converged in the Twin Cities from academic and industrial institutions in 36 countries were treated to an exciting and stimulating conference that left most everyone with an enthusiastic vision for the future of our field. The present Proceedings volume should serve as a handy reference source and succinct snapshot of peptide science at essentially its century mark - the clock having started with the initial contributions of Emil Fischer and Th. Curtius.…

Taschenbuch. Zustand: Neu. Neuware -Gerade im Alter kommt es vor, dass man vergesslicher wird und sich Wichtiges oft nicht mehr merken kann. Geistige Fitness kann aber von Jung und Alt gemeinsam geübt und verbessert werden. Das gilt für gesunde Menschen genauso wie für Personen, die an Alzheimer oder einer anderen Demenzerkrankung leiden.Das Trainingsbuch 'Nimm dir Zeit für Oma und Opa' enthält Gedächtnisübungen in allen Schwierigkeitsstufen für ältere Menschen und ihre Angehörigen. Durch kurze tägliche Übungseinheiten werden die Gedächtnisleistung, Konzentration und Aufmerksamkeitsfähigkeit gefördert. Wortflüssigkeit und Allgemeinwissen werden trainiert. Die Übungen sind auch für bereits an Alzheimer erkrankte Personen geeignet.Die Autoren Croy und Gatterer sind Psychotherapeuten. Sie haben ihre beruflichen und privaten Erfahrungen mit kognitiven Trainings für ältere Menschen in diesem Buch verarbeitet. 84 pp. Deutsch.…