A Modern Perspective on Type Theory
The first part of the book is historical, yet at the same time, places historical systems (like Russell's RTT) in the modern ...
Lire la suite
A Modern Theory of Factorial Design
Factorial design plays a fundamental role in efficient and economic experimentation with multiple input variables and is ...
Lire la suite
A Modern Theory of Factorial Design
Factorial design plays a fundamental role in efficient and economic experimentation with multiple input variables and is ...
Lire la suite
A Modular Calculus for the Average Cost of Data Structuring
This volume, with forewords by Greg Bollella and Dana Scott, presents novel programs based on the new advances in this area, ...
Lire la suiteA Multidisciplinary Approach to Capability in Age and Ageing
This book provides insight on how to interpret capability in ageing – one’s individual ability to perform actions in ...
Lire la suite
A Natural Introduction to Probability Theory
According to Leo Breiman (1968), probability theory has a right and a left hand. The right hand refers to rigorous mathematics, ...
Lire la suite
A New Foundation of Physical Theories
Written in the tradition of G. Ludwig’s groundbreaking works, this book aims to clarify and formulate more precisely the ...
Lire la suite
A Pan-Chromatic View of Clusters of Galaxies and the Large-Scale Structure
The reviews presented in this volume cover a wide-range of cluster of galaxies topics like the physics of the ICM gas, the ...
Lire la suiteA Philosophical Examination of Social Justice and Child Poverty
This book is open access under a CCBY license. This book investigates child poverty from a philosophical perspective. It ...
Lire la suite
A Posteriori Error Analysis Via Duality Theory
This volume provides a posteriori error analysis for mathematical idealizations in modeling boundary value problems, especially ...
Lire la suite
A Practical Introduction to PSL
Practical Introduction to PSL is primarily targeted to hardware designers and verification engineers who plan to use PSL. ...
Lire la suite
A Practical Programming Model for the Multi-Core Era : 3rd International Workshop on OpenMP, IWOMP 2007, Beijing, China, June 3-7, 2007 Proceedings
This book constitutes the thoroughly refereed post-workshop proceedings of the Third International Workshop on OpenMP, IWOMP ...
Lire la suite
A Primer for the Exercise and Nutrition Sciences
This book provides a fresh approach to the study of energy expenditure by introducing the latest concepts in open system ...
Lire la suite
A Primer on Environmental Decision-Making
This book integrates decision-making and environmental science. For ecologists it will bridge the gap to economics. For practitioners ...
Lire la suite
A Remarkable Collection of Babylonian Mathematical Texts
This new text from Jöran Friberg, the leading expert on Babylonian mathematics, presents 130 previously unpublished mathematical ...
Lire la suite
A Review on Dental Materials
A Review on Dental Materials discusses the current biomaterials used for dental applications and the basic sciences underpinning ...
Lire la suite
A Roadmap for Formal Property Verification
This book develops the answers to these questions and fits them into a roadmap for formal property verification – a roadmap ...
Lire la suite
A Rose Armed with Thorns: Spinoza’s Philosophy Under a Novel Lens
presents a systemic analysis of Spinoza’s philosophy and challenges the traditional views. It deals with Spinoza’s concepts ...
Lire la suite
A Rosicrucian Utopia in Eighteenth-Century Russia
The author undertakes an investigation into the history of Russian Freemasonry that has not been attempted previously. Her ...
Lire la suite
A Sea Change: The Exclusive Economic Zone and Governance Institutions for Living Marine Resources
A Sea Change in a Changing Sea The oceans, seas and coastal areas encompass over 70% of the earth’s surface. They are a ...
Lire la suite
