Tools and Algorithms for the Construction and Analysis of Systems
This book constitutes the refereed proceedings of the 7th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2001. The 36 revised full papers presented together with an invited contribution were carefully reviewed and selected from a total of 125 submissions. The papers are organized in sections on ...
YOUMARES 8 – Oceans Across Boundaries: Learning from each other
This book presents the proceedings volume of the YOUMARES 8 conference, which took place in Kiel, Germany, in September 2017, supported by the German Association for Marine Sciences (DGM). The YOUMARES conference series is entirely bottom-up organized by and for YOUng MARine RESearchers. Qualified early career scientists moderated the scientific se...
Fundamental Approaches to Software Engineering
This book constitutes the proceedings of the 21st International Conference on Fundamental Approaches to Software Engineering, FASE 2018, which took place in Thessaloniki, Greece in April 2018, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018.The 19 papers presented in this volume were carefully reviewed ...
Tools and Algorithms for the Construction and Analysis of Systems
The LNCS 11427 and 11428 proceedings set constitutes the proceedings of the 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2019, which took place in Prague, Czech Republic, in April 2019, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019. The tot...
Computer Aided Verification
The book set LNCS 11561 and 11562 constitutes the refereed proceedings of the 31st International Conference on Computer Aided Verification, CAV 2019, held in New York City, USA, in July 2019. The 52 full papers presented together with 13 tool papers and 2 case studies, were carefully reviewed and selected from 258 submissions. The papers were organ...
Foundations of Software Science and Computation Structures
This book constitutes the proceedings of the 21st International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2018, which took place in Thessaloniki, Greece, in April 2018, held as part of the European Joint Conference on Theory and Practice of Software, ETAPS 2018.The 31 papers presented in this volume were ca...
Physical (A)Causality
This book addresses the physical phenomenon of events that seem to occur spontaneously and without any known cause. These are to be contrasted with events that happen in a (pre-)determined, predictable, lawful, and causal way. All our knowledge is based on self-reflexive theorizing, as well as on operational means of empirical perception. Some of ...
The Beauty of Geology
This book contains a collection of rare geologic maps and figures made by Chinese geologists in the last century. Preserved in National Geological Archives of China, these artworks demonstrate the development and innovation of geological mapping technology in China in the past 100 years. The collections are highly scientific and artistic, with most...
Advancing Human Assessment
​This book describes the extensive contributions made toward the advancement of human assessment by scientists from one of the world's leading research institutions, Educational Testing Service. The book's four major sections detail research and development in measurement and statistics, education policy analysis and evaluation, scientific psycho...
Digital Technology and the Practices of Humanities Research
How does technology impact research practices in the humanities? How does digitisation shape scholarly identity? How do we negotiate trust in the digital realm? What is scholarship, what forms can it take, and how does it acquire authority? This diverse set of essays demonstrate the importance of asking such questions, bringing together establis...
Wellbeing, Freedom and Social Justice
How do we evaluate ambiguous concepts such as wellbeing, freedom, and social justice? How do we develop policies that offer everyone the best chance to achieve what they want from life? The capability approach, a theoretical framework pioneered by the philosopher and economist Amartya Sen in the 1980s, has become an increasingly influential way to ...
YOUMARES 9 - The Oceans: Our Research, Our Future
This book summarizes peer-reviewed articles and the abstracts of oral and poster presentations given during the YOUMARES 9 conference which took place in Oldenburg, Germany, in September 2018. The aims of this book are to summarize state-of-the-art knowledge in marine sciences and to inspire scientists of all career stages in the development of fur...
Open Source Systems
This book constitutes the refereed proceedings of the 16th IFIP WG 2.13 International Conference on Open Source Systems, OSS 2020, held in Innopolis, Russia, in May 2020.* The 12 revised full papers and 8 short papers presented were carefully reviewed and selected from 42 submissions. The papers cover a wide range of topics in the field of free/l...
Social Psychology in Action
This timely and applied textbook brings together leading scientists to illustrate how key theories and concepts in social psychology help to predict and explain behavior, and can be successfully applied to benefit social and practical problems. It focuses on robust theories and models known for their successful applications and covers a diverse ran...
The Public Domain Song Anthology
The Public Domain Song Anthology by David Berger and Chuck Israels is a collection of 348 popular songs with modern and traditional harmonization for both study and performance. This open educational resource was curated by two leading jazz repertory experts and consists of songs in the US public domain. This anthology is the first of its kind and ...
The Law Is (Not) for Kids
In this practical guide to the law for young people of Canada, Ned Lecic and Marvin Zuker provide an all-encompassing manual meant to empower and educate children and youth and those that serve them. The authors address questions about how rights and laws affect the lives of young people at home, at school, at work, and in their relationships as th...
Acoustemologies in Contact
In this fascinating collection of essays, an international group of scholars explores the sonic consequences of transcultural contact in the early modern period. They examine how cultural configurations of sound impacted communication, comprehension, and the categorisation of people. Addressing questions of identity, difference, sound, and subjecti...
New Living Cases on Corporate Governance
This unique open book features a selection of Living Cases on Corporate Governance, which were developed and compiled by chairpersons, members of the board of directors, and CEOs in various countries, working in close collaboration with prominent researchers. Each Living Case addresses a current issue that a given company or institution needs to re...
Knowledge for Governance
This open book focuses on theoretical and empirical intersections between governance, knowledge and space from an interdisciplinary perspective. The contributions elucidate how knowledge is a prerequisite as well as a driver of governance efficacy, and conversely, how governance affects the creation and use of knowledge and innovation in geographic...
Parental Life Courses after Separation and Divorce in Europe
This open 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 Europ...
Simplified Signs, Volume 1
Simplified Signs presents a system of manual sign communication intended for special populations who have had limited success mastering spoken or full sign languages. It is the culmination of over twenty years of research and development by the authors. The Simplified Sign System has been developed and tested for ease of sign comprehension, memoriz...