springer international publishing springer international publishing jun 2020 (Over 1,000 results)

Buch. Condition: Neu. Neuware -This open access book examines the multiple intersections between national and international courts in the field of investment protection, and suggests possible modes for regulating future jurisdictional interactions between domestic courts and international tribunals.The current system of foreign investment protection consists of more than 3,000 international investment agreements (IIAs), most of which provide for investment arbitration as the forum for the resolution of disputes between foreign investors and host States. However, national courts also have jurisdiction over certain matters involving cross-border investments. International investment tribunals and national courts thus interact in a number of ways, which range from harmonious co-existence to reinforcing complementation, reciprocal supervision and, occasionally, competition and discord. The book maps this complex relationship between dispute settlement bodies in the current investment treaty context and assesses the potential role of domestic courts in future treaty frameworks that could emerge from the States' current efforts to reform the system.The book concludes that, in certain areas of interaction between domestic courts and international investment tribunals, the 'division of labor' between the two bodies is not always optimal, producing inefficiencies that burden the system as a whole. In these areas, there is a need for improvement by introducing a more fruitful allocation of tasks between domestic and international courts and tribunals - whatever form(s) the international mechanism for the settlement of investment disputes may take.Given its scope, the book contributes not only to legal analysis, but also to the policy reflections that are needed for ongoing efforts to reform investor-State dispute settlement. 128 pp. Englisch.

Buch. Condition: Neu. Neuware -This Open Access volume aims to methodologically improve our understanding of biodiversity by linking disciplines that incorporate remote sensing, and uniting data and perspectives in the fields of biology, landscape ecology, and geography. The book provides a framework for how biodiversity can be detected and evaluated-focusing particularly on plants-using proximal and remotely sensed hyperspectral data and other tools such as LiDAR. The volume, whose chapters bring together a large cross-section of the biodiversity community engaged in these methods, attempts to establish a common language across disciplines for understanding and implementing remote sensing of biodiversity across scales.The first part of the book offers a potential basis for remote detection of biodiversity. An overview of the nature of biodiversity is described, along with ways for determining traits of plant biodiversity through spectral analyses across spatial scales and linking spectral data to the tree of life. The second part details what can be detected spectrally and remotely. Specific instrumentation and technologies are described, as well as the technical challenges of detection and data synthesis, collection and processing. The third part discusses spatial resolution and integration across scales and ends with a vision for developing a global biodiversity monitoring system. Topics include spectral and functional variation across habitats and biomes, biodiversity variables for global scale assessment, and the prospects and pitfalls in remote sensing of biodiversity at the global scale. 608 pp. Englisch.

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book is an open access book.This book provides an overview of the ERIGrid validation methodology for validating CPES, a holistic power system testing method. It introduces readers to corresponding simulation and laboratory-based tools, including co-simulation, real-time simulation, and hardware-in-the-loop. Selected test cases and validation examples are provided, in order to support the theory discussed.The book begins with an introduction to current power system testing methods and an overview of the ERIGrid system-level validation approach. It then moves on to discuss various validation methods, concepts and tools, including simulation and laboratory-based assessment methods. The book presents test cases and validation examples of the proposed methodologies and summarises the lessons learned from the holistic validation approach. In the final section of the book, the educational aspects of these methods, the outlook for the future, and overall conclusions are discussed. Given its scope, the book will be of interest to researchers, engineers, and laboratory personnel in the fields of power systems and smart grids, as well as undergraduate and graduate students studying related engineering topics. 144 pp. Englisch.

Buch. Condition: Neu. Neuware -This book provides a vivid account of the early history of molecular simulation, a new frontier for our understanding of matter that was opened when the demands of theoretical physicists were met by the availability of the modern computers.Since their inception, electronic computers have enormously increased their performance, thus making possible the unprecedented technological revolution that characterizes our present times. This obvious technological advancement has brought with it a silent scientific revolution in the practice of theoretical physics. In particular, in the physics of matter it has opened up a direct route from the microscopic physical laws to observable phenomena. One can now study the time evolution of systems composed of millions of molecules, and simulate the behaviour of macroscopic materials and actually predict their properties. Molecular simulation has provided a new theoretical and conceptual tool that physicists could only dream of whenthe foundations of statistical mechanics were laid. Molecular simulation has undergone impressive development, both in the size of the scientific community involved and in the range and scope of its applications. It has become the ubiquitous workhorse for investigating the nature of complex condensed matter systems in physics, chemistry, materials and the life sciences. Yet these developments remain largely unknown outside the inner circles of practitioners, and they have so far never been described for a wider public. The main objective of this book is therefore to offer a reasonably comprehensive reconstruction of the early history of molecular simulation addressed to an audience of both scientists and interested non-scientists, describing the scientific and personal trajectories of the main protagonists and discussing the deep conceptual innovations that their work produced. 216 pp. Englisch.

Taschenbuch. Condition: Neu. Neuware -Undergraduate and first-year graduate students engaging in engineering research need more than technical skills and tools to be successful. From finding a research position and funding, to getting the mentoring needed to be successful while conducting research responsibly, to learning how to do the other aspects of research associated with project management and communication, this book provides novice researchers with the guidance they need to begin developing mastery. Awareness and deeper understanding of the broader context of research reduces barriers to success, increases capacity to contribute to a research team, and enhances ability to work both independently and collaboratively. Being prepared for what's to come and knowing the questions to ask along the way allows those entering researcher to become more comfortable engaging with not only the research itself but also their colleagues and mentors.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 236 pp. Englisch.

Taschenbuch. Condition: Neu. Neuware -This book is written for general readers with an interest in science, and offers the tools and ideas for understanding how climate change will affect mountains of the American West. A major goal of the book is to provide material that will not become quickly outdated, and it does so by conveying its topics through constants in ecological science that will remain unchanged and scientifically sound. The book is timely in its potential to be a long-term contribution, and is designed to inform the public about climate change in mountains accessibly and intelligibly.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 252 pp. Englisch.

Buch. Condition: Neu. Neuware -This open access book, edited and authored by a team of world-leading researchers, provides a broad overview of advanced photonic methods for nanoscale visualization, as well as describing a range of fascinating in-depth studies. Introductory chapters cover the most relevant physics and basic methods that young researchers need to master in order to work effectively in the field of nanoscale photonic imaging, from physical first principles, to instrumentation, to mathematical foundations of imaging and data analysis. Subsequent chapters demonstrate how these cutting edge methods are applied to a variety of systems, including complex fluids and biomolecular systems, for visualizing their structure and dynamics, in space and on timescales extending over many orders of magnitude down to the femtosecond range.Progress in nanoscale photonic imaging in Göttingen has been the sum total of more than a decade of work by a wide range of scientists and mathematicians across disciplines, working together in a vibrant collaboration of a kind rarely matched. This volume presents the highlights of their research achievements and serves as a record of the unique and remarkable constellation of contributors, as well as looking ahead at the future prospects in this field. It will serve not only as a useful reference for experienced researchers but also as a valuable point of entry for newcomers.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 660 pp. Englisch.

Taschenbuch. Condition: Neu. Neuware -Nanoscience and nanotechnology, the application of the research-based nanoscale science, have changed significantly over the last three and a half decades. The ¿bucky¿ ball, 60 carbon atoms arranged like a soccer ball, and an often-used symbol of nanotechnology, was discovered in 1985 and 4 years later scientists at IBM were able to manipulate xenon atoms on a surface. In the intervening years, nanotechnology has evolved from a singly focused research topic to an understanding that infiltrates every aspect of science and engineering disciplines. In addition, nanotechnology, and both naturally occurring and engineered nanomaterials, have become the focus of legal, environmental, and application and regulation disciplines. The first portion of this text serves as an introduction to nanotechnology: the history, mathematical concepts, and instruments required to study and manipulate the world at the atomic scale. The later portion of the text discusses the connectivity of nanotechnologyto the more traditional scientific disciplines as well as emerging technologies.This text can serve as an introduction to the nanoscale for science, computer science, and engineering disciplines. It can also provide a valuable foundation for disciplines such as industrial hygiene, architecture, sociology, ethics, and the humanities. There does not exist an educational discipline, market segment, or career avenue which will not be impacted by nanotechnology.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 100 pp. Englisch.

Taschenbuch. Condition: Neu. Neuware -This book collects the notes of the lectures given at the Advanced Course on Crossed Products, Groupoids, and Rokhlin dimension, that took place at the Centre de Recerca Matemàtica (CRM) from March 13 to March 17, 2017. The notes consist of three series of lectures. The first one was given by Dana Williams (Dartmouth College), and served as an introduction to crossed products of C\*-algebras and the study of their structure. The second series of lectures was delivered by Aidan Sims (Wollongong), who gave an overview of the theory of topological groupoids (as a model for groups and group actions) and groupoid C\*-algebras, with particular emphasis on the case of étale groupoids. Finally, the last series was delivered by Gábor Szabó (Copenhagen), and consisted of an introduction to Rokhlin type properties (mostly centered around the work of Hirshberg, Winter and Zacharias) with hints to the more advanced theory related to groupoids.Springer Basel AG in Springer Science + Business Media, Heidelberger Platz 3, 14197 Berlin 176 pp. Englisch.

Taschenbuch. Condition: Neu. Neuware -What skills do journalists exhibit in sensationalising, exaggerating and otherwise ¿tabloiding¿ the truth, while usually stopping short of stating unambiguous falsehoods Why has the tabloid news not collapsed as predicted, but thrived as a medium in an age of interaction and online commentary This book is a comprehensive and accessible exploration of the British tabloid newspapers from the 1960s to the present day. Examining topics such as sex and the representation of women, national stereotypes and Britain¿s relationship with Europe, war coverage, celebrities, investigative journalism and instances where the tabloids have misread the public mood, the author draws on Critical Discourse Analysis and Stylistics to take a language-led approach to the UK tabloids. With its interdisciplinary approach and readable prose style, this book will be of interest to a wide range of readers across language and linguistics, media and communication, journalism, political science and British cultural studies.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 204 pp. Englisch.

Buch. Condition: Neu. Neuware -This open access volume addresses the role of external actors in social protection in the Global South, from the Second World War until today, analysing the influence of colonial powers, superpowers during the Cold War and contemporary donor agencies.Following an introduction to the analysis of external actors in social policy making in the Global South, the contributions explore which external actors were dominant in the decades after World War II, and how they shaped early and contemporary social protection making in developing countries. The latter half of the collection elucidates important players in the contemporary transnational social policy arena, such as donor organizations and international organizations, and critically evaluates the potential for and limits of the explanatory power of external actors in social protection making in the Global South, considering the relative contribution of external and domestic influences.By examininghow transnational relationships and external actors have influenced the formation, development and transformation of social policies in the developing world, this collection will be an invaluable resource for scholars interested in social protection in the Global South from a range of disciplines. These include political science, social policy, and sociology, as well as historians of the welfare state, international relations scholars and scholars working on global and transnational social policy and development policy.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 412 pp. Englisch.

Buch. Condition: Neu. Neuware -This book introduces a fresh perspective on the conditions for the genesis of the first cell. An important possible environment of the prehistoric Earth has long been overlooked as a host to the perfect biochemical conditions for this process. The first complexes of continental crust on the early Earth must have already contained systems of interconnected cracks and cavities, which were filled with volatiles like water, carbon dioxide and nitrogen. This book offers insights into how these conditions may have provided the ideal physical and chemical setting for the formation of protocells and early stages of life.The authors support their hypothesis with a number of astonishing findings from laboratory experiments focusing on a variety of organic compounds, and on the formation of key cellular ingredients and of primitive cell-like structures. Moreover, they discuss the principles of prebiotic evolution regarding the aspects of order and complexity. Guiding readersthrough various stages of hypotheses and re-created evolutionary processes, the book is enriched with personal remarks and experiences throughout, reflecting the authors' personal quest to solve the mystery surrounding the first cell.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 196 pp. Englisch.

Taschenbuch. Condition: Neu. Neuware -This book assesses the consequences of Brexit for the control of illicit trade in tobacco products in the UK and EU. Based on the currently applicable legal framework, it examines the significance of a possible non-application of the acquis communautaire in the UK in matters relating to anti-illicit trade in tobacco legislation. It also analyses the modes of future cooperation between the UK and the EU in this area, as well as possible regulatory scenarios and their consequences.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 96 pp. Englisch.

Buch. Condition: Neu. Neuware -Social media is at the core of digital transformations in organizations. Facebook, Twitter, LinkedIn, and other social media platforms widen the scope for rapid and effective communication with stakeholders. They also create a range of new and challenging ethical dilemmas.This open access book categorizes the dilemmas organizations across a range of industries can face when they implement social media to communicate with stakeholders. This book provides a systematic framework for analyzing these ethical dilemmas in social media using the Navigation Wheel. This tool leads the decision-maker through a series of considerations such as legal questions, corporate identity, morality, reputation, and ethics. Finally, the author considers implications for leaders and presents potential solutions to these dilemmas.Based on five years of original research with 250 executive students at a European business school, all of whom work with social media communications in their organizations, this book is the first major study to explore the ethical use of social media across industries and is a valuable resource for researchers and practitioners alike.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 100 pp. Englisch.

Taschenbuch. Condition: Neu. Neuware -This open access book constitutes the refereed proceedings of the 18th International Conference on String Processing and Information Retrieval, ICOST 2020, held in Hammamet, Tunisia, in June 2020.\*The 17 full papers and 23 short papers presented in this volume were carefully reviewed and selected from 49 submissions. They cover topics such as: IoT and AI solutions for e-health; biomedical and health informatics; behavior and activity monitoring; behavior and activity monitoring; and wellbeing technology.\*This conference was held virtually due to the COVID-19 pandemic.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 460 pp. Englisch.

Buch. Condition: Neu. Neuware -Though thousands of articles and books have been published on various aspects of the Manhattan Project, this book is the first comprehensive single-volume history prepared by a specialist for curious readers without a scientific background.This project, the United States Army¿s program to develop and deploy atomic weapons in World War II, was a pivotal event in human history. The author presents a wide-ranging survey that not only tells the story of how the project was organized and carried out, but also introduces the leading personalities involved and features simplified but accurate descriptions of the underlying science and the engineering challenges. The technical points are illustrated by reader-friendly graphics. .Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 568 pp. Englisch.

Taschenbuch. Condition: Neu. Neuware -Systemic psychotherapy has long been conceptualised and practiced as brief psychotherapy, in both the public sector and in independent practice, but it is now increasingly becoming a longer term practice.This ground-breaking book examines the ways in which systemic theory can accommodate and formulate long term practice, and locates the boundaries of the systemic theories that both help to explain and give direction to such work. In doing so, it asks important questions such as: at what point might a practitioner need to incorporate and integrate other explanatory models into their systemic thinking What does this mean for systemic practice How does the relative longevity of the work impact the way practitioners build and maintain therapeutic relationships with the relational systems they assist And what implications does such longevity have on, and for, the supervisory needs of systemic psychotherapists at the heart of the work Given the absence of a rigorous evidence base for long term systemic therapy and practice, this book explores how practitioners can hold themselves ethically accountable for what they do and think.Written by some of the leading names in systemic thinking, this book provides an important new resource for both students and experienced professionals in family therapy seeking to enhance their practice and research.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 232 pp. Englisch.

Buch. Condition: Neu. Neuware -This book highlights lateral management as the answer to the strategic opportunities and challenges posed by digital transformation. Digitalization is now changing the economy and society as dramatically as the dawn of electrification a century ago. Production methods, products, sales structures, marketing, and even markets themselves are set to change in the digital era.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 216 pp. Englisch.

Buch. Condition: Neu. Neuware -This open access book assembles landmark studies on divorce and separation in European countries, and how this affects the life of parents and children. It focuses on four major areas of post-separation lives, namely (1) economic conditions, (2) parent-child relationships, (3) parent and child well-being, and (4) health. Through studies from several European countries, the book showcases how legal regulations and social policies influence parental and child well-being after divorce and separation. It also illustrates how social policies are interwoven with the normative fabric of a country. For example, it is shown that father-child contact after separation is more intense in those countries which have adopted policies that encourage shared parenting. Correspondingly, countries that have adopted these regulations are at the forefront of more egalitarian gender role attitudes. Apart from a strong emphasis on the legal and social policy context, the studies in this volume adopt a longitudinal perspective and situate post-separation behaviour and well-being in the life course. The longitudinal perspective opens up new avenues for research to understand how behaviour and conditions prior or at divorce and separation affect later behaviour and well-being. As such this book is of special appeal to scholars of family research as well as to anyone interested in the role of divorce and separation in Europe in the 21st century.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 320 pp. Englisch.

Buch. Condition: Neu. Neuware -This open access book shows how the politics of migration affect community building in the 21st century, drawing on both retrogressive and progressive forms of mobilization. It elaborates theoretically and shows empirically how the two master frames of nostalgia and hope are used in local, national and transnational settings, in and outside conventional forms of doing politics. It expands on polarized societal processes and external events relevant for the transformation of European welfare systems and the reproduction of national identities today. It evidences the importance of gender in the narrative use of the master frames of nostalgia and hope, either as an ideological tool for right-wing populist and extreme right retrogressive mobilization or as an essential element of progressive intersectional politics of hope. It uses both comparative and single case studies to address different perspectives, and by means of various methodological approaches, the manner in which the master frames of nostalgia and hope are articulated in the politics of culture, welfare, and migration. The book is organized around three thematic sections whereby the first section deals with right-wing populist party politics across Europe, the second section deals with an articulation of politics beyond party politics by means of retrogressive mobilization, and the third and last section deals with emancipatory initiatives beyond party politics as well.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 252 pp. Englisch.

Buch. Condition: Neu. Neuware -This book addresses timely concerns of rising African nationalism and the 2nd decolonisation in Africa. The wholesale rejection of all things considered ¿Western¿ is seen to be a result of ¿integrationalism¿, defined as the specific kind of methodology by which EU foreign policy engagement may be interpreted. Using complexity theory and panarchy, a specific arrangement of interacting complex adaptive systems together with a ¿resilience assessment¿, the EU¿s foreign policy is shown to be undermining the aims of the premier African institution, the AU, created to provide unity and security on the continent: the EU pursues these objectives in its own image rather than honouring African values.This book raises awareness of these issues, as well as to widen the application of the theoretical framework in international relations and politics, which is becoming increasingly important in a complex world. The aim of this book is to show that the negative isolationism pursued in order to counteract western influence is not the answer and can be avoided through this awareness.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 356 pp. Englisch.

Buch. Condition: Neu. Neuware -The world is currently undergoing an historic energy transition, driven by increasingly stringent decarbonisation policies and rapid advances in low-carbon technologies. The large-scale shift to low-carbon energy is disrupting the global energy system, impacting whole economies, and changing the political dynamics within and between countries.This open access book, written by leading energy scholars, examines the economic and geopolitical implications of the global energy transition, from both regional and thematic perspectives. The first part of the book addresses the geopolitical implications in the world¿s main energy-producing and energy-consuming regions, while the second presents in-depth case studies on selected issues, ranging from the geopolitics of renewable energy, to the mineral foundations of the global energy transformation, to governance issues in connection with the changing global energy order. Given its scope, the book will appeal to researchers in energy, climate change and international relations, as well as to professionals working in the energy industry.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 408 pp. Englisch.

Taschenbuch. Condition: Neu. Neuware -This book provides a comprehensive treatment of the Poisson line Cox process (PLCP) and its applications to vehicular networks. The PLCP is constructed by placing points on each line of a Poisson line process (PLP) as per an independent Poisson point process (PPP). For vehicular applications, one can imagine the layout of the road network as a PLP and the vehicles on the roads as the points of the PLCP. First, a brief historical account of the evolution of the theory of PLP is provided to familiarize readers with the seminal contributions in this area. In order to provide a self-contained treatment of this topic, the construction and key fundamental properties of both PLP and PLCP are discussed in detail. The rest of the book is devoted to the applications of these models to a variety of wireless networks, including vehicular communication networks and localization networks. Specifically, modeling the locations of vehicular nodes and roadside units (RSUs) using PLCP, the signal-to-interference-plus-noise ratio (SINR)-based coverage analysis is presented for both ad hoc and cellular network models. For a similar setting, the load on the cellular macro base stations (MBSs) and RSUs in a vehicular network is also characterized analytically. For the localization networks, PLP is used to model blockages, which is shown to facilitate the characterization of asymptotic blind spot probability in a localization application. Finally, the path distance characteristics for a special case of PLCP are analyzed, which can be leveraged to answer critical questions in the areas of transportation networks and urban planning. The book is concluded with concrete suggestions on future directions of research.Based largely on the original research of the authors, this is the first book that specifically focuses on the self-contained mathematical treatment of the PLCP. The ideal audience of this book is graduate students as well as researchers in academia and industry whoare familiar with probability theory, have some exposure to point processes, and are interested in the field of stochastic geometry and vehicular networks. Given the diverse backgrounds of the potential readers, the focus has been on providing an accessible and pedagogical treatment of this topic by consciously avoiding the measure theoretic details without compromising mathematical rigor.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 152 pp. Englisch.

Taschenbuch. Condition: Neu. Neuware -The volume LNAI 12179 constitutes the proceedings of the International Joint Conference on Rough Sets, IJCRS 2020, which was due to be held in Havana, Cuba, in June 2020. The conference was held virtually due to the COVID-19 pandemic.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 536 pp. Englisch.

Taschenbuch. Condition: Neu. Neuware -This book constitutes the proceedings of the 41st International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS 2020, which was supposed to be held in Paris, France, in June 2020. The conference was held virtually due to the COVID-19 pandemic.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 452 pp. Englisch.

Taschenbuch. Condition: Neu. Neuware -This book constitutes the refereed proceedings of the 13th International Conference on Graph Transformation, ICGT 2020, in Bergen, Norway, in June 2020.\*The 16 research papers and 4 tool paper presented in this book were carefully reviewed and selected from 40 submissions. One invited paper is also included. The papers deal with the following topics: theoretical advances; application domains; and tool presentations.\*The conference was held virtually due to the COVID-19 pandemic.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 352 pp. Englisch.

Taschenbuch. Condition: Neu. Neuware -This book constitutes the refereed proceedings of the 25th International Conference on Applications of Natural Language to Information Systems, NLDB 2020, held in Saarbrücken, Germany, in June 2020.\*The 15 full papers and 10 short papers were carefully reviewed and selected from 68 submissions. The papers are organized in the following topical sections: semantic analysis; question answering and answer generation; classi¿cation; sentiment analysis; personality, affect and emotion; retrieval, conversational agents and multimodal analysis.\*The conference was held virtually due to the COVID-19 pandemic.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 300 pp. Englisch.

Taschenbuch. Condition: Neu. Neuware -This book constitutes the thoroughly refereed post-workshop proceedings of the 19th International Conference on Web Engineering, ICWE 2019, held in Daejeon, South Korea, in June 2019. The 11 revised full papers were selected from 25 submissions. The workshops complement the main conference and explore new trends on core topics of Web engineering and provide an open discussion space combining solid theory work with practical on-the-field experience. The workshop committee accepted three workshops for publication in this volume: 5th International Workshop on Knowledge Discovery on the Web (KDWEB 2019), Second International Workshop on Maturity of Web Engineering Practices (MATWEP 2019), International Workshop on Data Science and Knowledge Graph (DSKG 2019).Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 128 pp. Englisch.

Taschenbuch. Condition: Neu. Neuware -This book constitutes the proceedings of the 16th Conference on Computability in Europe, CiE 2020, which was planned to be held in Fisciano, Italy, during June 29 until July 3, 2020. The conference moved to a virtual format due to the coronavirus pandemic.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 420 pp. Englisch.

Taschenbuch. Condition: Neu. Neuware -This book constitutes the refereed proceedings of the 14th International Conference on Tests and Proofs, TAP 2020, held as part of the 4th World Congress on Formal Methods 2020, Bergen, Norway, in June 2020. The 7 regular papers, 1 short paper and 2 demonstration papers presented in this volume were carefully reviewed and selected from 209 submissions. The TAP conference promotes research in verification and formal methods that targets the interplay of proofs and testing: the advancement of techniques of each kind and their combination, with the ultimate goal of improving software and system dependability.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 196 pp. Englisch.