springer international publishing jul 2021 (Oltre 2.000 risultati)

Taschenbuch. Condizione: Neu. Neuware -Written by a professional astronomer who has worked on a wide spectrum of topics throughout his career, this book gives a popular science level description of what has become known as multimessenger astronomy. It links the new with the traditional, showing how astronomy has advanced at increasing pace in the modern era.In the second decade of the twenty-first century astronomy has seen the beginnings of a revolution. After centuries when all our information about the Universe has come via electromagnetic waves, now several entirely new ways of exploring it have emerged. The most spectacular has been the detection of gravitational waves in 2015, but astronomy also uses neutrinos and cosmic ray particles to probe processes in the centres of stars and galaxies.The book is strongly oriented towards measurement and technique. Widely illustrated with colourful pictures of instruments, their creators and astronomical objects, it is backed with descriptions of theunderlying theories and concepts, linking predictions, observations and experiments. The thread is largely historical, although obviously it cannot be encyclopaedic. Its point of departure is the beginning of the twentieth century and it aims at being as complete as possible for the date of completion at the end of 2020.The book addresses a wide public whose interest in science is served by magazines like Scientific American: lively, intelligent readers but without university studies in physics.

Buch. Condizione: Neu. Neuware -This book aims to familiarize readers with the most common acute surgery topics encountered in clinical practice and is unique in its use of infographics. It will be used in clinical rotations in surgery as a supplement to the knowledge gained, and will also provide instructors with a complementary tool, offering a wide-ranging guide to general aspects of acute surgery, with some hints on gynecologic and urologic emergencies.The book is intended to provide medical students and junior residents in medicine or surgery with a comprehensive and up-to-date overview of the most relevant operative techniques.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 136 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -Capstone Design: Project Process and Reviews (Student Engineering Design Workbook) provides a brief overview of the design process as well as templates, tools, and student design notes. The goal of this workbook is to provide students in multiple disciplines with a systematic iterative process to follow in their Capstone Design projects and get feedback through design reviews. Students should treat this workbook as a working document and document individual/team decisions, make sketches of their concepts, and add additional design documentation. This workbook also assists in documenting student responsibility and accountability for individual contributions to the project. Freshman- and sophomore-level students may also find this workbook helpful for design projects. Finally, this workbook will also serve as an evaluation and assessment tool for the faculty mentor/advisor.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 104 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -Elizabeth Bowen: A Literary Life reinvents Bowen as a public intellectual, propagandist, spy, cultural ambassador, journalist, and essayist as well as a writer of fiction. Patricia Laurence counters the popular image of Bowen as a mannered, reserved Anglo-Irish writer and presents her as a bold, independent woman who took risks and made her own rules in life and writing. This biography distinguishes itself from others in the depth of research into the life experiences that fueled Bowen¿s writing: her espionage for the British Ministry of Information in neutral Ireland, 1940-1941, and the devoted circle of friends, lovers, intellectuals and writers whom she valued: Isaiah Berlin, William Plomer, Maurice Bowra, Stuart Hampshire, Charles Ritchie, Sean O¿Faolain, Virginia Woolf, Rosamond Lehmann, and Eudora Welty, among others. The biography also demonstrates how her feelings of irresolution about national identity and gender roles were dispelled through her writing. Her vivid fiction, often about girls and women, is laced with irony about smooth social surfaces rent by disruptive emotion, the sadness of beleaguered adolescents, the occurrence of cultural dislocation, historical atmosphere, as well as undercurrents of violence in small events, and betrayal and disappointment in romance. Her strong visual imagination¿so much a part of the texture of her writing¿traces places, scenes, landscapes, and objects that subliminally reveal hidden aspects of her characters. Though her reputation faltered in the 1960s-1970s given her political and social conservatism, now, readers are discovering her passionate and poetic temperament and writing as well as the historical consciousness behind her worldly exterior and writing.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 376 pp. Englisch.

Buch. Condizione: Neu. Neuware -This open access book focuses on how and why digital games and gambling are increasingly intertwined and asks ¿does this matter ¿ Looking at how ¿loot boxes¿ became the poster child for the convergence of gambling and gaming, Wardle traces how we got here. She argues that the intersection between gambling and gaming cultures has a long lineage, one that can be traced back throughout the 20th century but also incorporates more recent trends like the poker boom of the 1990s, the development of social media gambling products and the development of skin betting markets.Underpinned by changing technology, which facilitated new ways to bet, trade and play, the intersection between gaming and gambling cultures and products has accelerated within the last decade ¿ and shows little signs of stopping. Wardle explores what this means for our understanding of risk, how gaming and gambling entities use each other for commercial advantage, and crucially explores what young people think of this, before making recommendations for action.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 128 pp. Englisch.

Buch. Condizione: Neu. Neuware -This open access book traces the development of sociology in Germany from the late 19th century to the present day, providing a concise overview of the main actors, institutional processes, theories, methods, topics and controversies. Throughout the book, the author relates the discipline¿s history to its historical, economic, political and cultural contexts. The book begins with sociology in the German Reich, the Weimar Republic, National Socialism and exile, before exploring sociology after 1945 as a ¿key discipline¿ of the young Federal Republic of Germany, and reconstructing the periods from 1945 to 1968 and from 1968 to 1990. The final chapters are devoted to sociology in the German Democratic Republic and the period from 1990 to the present day. This work will appeal to students and scholars of sociology, and to a general readership interested in the history of Germany.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 236 pp. Englisch.

Buch. Condizione: Neu. Neuware -One of the best-kept secrets of Japanese cuisine is a range of side dishes known as tsukemono (¿¿¿¿, ¿¿). The word, pronounced ¿tskay-moh-noh,¿ means ¿something that has been steeped or marinated¿ (tsuke¿steeped; monöthings). Although tsukemono are usually made from vegetables, some fruits, flowers, and a few rhizomes are also preserved this way; it is, therefore, more accurate to characterize them as ¿pickled foods.¿ Their preparation makes use of one or more conservation techniques, involving ingredients such as salt, sugar, vinegar, alcohol, and herbs, in combination with methods including dehydration, marinating in salt and acidic liquids, fermentation, and curing. The process of making tsukemono amounts to more than just a simple way of preserving otherwise perishable fresh produce. Apart from its nutritional value, the dish stimulates the appetite, provides delicious taste sensations, and improves digestion, all while remaining an elegant study in simplicity and esthetic presentation.This book goes well beyond explaining the secrets of making crisp tsukemono. The authors discuss the cultural history and traditions associated with these pickled foods; provide recipes and outline techniques for preparing them at home with local ingredients; describe the healthful benefits and basic nutritional value to be found in the various types of pickles; and show how easy it is to serve them on a daily basis to stimulate the appetite or as condiments to accompany vegetable, fish, and meat dishes. The goal is to encourage the readers of this book to join us in a small culinary adventure that will allow us to expand and diversify our consumption of plant-based foods, which are so vital to our overall well-being. And along the way, there may be a few surprises.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 188 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -Tradition in Creative Writing: Finding Inspiration Through Your Roots encourages writers to rediscover sources of creativity in the everyday, showing students how to see your writing as connected to your life. Adrian May addresses a key question for many beginning writers: Where do you get your ideas from May argues that tradition does not mean anti-progress¿but is instead a kind of hidden wealth that stems from literary and historical traditions, folk and songs, self and nature, and community. By drawing on these personal and traditional wellsprings of inspiration, writers will learn to see their writing as part of a greater continuum of influences and view their work as having innate value as part of that cultural and artistic ecology. Each chapter includes accessible discussion, literary and critical readings, creative examples, and writing exercises. While the creative examples are drawn from song lyrics and poetry, the writing exercises are appropriate for all genres. Undergraduates and practitioners will benefit from this guide to finding originality in writing through exploring sources of creative inspiration.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 196 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This open access book analyses barriers and challenges associated with the financing of clean energy access in sub-Saharan Africa. By considering various economic, financial, political, environmental and social factors, it explores the consequences of energy poverty across the region and maps the real and perceived investment risks for potential capital providers, both domestic and international. Furthermore, it analyses risk mitigation strategies and innovative financing structures available to the public and private sectors, which are aimed at leveraging capital in the clean energy sector at scale and fostering the creation of an enabling business and investment environment.More specifically, the present book analyses how to (i) enhance capital allocation in projects and organisations that foster clean energy access in the region, (ii) mobilize private capital at scale and (iii) decrease the cost of financing through risk mitigation strategies. Going beyond traditional approaches, the book also considers socioeconomic and cultural aspects associated with investment barriers across the subcontinent. Moreover, it urges the public and private spheres to become more actively involved in tackling this pressing development issue, and provides policy recommendations for the public sector, including proposals for business model evolution at multilateral agencies and development institutions. It will appeal to a wide readership of both academics and professionals working in the energy industry, the financial sector and the political sphere, as well as to general readers interested in the ongoing debate about energy, sustainable development and finance.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 212 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -A comprehensive guide in a compact format on doing business in Russia. This book contains everything business-minded individuals need to know, using practical information and numerous tips to succeed in Russia.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 312 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -Earth has become a huge mine, with a greater quantity and variety of fundamental mineral resources being extracted year after year. Technology, from electric cars to everyday electrical equipment, consume vast amounts of scarce raw materials. On a planet with limited resources, are these minerals being properly assessed Will there be enough raw materials to meet the demand of a world population on track to reach 10 billion people What will be the consequences of accelerated resource depredation Will the planet one day become 'Thanatia', a resource-exhausted Earth This book allows readers to understand the mineral heritage of the Earth, considering the demand for raw materials in society, comparing it with the availability of resources on Earth and the impact of mining. The basics of physical geonomics are exlpained, allowing readers to analyse the loss of mineral resources on the planet. The impact of renewable energies and technologies, including electric vehicles, arestudied. The book concludes with possible solutions to mineral depletion, from increasing recycling rates, ecodesign measures or alternative sources of mineral resources.Providing numerous tables and illustrations, 'The Material Limits of Energy Transition: Thanatia' gives readers a thorough understanding of mineral depletion. Exploring geology, geochemistry, mining, metallurgy, the environment and thermodynamics, this is a truly holistic book.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 280 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -Why do the Dutch continue to play a central role in the global production, sales, and distribution of flowers What are the origin and history of the bulb and flower industry in the Netherlands How are Artificial Intelligence (AI), complex algorithms, and modern distribution systems ensuring that fresh flowers reach their destination on time This very entertaining and informative book introduces readers to the global flower business, and highlights the surprising factors that helped the Dutch become global leaders on the flower markets.The book reveals the complexity of the flower markets in terms of their ability to produce, transport, and deliver fresh flowers on a global scale. In addition, it explores how information advantage is created by blending business with technology, from robotized glasshouses to the use of AI-driven algorithms for flower production and distribution. In closing, the book presents lessons learned regarding the circular and digital transformation of the high-speed flower business and markets in order to deliver sustainable value for customers.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 244 pp. Englisch.

Buch. Condizione: Neu. Neuware -When viewed through a political lens, the act of defining terms in natural language arguably transforms knowledge into values. This unique volume explores how corporate, military, academic, and professional values shaped efforts to define computer terminology and establish an information engineering profession as a precursor to what would become computer science.As the Cold War heated up, U.S. federal agencies increasingly funded university researchers and labs to develop technologies, like the computer, that would ensure that the U.S. maintained economic prosperity and military dominance over the Soviet Union. At the same time, private corporations saw opportunities for partnering with university labs and military agencies to generate profits as they strengthened their business positions in civilian sectors. They needed a common vocabulary and principles of streamlined communication to underpin the technology development that would ensure national prosperity and military dominance.investigates how language standardization contributed to the professionalization of computer science as separate from mathematics, electrical engineering, and physicsexamines traditions of language standardization in earlier eras of rapid technology development around electricity and radiohighlights the importance of the analogy of ¿the computer is like a human¿ to early explanations of computer design and logictraces design and development of electronic computers within political and economic contextsforegrounds the importance of human relationships in decisions about computer designThis in-depth humanistic study argues for the importance of natural language in shaping what people come to think of as possible and impossible relationships between computers and humans. The work is a key reference in the history of technology and serves as a source textbook on the human-level history of computing. In addition, it addresses those with interests in sociolinguistic questions around technology studies, as well as technology development at the nexus of politics, business, and human relations.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 156 pp. Englisch.

Buch. Condizione: Neu. Neuware -This book argues that, to be healthy, human beings should love nature and stay in balance with it as much as possible. In other words: do not unbalance nature so that your own balance is not disturbed. The best and healthiest way for human beings to live is to find balance in life and nature. In this regard, the book discusses useful, nutritious, functional foods, nutraceuticals and antioxidants, and how natural molecules, which are provided by nature, can be the best medicine for human beings. At a molecular level, stress is defined by the presence of unbalanced free radicals in the body. Most diseases ¿ especially type 2 diabetes, which accounts for the majority of diabetics ¿ can be traced back to this problem. Our scientific evidence indicates that type 2 diabetes isn¿t just a disease resulting from sugar, but also from stress. The book seeks to promote a healthier lifestyle by considering the psychoemotional dimension of wellness. And finally, it contends that good sleep is at the root of health and happiness for humanity, and that unbalanced free radicals are expelled from the body during restful sleep.The authors hope that this book will be a helpful guide and source of peace for readers, especially given their need for inner calm during the COVID-19 pandemic, and that the suggestions provided will show them the way to a better life.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 212 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This textbook offers a practical guide to creating narratives in audio media. It is one of the most beautiful and complex tasks in radio and podcasting: how do you tell a compelling story and keep your listeners tuned in In Storytelling in Radio and Podcasts, Preger offers practical answers to crucial questions: What material is suitable for long stories How can I bind listeners to a real story for 15, 30 or 60 minutes Or even get them excited about a whole series How do I maintain suspense from beginning to end How do I find my narrative voice And, how do I develop a sound design for complex narratives Richly illustrated using practical examples, the book guides the reader through various stages of developing a non-fiction narrative and examines structure, character development, suspense, narration, sound-design and ethics.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 260 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This open access book provides an overview of the ever-growing phenomenon of children in shared physical custody thereby providing legal, psychological, family sociological and demographical insights. It describes how, despite the long evolution of broken families, only the last decade has seen a radical shift in custody arrangements for children in divorced families and the gender revolution in parenting which is taking place. The chapters have a national or cross-national perspective and address topics like prevalence and types of shared physical custody, legal frames regulating custody arrangements, stability and changes in arrangements across the life course of children, sociöeconomic, psychological, social well-being of various family members involved in different custody arrangements. With the book being an interdisciplinary collaboration, it is interesting read for social scientists in demography, sociology, psychology, law and policy makers with an interest family studies and custody arrangements.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 340 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This open access book explores the use of visual methods in migration studies through a combination of theoretical analyses and empirical studies. The first section looks at how various visual methods, including photography, film, and mental maps, may be used to analyse the spatial presence of migrants. The second section addresses the processual building of narratives around migration, thereby using formats such as film and visual essay, and reflecting upon the ways they become carriers and mediators of both story and theory within the subject of migration. Section three focuses on vulnerable communities and discusses how visual methods can empower these communities, thereby also focusing on the theoretical and ethical implications of migration. The fourth section addresses the issue of migrant representation in visual discourses. Based on these contributions, a concluding methodological chapter systematizes the use of visual methods in migration studies across disciplines, with regard to their empirical, theoretical, and ethical implications. Multidisciplinary in character, this book is an interesting read for students and migration scholars who engage with visual methodologies, as well as practitioners, journalists, filmmakers, photographers, curators of exhibitions who address the topic of migration visually.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 372 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 148 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This book, written by a multidisciplinary team of authors comprising scientists, artists and communicators, explores one of the most pressing issues of our time ¿ the menace plastics pose to marine environments and organisms. It takes readers on a journey that begins on the beaches of Galicia, where the beach litter formed the starting point for an exhibition that combines art and science to alert the audience to the urgent need for action. The journey culminates with a short ¿plastic story¿, which reveals a disturbing vision of the future significance of plastics for humans, and an example of how comics can deliver information to a younger audience. Along the way there is plenty of fascinating science, such as insights into the impacts of plastics and microplastics; the new marine ecosystem, known as the ¿plastisphere¿; and the current status of the oceans, from the Arctic to the Mediterranean. The book also explores the historical developments; sustainable solutions, including the use of circular economy methodologies; and protective measures, like those being tried in China and the Far East. Lastly, it describes the role played by rivers as transport vectors for plastic, with special reference to the Danube, and to complete the picture, since most of the plastic is of terrestrial origin, it investigates problems related to microplastics in soils.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 268 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This open access two-volume set LNCS 12759 and 12760 constitutes the refereed proceedings of the 33rd International Conference on Computer Aided Verification, CAV 2021, held virtually in July 2021.The 63 full papers presented together with 16 tool papers and 5 invited papers were carefully reviewed and selected from 290 submissions. The papers were organized in the following topical sections:Part I: invited papers; AI verification; concurrency and blockchain; hybrid and cyber-physical systems; security; and synthesis.Part II: complexity and termination; decision procedures and solvers; hardware and model checking; logical foundations; and software verification.This is an open access book.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 948 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This open access book constitutes the proceeding of the 28th International Conference on Automated Deduction, CADE 28, held virtually in July 2021.The 29 full papers and 7 system descriptions presented together with 2 invited papers were carefully reviewed and selected from 76 submissions. CADE is the major forum for the presentation of research in all aspects of automated deduction, including foundations, applications, implementations, and practical experience. The papers are organized in the following topics: Logical foundations; theory and principles; implementation and application; ATP and AI; and system descriptions.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 664 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -The landmark 2010 Patient Protection and Affordable Care Act (ACA), or ¿Obamacare,¿ is a topic of great debate in mainstream, academic, and scientific media that generated strong opinions across the political spectrum and our nation. Soon after the enactment of the ACA and the fierce debate that ensued, The Affordable Care Act as a National Experiment was published by Springer in 2014. Now five years later, just finishing an election year in which the ACA was a hotly debated issue, the second edition of this title examines the history, lessons, and impact of this ground-breaking legislation. Now a decade since implementation nationally, the ACA is the largest healthcare policy innovation in the United States in at least 50 years and one of our nation¿s largest healthcare experiments ever. The history of public health and medicine shows us that to develop better solutions for important health problems, we must innovate. And when we try a new strategy, we are reminded that to innovate is to experiment. This is the basis of all medical research, public health interventions, and health policy innovations. Moreover, in recent years, there is an increasing emphasis on ¿translational science,¿ research that always has an ultimate focus on having real impact on medical care and the public¿s health ¿ whether in translating from bench research to the bedside, or from limited clinical use into widespread practice, public health interventions or policy.As with the previous edition, the book opens with a chapter that gives a basic overview of The Affordable Care Act. The second chapter, which previously discussed the objectives of the ACA, now takes a look at the successes, unfinished work and impact of the ACA in the past ten years. The third chapter now ponders the question of whether the ACA has protected patients since its implementation while its previous counterpart gave predictions for the future. The chapters that follow highlight things such as Medicaid expansion and insurance reform under the ACA, the Supreme Court Review of the ACA, social determinants of health, stories of the uninsured and stabilization of the ACA, among others. The book rounds out with a summary of what¿s next and the push for universal healthcare followed by an epilogue. Due to the timely nature of the subject matter, some chapters from the previous edition have been dropped and seven new chapters have been added in their place. The remaining seven chapters from the previous edition have also been fully revised and updated.Written by nationally known healthcare policy leaders who were involved directly in the creation and implementation of the ACA, the second edition of The Affordable Care Act as a National Experiment again will examine the history and impact of this ground-breaking legislation as well as recommend priorities, objectives, and next steps for translational research. It is an essential resource for all healthcare providers as well as policy makers and academics.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 140 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This open access State-of-the-Art Survey describes and documents the developments and results of the Once-Only Principle Project (TOOP).The Once-Only Principle (OOP) is part of the seven underlying principles of the eGovernment Action Plan 2016-2020. It aims to make the government more effective and to reduce administrative burdens by asking citizens and companies to provide certain standard information to the public authorities only once.The project was horizontal and policy-driven with the aim of showing that the implementation of OOP in a cross-border and cross-sector setting is feasible. The book summarizes the results of the project from policy, organizational, architectural, and technical points of view.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 252 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This open access book examines a particular factor in the enduring international success of German companies. Beyond industrial specialization, peaceful labor relations, local financial markets and the ¿miracle of the Mittelstand¿, it focuses on a characteristic aspect of governance within the German economy: The Chambers of commerce and industry. Important characteristics of the Chamber system are emphasized - including obligatory membership for firms as well as participatory rules of their self-administration.In turn, the book examines the institution¿s self-governance, its services, and its mission regarding the general representation of interests. Moreover, the book also identifies the advancement of the dual system of professional education as a central element of the Chamber system. Following an introduction about how the Chamber system works, interviews, case studies and historical explanations help to exemplify the true spirit inherent to this formof representation. In particular, they reveal the essence of how the Chambers contribute to the global success of German companies and foster their corporate responsibility in a practical way.Given its scope, the book will be of particular interest to professionals, policymakers and researchers concerned with how institutional organization can support commerce and industry for the public good. The book was developed in collaboration with Laura Sasse and the Practical Wisdom Society.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 400 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This open access book constitutes revised selected papers from the 4th International Workshop on Brain-Inspired Computing, BrainComp 2019, held in Cetraro, Italy, in July 2019.The 11 papers presented in this volume were carefully reviewed and selected for inclusion in this book. They deal with research on brain atlasing, multi-scale models and simulation, HPC and data infra-structures for neuroscience as well as artificial and natural neural architectures.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 168 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This open access two-volume set LNCS 12759 and 12760 constitutes the refereed proceedings of the 33rd International Conference on Computer Aided Verification, CAV 2021, held virtually in July 2021.The 63 full papers presented together with 16 tool papers and 5 invited papers were carefully reviewed and selected from 290 submissions. The papers were organized in the following topical sections:Part I: invited papers; AI verification; concurrency and blockchain; hybrid and cyber-physical systems; security; and synthesis.Part II: complexity and termination; decision procedures and solvers; hardware and model checking; logical foundations; and software verification.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 964 pp. Englisch.

Buch. Condizione: Neu. Neuware -The word stress is everywhere and highly overused. Everyone is stressed, it seems, all the time. Looking into the meaning of stress in the natural science and the humanities, this book explores cellular stress as cause of and in correlation with what humans experience as stress. When do we psychologically feel stress and when do we show physiological evidence of stress in our brain Stress is a deviation from what feels normal and healthy. It can be created by social or economic factors and become chronic, which has substantial impacts on the individual and society as a whole. Focusing on poverty as one chronic inducer of stress, this book explores how the lack of pressure-free time, the hardships and unpredictability of everyday life and a general lack of protection lead to destructive toxic stress. This pressure affects cognitive and social functioning, brain development during childhood and may also result in premature aging. How can the sciences informour understanding of and our response to stress What can be done about toxic stress both on a personal level and in terms of structures and policies The book is written for anyone interested in stress, its causes and consequences, and its relationship to poverty.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 256 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This Open Access book examines children¿s participation in dialectical reciprocity with place-based institutional practices by presenting empirical research from Australia, Brazil, China, Poland, Norway and Wales. Underpinned by cultural-historical theory, the analysis reveals how outdoors and nature form unique conditions for children's play, formal and informal learning and cultural formation. The analysis also surfaces how inequalities exist in societies and communities, which often limit and constrain families' and children's access to and participation in outdoor spaces and nature. The findings highlight how institutional practices are shaped by pedagogical content, teachers' training, institutional regulations and societal perceptions of nature, children and suitable, sustainable education for young children. Due to crises, such as climate change and the recent pandemic, specific focus on the outdoors and nature in cultural formation is timely for the cultural-historical theoretical tradition. In doing so, the book provides empirical and theoretical support for policy makers, researchers, educators and families to enhance, increase and sustain outdoor and nature education.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 220 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -Written by a professional astronomer who has worked on a wide spectrum of topics throughout his career, this book gives a popular science level description of what has become known as multimessenger astronomy. It links the new with the traditional, showing how astronomy has advanced at increasing pace in the modern era.In the second decade of the twenty-first century astronomy has seen the beginnings of a revolution. After centuries when all our information about the Universe has come via electromagnetic waves, now several entirely new ways of exploring it have emerged. The most spectacular has been the detection of gravitational waves in 2015, but astronomy also uses neutrinos and cosmic ray particles to probe processes in the centres of stars and galaxies.The book is strongly oriented towards measurement and technique. Widely illustrated with colourful pictures of instruments, their creators and astronomical objects, it is backed with descriptions of theunderlying theories and concepts, linking predictions, observations and experiments. The thread is largely historical, although obviously it cannot be encyclopaedic. Its point of departure is the beginning of the twentieth century and it aims at being as complete as possible for the date of completion at the end of 2020.The book addresses a wide public whose interest in science is served by magazines like Scientific American: lively, intelligent readers but without university studies in physics.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 416 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware - Written by a professional astronomer who has worked on a wide spectrum of topics throughout his career, this book gives a popular science level description of what has become known as multimessenger astronomy. It links the new with the traditional, showing how astronomy has advanced at increasing pace in the modern era.In the second decade of the twenty-first century astronomy has seen the beginnings of a revolution. After centuries when all our information about the Universe has come via electromagnetic waves, now several entirely new ways of exploring it have emerged. The most spectacular has been the detection of gravitational waves in 2015, but astronomy also uses neutrinos and cosmic ray particles to probe processes in the centres of stars and galaxies. The book is strongly oriented towards measurement and technique. Widely illustrated with colourful pictures of instruments, their creators and astronomical objects, it is backed with descriptions of theunderlying theories and concepts, linking predictions, observations and experiments. The thread is largely historical, although obviously it cannot be encyclopaedic. Its point of departure is the beginning of the twentieth century and it aims at being as complete as possible for the date of completion at the end of 2020.The book addresses a wide public whose interest in science is served by magazines like Scientific American: lively, intelligent readers but without university studies in physics.