springer international publishing mrz 2021 (834 risultati)

Taschenbuch. Condizione: Neu. Neuware -In this engaging, insightful, and inspiring narrative, Hermann Simon, the world-renowned management thinker, consultant, pricing expert, entrepreneur, and leading authority on the 'hidden champions' business model, highlights the influences on his remarkable journey from humble origins on a German farm to advising and sharing the stage with global leaders in industry, academia, and politics.Born in 1947 in the rural Eifel region of Western Germany, Simon's coming of age parallels that of a country struggling to come to terms with the legacy of World War II and reinvent itself as a new world power. His colorful anecdotes of a youth spent in an agricultural community that in many ways operated as it had since the Middle Ages, reflect the establishment of core values, such as trust, focus, quality, and commitment that served as an anchor against the accelerating pace of technological, economic, political, social, and cultural change in the subsequent decades. Simon takes readers on a journey through time and space, as his-and our-world transformed from isolated to connected, local to global, revealing lessons learned from the extraordinary people (from Peter Drucker to Henry Kissinger) and places he has encountered along the way, through a career that has evolved from research and education to management consulting to leadership and strategy development on a broad scale. His particular interest in the Mittelstand, or 'hidden champions,' the small and medium-sized companies that exemplify the German business philosophy and served as the engine of its economic revival, becomes a powerful metaphor of his own experiences in blazing new trails while staying true to one's roots.For anyone familiar with Simon's work and contributions, Many Worlds, One Life reveals unique insights into the man himself and the origins of his ideas on successful leadership and business strategy. But more generally, readers in any field or discipline will recognize how their own stories reflect their ties to the past, their accomplishments in an increasingly complex environment, and, ultimately, their roads to the stars. 320 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This open access book provides an enriched understanding of historical, collective, cultural, and identity-related trauma, emphasising the social and political location of human subjects. It therefore presents a socio-ecological perspective on trauma, rather than viewing displaced individuals as traumatised 'passive victims'.The vastness of the phenomenon of trauma among displaced populations has led it to become a critical and timely area of inquiry, and this book is an important addition to the literature. It gives an overview of theoretical frameworks related to trauma and migration-exploring factors of risk and resilience, prevalence rates of PTSD, and conceptualisations of trauma beyond psychiatric diagnoses; conceptualises experiences of trauma from a sociocultural perspective (including collective trauma, collective aspirations, and collective resilience); and provides applications for professionals working with displaced populations in complex institutional, legal, and humanitarian settings. It includes case studies based on the author's own 10-year experience working in emergency contexts with displaced populations in 11 countries across the world. This book presents unique data collected by the author herself, including interviews with survivors of ISIS attacks, with an asylum seeker in Switzerland who set himself alight in protest against asylum procedures, and women from the Murle tribe affected by the conflict in South Sudan who experienced an episode of mass fainting spells. This is an important resource for academics and professionals working in the field of trauma studies and with traumatised groups and individuals. 320 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This text provides a concise yet comprehensive overview of autoimmune hepatitis (AIH). The book reviews diagnosis criteria for AIH, biochemical and histologic findings in typical and atypical cases, and treatment with first, second, and third line therapies. Furthermore, the book discusses management of AIH for specific patient populations, including pediatric patients, pregnant patients, and patients undergoing liver transplantation. Criteria for stopping therapy and risk of relapse, studies demonstrating the efficacy and safety of alternatives to corticosteroids, and diagnosis and treatment of overlap syndromes are also explored in the text.Written by experts in the field, Diagnosis and Treatment of Autoimmune Hepatitis: A Clinical Guide is a state-of-the-art resource for clinicians and practitioners who treat and manage patients with AIH 176 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This book presents essentially a collection of proceedings that deliberate on the key challenges and recent trends on robotics, automation and data analytics which are the pillars of Industry 4.0. Solutions that are employed in the multitude spectra of innovative robotics & automation and data analytics are discussed. The readers are expected to gain an insightful view on the current trends, issues, mitigating factors as well as solutions from the book. This book consists of selected papers presented at the 2nd International Conference on Innovative Technology, Engineering and Sciences 2020 (iCITES) hosted virtually by Universiti Malaysia Pahang on 22nd December 2020. iCITES is a biennial conference, aimed at building a platform that allows relevant stakeholders to share and discuss their latest researches, ideas and survey reports from theoretical to a practical standpoint especially in the Innovative Robotics & Automation and Data Analytics tracks which was published in this book. 432 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -From Banks's brewery's yeasty stink to groaty pudding to spicy curry, Sebastian Groes and R. M. Francis have assembled a new literary history of the smells and (childhood) memories that belong to the Black Country. This often overlooked region of the United Kingdom at the frontlines of post-industrial upheaval is a veritable treasure trove for studying the relationship between olfaction and place-specific memory. Smell, Memory, and Literature in the Black Country is an interdisciplinary exploration of the relationship between smell and memory in which the contributions consider both personal and communal memory. Drawing on psychology, neuroscience, memory studies, literary studies and philosophy, the critical essays reconsider psychogeography through cutting-edge sensory and philosophical engagements with physical space, smell, language and human behaviour. The creative contributions from writers including Liz Berry, Narinder Dhami, Anthony Cartwright, and Kerry Hadley-Pryce meditate on the senses, place, and identity. Not only does this book illustrate the rich cultural heritage of the Black Country, it will also appeal to those interested in place writing. The book is prefaced by Will Self. 220 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -As explored in this open access book, higher education in STEM fields is influenced by many factors, including education research, government and school policies, financial considerations, technology limitations, and acceptance of innovations by faculty and students. In 2018, Drs. Ryoo and Winkelmann explored the opportunities, challenges, and future research initiatives of innovative learning environments (ILEs) in higher education STEM disciplines in their pioneering project: eXploring the Future of Innovative Learning Environments (X-FILEs). Workshop participants evaluated four main ILE categories: personalized and adaptive learning, multimodal learning formats, cross/extended reality (XR), and artificial intelligence (AI) and machine learning (ML). This open access book gathers the perspectives expressed during the X-FILEs workshop and its follow-up activities. It is designed to help inform education policy makers, researchers, developers, and practitioners about the adoption and implementation of ILEs in higher education. 156 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book provides an accessible account of the poet and politician Andrew Marvell's life (1621-1678) and of the great events which found reflection in his work and in which he and his writings eventually played a part. At the same time, considerable space is afforded to reflecting deeply on the modes and meanings of Marvell's art, redressing the balance of recent biography and criticism which has tended to dwell on the public and political aspects of this literary life at the expense of lyric invention and lyric possibility. Moving beyond the familiar terms of imitation and influence, the book aims at reconstructing an embodied history of reading and writing, acts undertaken within a series of complex physical and social environments, from the Hull Charterhouse to the coffee houses and print shops of Restoration London. Care has been taken to cover the whole of Marvell's career, in verse and prose, even as the book places the lyric achievement at the centre of its vision. 252 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book is devoted to the study of Tomita's observable algebras, their structure and applications.It begins by building the foundations of the theory of T\*-algebras and CT\*-algebras, presenting the major results and investigating the relationship between the operator and vector representations of a CT\*-algebra. It is then shown via the representation theory of locally convex\*-algebras that this theory includes Tomita-Takesaki theory as a special case; every observable algebra can be regarded as an operator algebra on a Pontryagin space with codimension 1. All of the results are proved in detail and the basic theory of operator algebras on Hilbert space is summarized in an appendix.The theory of CT\*-algebras has connections with many other branches of functional analysis and with quantum mechanics. The aim of this book is to make Tomita's theory available to a wider audience, with the hope that it will be used by operator algebraists and researchers in these related fields. 200 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book is an extension to Arno van den Essen's Polynomial Automorphisms and the Jacobian Conjecture published in 2000. Many new exciting results have been obtained in the past two decades, including the solution of Nagata's Conjecture, the complete solution of Hilbert's fourteenth problem, the equivalence of the Jacobian Conjecture and the Dixmier Conjecture, the symmetric reduction of the Jacobian Conjecture, the theory of Mathieu-Zhao spaces and counterexamples to the Cancellation problem in positive characteristic. These and many more results are discussed in detail in this work.The book is aimed at graduate students and researchers in the field of Affine Algebraic Geometry. Exercises are included at the end of each section. 204 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This is an introductory book on continuous statistical distributions and its applications. It is primarily written for graduate students in engineering, undergraduate students in statistics, econometrics, and researchers in various fields. The purpose is to give a self-contained introduction to most commonly used classical continuous distributions in two parts. Important applications of each distribution in various applied fields are explored at the end of each chapter. A brief overview of the chapters is as follows. Chapter 1 discusses important concepts on continuous distributions like location-and-scale distributions, truncated, size-biased, and transmuted distributions. A theorem on finding the mean deviation of continuous distributions, and its applications are also discussed. Chapter 2 is on continuous uniform distribution, which is used in generating random numbers from other distributions. Exponential distribution is discussed in Chapter 3, and its applications briefly mentioned. Chapter 4 discusses both Beta-I and Beta-II distributions and their generalizations, as well as applications in geotechnical engineering, PERT, control charts, etc. The arcsine distribution and its variants are discussed in Chapter 5, along with arcsine transforms and Brownian motion. This is followed by gamma distribution and its applications in civil engineering, metallurgy, and reliability. Chapter 7 is on cosine distribution and its applications in signal processing, antenna design, and robotics path planning. Chapter 8 discusses the normal distribution and its variants like lognormal, and skew-normal distributions. The last chapter of Part I is on Cauchy distribution, its variants and applications in thermodynamics, interferometer design, and carbon-nanotube strain sensing. A new volume (Part II) covers inverse Gaussian, Laplace, Pareto, 2, T, F, Weibull, Rayleigh, Maxwell, and Gumbel distributions. 176 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This open access book discusses advances in semantic interoperability for materials modelling, aiming at integrating data obtained from different methods and sources into common frameworks, and facilitating the development of platforms where simulation services in computational molecular engineering can be provided as well as coupled and linked to each other in a standardized and reliable way. The Virtual Materials Marketplace (VIMMP), which is open to all service providers and clients, provides a framework for offering and accessing such services, assisting the uptake of novel modelling and simulation approaches by SMEs, consultants, and industrial R&D end users. Semantic assets presented include the EngMeta metadata schema for research data infrastructures in simulation-based engineering and the collection of ontologies from VIMMP, including the ontology for simulation, modelling, and optimization (OSMO) and the VIMMP software ontology (VISO). 104 pp. Englisch.

Buch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This open access book is a 2022 Nautilus Gold Medal winner in the category 'World Cultures' Transformational Growth & Development'. It states that the societal fault lines of our times are deeply intertwined and that they confront us with challenges affecting the security, fairness and sustainability of our societies. The author, Prof. Dr. Patrick Huntjens, argues that overcoming these existential challenges will require a fundamental shift from our current anthropocentric and economic growth-oriented approach to a more ecocentric and regenerative approach. He advocates for a Natural Social Contract that emphasizes long-term sustainability and the general welfare of both humankind and planet Earth. Achieving this crucial balance calls for an end to unlimited economic growth, overconsumption and over-individualisation for the benefit of ourselves, our planet, and future generations. To this end, sustainability, health, and justice in all social-ecological systems will require systemic innovation and prioritizing a collective effort. The Transformative Social-Ecological Innovation (TSEI) framework presented in this book serves that cause. It helps to diagnose and advance innovation and spur change across sectors, disciplines, and at different levels of governance. Altogether, TSEI identifies intervention points and formulates jointly developed and shared solutions to inform policymakers, administrators, concerned citizens, and professionals dedicated towards a more sustainable, healthy and just society.A wide readership of students, researchers, practitioners and policy makers interested in social innovation, transition studies, development studies, social policy, social justice, climate change, environmental studies, political science and economics will find this cutting-edge book particularly useful.'As a sustainability transition researcher, I am truly excited about this book. Two unique aspects of the book are that it considers bigger transformation issues (such as societies' relationship with nature, purpose and justice) than those studied in transition studies and offers analytical frameworks and methods for taking up the challenge of achieving change on the ground.'- Prof. Dr. René Kemp, United Nations University and Maastricht Sustainability Institute 224 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This open access book proposes a novel approach to Artificial Intelligence (AI) ethics. AI offers many advantages: better and faster medical diagnoses, improved business processes and efficiency, and the automation of boring work. But undesirable and ethically problematic consequences are possible too: biases and discrimination, breaches of privacy and security, and societal distortions such as unemployment, economic exploitation and weakened democratic processes. There is even a prospect, ultimately, of super-intelligent machines replacing humans. The key question, then, is: how can we benefit from AI while addressing its ethical problems This book presents an innovative answer to the question by presenting a different perspective on AI and its ethical consequences. Instead of looking at individual AI techniques, applications or ethical issues, we can understand AI as a system of ecosystems, consisting of numerous interdependent technologies, applications and stakeholders. Developing this idea, the book explores how AI ecosystems can be shaped to foster human flourishing. Drawing on rich empirical insights and detailed conceptual analysis, it suggests practical measures to ensure that AI is used to make the world a better place. 136 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book introduces key topics on Geometric Invariant Theory, a technique to obtaining quotients in algebraic geometry with a good set of properties, through various examples. It starts from the classical Hilbert classification of binary forms, advancing to the construction of the moduli space of semistable holomorphic vector bundles, and to Hitchin's theory on Higgs bundles. The relationship between the notion of stability between algebraic, differential and symplectic geometry settings is also covered.Unstable objects in moduli problems -- a result of the construction of moduli spaces -- get specific attention in this work. The notion of the Harder-Narasimhan filtration as a tool to handle them, and its relationship with GIT quotients, provide instigating new calculations in several problems. Applications include a survey of research results on correspondences between Harder-Narasimhan filtrations with the GIT picture and stratifications of the moduli space of Higgs bundles.Graduate students and researchers who want to approach Geometric Invariant Theory in moduli constructions can greatly benefit from this reading, whose key prerequisites are general courses on algebraic geometry and differential geometry. 144 pp. Englisch.

Buch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This open access book is a result of an extensive, ambitious and wide-ranging pan-European project focusing on the development of children and young people's cultural literacy and what it means to be European in the 21st century prioritising intercultural dialogue and mutual understanding. The Horizon 2020 funded, 3-year DIalogue and Argumentation for cultural Literacy Learning (DIALLS) project included ten partners from countries in and around Europe with the aim to centralise co-constructive dialogue as a main cultural literacy value and to promote tolerance, empathy and inclusion. This is achieved through teaching children in schools from a young age to engage together in discussions where they may have differing viewpoints or perspectives, to enable a growing awareness of their own cultural identities, and those of others. Central to the project is children's engagement with wordless picture books and films, which are used as stimuli for discussions around core cultural themes such as social responsibility, living together and sustainable development. In order to enable intercultural dialogue in action, the project developed an online platform as a tool for engagement across classes, and which this book elaborates on.The book explores themes underpinning this unique interdisciplinary project, drawing together scholars from cultural studies, civics education and linguistics, psychologists, socio-cultural literacy researchers, teacher educators and digital learning experts. Each chapter of the book explores a theme that is common to the project, and celebrates its interdisciplinarity by exploring these themes through different lenses. 180 pp. Englisch.

Buch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Relationship management (RM) is an essential part of business, but its success as a business model can be hard to measure, with some firms embracing a model that is truly relationship-orientated, while others claim to be relationship-orientated but in fact prefer transactional short-term gain.This open access book aims to develop a mid-range theory of relationship management, examining truly relationship-orientated firms to discover not only what qualities these firms have that make them successful at the RM model, but also what benefits this model has for the firm. It addresses questions like how RM-mature companies achieve and sustain competitive advantage, and what determines the scale and scope of these firms, illustrating with case studies.This book will be of interest to scholars studying leadership and strategy, especially those interested in relationship management, business ethics and corporate social responsibility. It will also be of interest to professionals looking to develop their understanding of relationship management. 304 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Singlet Oxygen, the lowest electronically excited state of molecular oxygen, is highly reactive and involved in many chemical and biological processes. It is one major mediator during photosensitization, which has been used by mankind since ancient times, even though the mechanisms behind it were understood only about half a century ago. The combination of high reactivity and very long natural lifetime allows for direct optical detection of singlet oxygen and its interactions using its characteristic phosphorescence at around 1270 nm. Since this emission is very weak, optical detection was technically very challenging for a long time. Therefore, even today, most laboratories only exploit the high reactivity to observe the interaction with sensor molecules, rather than singlet oxygen emission itself. However, in recent years highly sensitive optical detection was developed, the authors being major contributors. This book is dedicated to the detection of singlet oxygen, discussing possibilities, pitfalls and limits of the various methods with a special focus on time-resolved phosphorescence and the kinetics of singlet oxygen generation and decay including involved and related processes, discussing investigated systems with various complexity from solutions over in vitro to in vivo. The long-standing paradigm that singlet oxygen phosphorescence is a benchmark for detection systems rather than an option for process observation is still ubiquitous and this book hopes to contribute in overcoming this still prevailing bias. 92 pp. Englisch.

Buch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -In this engaging, insightful, and inspiring narrative, Hermann Simon, the world-renowned management thinker, consultant, pricing expert, entrepreneur, and leading authority on the 'hidden champions' business model, highlights the influences on his remarkable journey from humble origins on a German farm to advising and sharing the stage with global leaders in industry, academia, and politics.Born in 1947 in the rural Eifel region of Western Germany, Simon's coming of age parallels that of a country struggling to come to terms with the legacy of World War II and reinvent itself as a new world power. His colorful anecdotes of a youth spent in an agricultural community that in many ways operated as it had since the Middle Ages, reflect the establishment of core values, such as trust, focus, quality, and commitment that served as an anchor against the accelerating pace of technological, economic, political, social, and cultural change in the subsequent decades. Simon takes readers on a journey through time and space, as his-and our-world transformed from isolated to connected, local to global, revealing lessons learned from the extraordinary people (from Peter Drucker to Henry Kissinger) and places he has encountered along the way, through a career that has evolved from research and education to management consulting to leadership and strategy development on a broad scale. His particular interest in the Mittelstand, or 'hidden champions,' the small and medium-sized companies that exemplify the German business philosophy and served as the engine of its economic revival, becomes a powerful metaphor of his own experiences in blazing new trails while staying true to one's roots.For anyone familiar with Simon's work and contributions, Many Worlds, One Life reveals unique insights into the man himself and the origins of his ideas on successful leadership and business strategy. But more generally, readers in any field or discipline will recognize how their own stories reflect their ties to the past, their accomplishments in an increasingly complex environment, and, ultimately, their roads to the stars. 320 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book is clearly structured into easy ascending steps. It starts with basic principles of physiology and then goes on to discuss topics such as hypoxia, the A-a gradient, respiratory failure, types of respiratory acidoses and their compensation. Concise and easy to follow chapters examine complex disorders of metabolic acidosis and alkalosis with examples and case reports to stimulate thoughts of the readers. Pearls of clinical wisdom are spread throughout each chapter of the book. Arterial Blood Gas Interpretation in Clinical Practice is intended for all trainees and clinicians in emergency medicine, acute medicine, intensivism, respiratory medicine, nephrology, cardiology, anaesthesia, paediatrics, internal medicine, general medicine and endocrinology. It is particularly useful to medical students and nurses working in the specialties above. Physiologists and physiotherapists working in ventilator support, will also be highly benefitted with this title. 140 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book is a practical, up-to-date guide to the treatment of patients with brain and spinal tumors. Leading experts in the field explain treatment techniques in detail, highlighting key considerations in the use of external beam radiation therapy, intensity-modulated radiation therapy, particle therapy, radiosurgery, and stereotactic body radiation therapy. Specific recommendations are described for different tumor types, and helpful information provided on other important issues, such as the interaction of radiotherapy and systemic therapy and the avoidance of treatment complications. With the development of modern technology, highly conformal radiotherapy techniques have become more complicated, yet also more widely employed. This book will equip readers with the knowledge required to set up practices to deliver quality brain and spinal radiation therapy appropriate to each patient. It will be of benefit to radiation oncologists, clinical oncologists, medical physicists, medical dosimetrists, radiation therapists, and senior nurses as well as medical oncologists and surgical oncologists with an interest in radiotherapy. 228 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This open access book shows the breadth and various facets of e-Science, while also illustrating their shared core. Changes in scientific work are driven by the shift to grid-based worlds, the use of information and communication systems, and the existential infrastructure, which includes global collaboration. In this context, the book addresses emerging issues such as open access, collaboration and virtual communities and highlights the diverse range of developments associated with e-Science. As such, it will be of interest to researchers and scholars in the fields of information technology and knowledge management. 200 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This open access book presents the scientific views of some fifty experts on how they believe the COVID-19 pandemic is currently affecting society, and how it will continue to do so in the years to come. Using the concept of a 'common' (in the sense of common values, common places, common goods, and common sense), they elaborate on the transition from an Old Common to a New Common. In carefully crafted chapters, the authors address expected shifts in major fields like health, education, finance, business, work, and citizenship, applying concepts from law, psychology, economics, sociology, religious studies, and computer science to do so. Many of the authors anticipate an acceleration of the digital transformation in the forthcoming years, but at the same time, they argue that a successful shift to a new common can only be achieved by re-evaluating life on our planet, strengthening resilience at an individual level, and assuming more responsibility at a societal level. 248 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This open access book constitutes the thoroughly refereed post-conference proceedings of the 6th International Workshop on Graph Structures for Knowledge Representation and Reasoning, GKR 2020, held virtually in September 2020, associated with ECAI 2020, the 24th European Conference on Artificial Intelligence.The 7 revised full papers presented together with 2 invited contributions were reviewed and selected from 9 submissions. The contributions address various issues for knowledge representation and reasoning and the common graph-theoretic background, which allows to bridge the gap between the different communities. 164 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This open access two-volume set constitutes the proceedings of the 27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2021, which was held during March 27 - April 1, 2021, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021. The conference was planned to take place in Luxembourg and changed to an online format due to the COVID-19 pandemic. The total of 41 full papers presented in the proceedings was carefully reviewed and selected from 141 submissions. The volume also contains 7 tool papers; 6 Tool Demo papers, 9 SV-Comp Competition Papers.The papers are organized in topical sections as follows:Part I: Game Theory; SMT Verification; Probabilities; Timed Systems; Neural Networks; Analysis of Network Communication.Part II: Verification Techniques (not SMT); Case Studies; Proof Generation/Validation; Tool Papers; Tool Demo Papers; SV-Comp Tool Competition Papers. 488 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This open access book constitutes the proceedings of the 24thInternational Conference on Foundations of Software Science and Computational Structures, FOSSACS 2021, which was held during March 27 until April 1, 2021, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021. The conference was planned to take place in Luxembourg and changed to an online format due to the COVID-19 pandemic.The 28 regular papers presented in this volume were carefully reviewed and selected from 88 submissions. They deal with research on theories and methods to support the analysis, integration, synthesis, transformation, and verification of programs and software systems. 592 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This open access book constitutes the proceedings of the 30th European Symposium on Programming, ESOP 2021, which was held during March 27 until April 1, 2021, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021. The conference was planned to take place in Luxembourg and changed to an online format due to the COVID-19 pandemic.The 24 papers included in this volume were carefully reviewed and selected from 79 submissions. They deal with fundamental issues in the specification, design, analysis, and implementation of programming languages and systems. 708 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This open access book constitutes the proceedings of the 24th International Conference onFundamental Approaches to Software Engineering, FASE 2021, which took place during March 27-April 1, 2021, and was held as part of the Joint Conferences on Theory and Practice of Software, ETAPS 2021. The conference was planned to take place in Luxembourg but changed to an online format due to the COVID-19 pandemic.The 16 full papers presented in this volume were carefully reviewed and selected from 52 submissions. The book also contains 4 Test-Comp contributions. 388 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This open access two-volume set constitutes the proceedings of the 27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2021, which was held during March 27 - April 1, 2021, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021. The conference was planned to take place in Luxembourg and changed to an online format due to the COVID-19 pandemic.The total of 41 full papers presented in the proceedings was carefully reviewed and selected from 141 submissions. The volume also contains 7 tool papers; 6 Tool Demo papers, 9 SV-Comp Competition Papers.The papers are organized in topical sections as follows:Part I: Game Theory; SMT Verification; Probabilities; Timed Systems; Neural Networks; Analysis of Network Communication.Part II: Verification Techniques (not SMT); Case Studies; Proof Generation/Validation; Tool Papers; Tool Demo Papers; SV-Comp Tool Competition Papers. 496 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book illuminates what engineering is and how it relates to other disciplines such as art, architecture, law, economics, science, technology, and even religion. The author explains, from an intrinsic as well as descriptive perspective, why engineering is essential for our collective well-being, and how, like medicine, it is undertaken by people, and for people, to improve the human condition. He brings out the 'magic' of engineering practice as well as addressing the darker aspects such as warfare and the misuse of the internet. A too commonly held view assumes that the practice of engineers is a cold, purely quantitative and wholly technical enterprise of applying know science, and devoid of creativity or aestheticism. In 2013 the United States National Academy of Engineering launched a campaign called 'Changing the Conversation, Messages for Improving Public Understanding of Engineering' with four messages to impart about engineers: that they make a world of difference; are creative problem solvers; that they help shape the future, and are essential to health, happiness, and safety. In this volume, Professor Blockley incorporate these messages into an engaging exposition of engineering accomplishment in all of its evolving diversity, from the technician to the academic research engineer, illustrating the continuum of thinking and purpose from the fixer of the gas boiler to the designers of the A380 and the iPhone. 244 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This open access book provides a broad range of insights on market engineering and information management. It covers topics like auctions, stock markets, electricity markets, the sharing economy, information and emotions in markets, smart decision-making in cities and other systems, and methodological approaches to conceptual modeling and taxonomy development. Overall, this book is a source of inspiration for everybody working on the vision of advancing the science of engineering markets and managing information for contributing to a bright, sustainable, digital world.Markets are powerful and extremely efficient mechanisms for coordinating individuals' and organizations' behavior in a complex, networked economy. Thus, designing, monitoring, and regulating markets is an essential task of today's society. This task does not only derive from a purely economic point of view. Leveraging market forces can also help to tackle pressing social and environmental challenges. Moreover, markets process, generate, and reveal information. This information is a production factor and a valuable economic asset. In an increasingly digital world, it is more essential than ever to understand the life cycle of information from its creation and distribution to its use. Both markets and the flow of information should not arbitrarily emerge and develop based on individual, profit-driven actors. Instead, they should be engineered to serve best the whole society's goals. This motivation drives the research fields of market engineering and information management.With this book, the editors and authors honor Professor Dr. Christof Weinhardt for his enormous and ongoing contribution to market engineering and information management research and practice. It was presented to him on the occasion of his sixtieth birthday in April 2021. Thank you very much, Christof, for so many years of cooperation, support, inspiration, and friendship. 256 pp. Englisch.