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...
Haskell Notes for Professionals
The Haskell Notes for Professionals book is compiled from Stack Overflow Documentation, the content is written by the beautiful people at Stack Overflow....
Foundations of Software Science and Computation Structures
This book constitutes the proceedings of the 15th International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2012, held as part of the joint European Conference on Theory and Practice of Software, ETAPS 2012, which took place in Tallinn, Estonia, in March/April 2012. The 29 papers presented in this book toget...
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 ...
Foundations of Quantum Theory
This book studies the foundations of quantum theory through its relationship to classical physics. This idea goes back to the Copenhagen Interpretation (in the original version due to Bohr and Heisenberg), which the author relates to the mathematical formalism of operator algebras originally created by von Neumann. The book therefore includes compr...
Social Statistics and Ethnic Diversity
This book examines the question of collecting and disseminating data on ethnicity and race in order to describe characteristics of ethnic and racial groups, identify factors of social and economic integration and implement policies to redress discrimination. It offers a global perspective on the issue by looking at race and ethnicity in a wide vari...
Cost and Revenue Overruns of the Olympic Games 2000–2018
In this book the cost and revenue overruns of Olympic Games from Sydney 2000 to PyeongChang 2018 from eight years before the Games to Games‐time are investigated to provide a base for future host cities. The authors evaluated the development of expenditure and revenues of the organizing committees to operate the event, and the investment of taxpa...
Mobilities of the Highly Skilled towards Switzerland
This book analyses the strategies of migration intermediaries from the public and private sectors in Switzerland to select, attract, and retain highly skilled migrants who represent value to them. It reveals how state and economic actors define "wanted immigrants" and provide them with privileged access to the Swiss territory and labour m...
Rethinking the Internet of Things
Rethinking the Internet of Things was a 2014 Jolt Award Finalist, the highest honor for a programming book. And the amazing part is that there is no code in the book. Over the next decade, most devices connected to the Internet will not be used by people in the familiar way that personal computers, tablets and smart phones are. Billions of inter...
Curriculum Reform in the European Schools
This book examines the modern role of the European School system within the European Union, at a time when the global economy demands a new vision for contemporary education. The European schools are currently in a state of crisis: their 60-year-old tradition of bilingual and multilingual education is being strained by rapid EU expansion and the re...
Compositionality and Concepts in Linguistics and Psychology
By highlighting relations between experimental and theoretical work, this volume explores new ways of addressing one of the central challenges in the study of language and cognition. The articles bring together work by leading scholars and younger researchers in psychology, linguistics and philosophy. An introductory chapter lays out the background...
Education for Children with Disabilities in Addis Ababa, Ethiopia
This book presents insights into the lived realities of children with disabilities in primary schools in Addis Ababa, Ethiopia. It examines specific cultural and societal characteristics of Ethiopia that influence the education of children with disabilities. The book presents findings drawn from interviews with, and participant observation of the s...
Ethnic Identity, Social Mobility and the Role of Soulmates
Based on a study among higher-educated adult children of lower-class Turkish and Moroccan immigrants in the Netherlands, this open access book explores processes of identification among social climbers with ethnic minority backgrounds. Using both survey data and open interviews with these 'minority climbers', the study details the contextual and te...
Interpretable Machine Learning
This book is about making machine learning models and their decisions interpretable. After exploring the concepts of interpretability, you will learn about simple, interpretable models such as decision trees, decision rules and linear regression. Later chapters focus on general model-agnostic methods for interpreting black box models like feature i...
Analyzing Qualitative Data with MAXQDA
This book presents strategies for analyzing qualitative and mixed methods data with MAXQDA software, and provides guidance on implementing a variety of research methods and approaches, e.g. grounded theory, discourse analysis and qualitative content analysis, using the software. In addition, it explains specific topics, such as transcription, build...
Life Cycle Assessment
This book is a uniquely pedagogical while still comprehensive state-of-the-art description of LCA-methodology and its broad range of applications. The five parts of the book conveniently provide: I) the history and context of Life Cycle Assessment (LCA) with its central role as quantitative and scientifically-based tool supporting society’s trans...
Introducing Microsoft Power BI
Introducing Microsoft Power BI enables you to evaluate when and how to use Power BI. Get inspired to improve business processes in your company by leveraging the available analytical and collaborative features of this environment. This book is targeted to a variety of readers. There are information workers and people who are totally new to the B...
Entity Framework Notes for Professionals
The Entity Framework Notes for Professionals book is compiled from Stack Overflow Documentation, the content is written by the beautiful people at Stack Overflow....
Visual Studio for Mac Succinctly
Visual Studio for Mac is an integrated development environment that can be used on macOS to build apps in C# and F# with a native user interface and tools tailored for macOS and for cross-platform development. Alessandro Del Sole provides a guide to this latest VS product, paying particular attention to the Integrated Development Environment, the w...
Web of Performance
If you love being involved in theatre and you're also searching for opportunities to make a positive difference in your community, this workbook was written for you. You may think that theatre and all the other things you are passionate about represent different directions in your life, but they don't have to be separate. They can converge in perfo...