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 ...
Lee mas
Acute Endocrinology : From Cause to Consequence
The integration of endocrinology in critical care medicine has led to new experimental and clinical data on the complex endocrine ...
Lee mas
Algebra 3 : Homological Algebra and Its Applications
Includes algebra, deals with important topics in homological algebra, including abstract theory of derived functors, sheaf ...
Lee mas
Algebras, Rings and Modules
This book provides both the classical aspects of the theory of groups and their representations as well as a general introduction ...
Lee mas
Algèbre commutative, Chapitre 10 = Commutative Algebra, Chapter 10
Depth, Regularity, Duality The Mathematics Elements of Nicolas BOURBAKI aim to provide a rigorous, systematic presentation ...
Lee mas
Algèbre, Chapitre 9 = Algebra, Chapter 9
Sesquilinear and quadratic forms : The Mathematics Elements of Nicolas BOURBAKI aim to provide a rigorous, systematic presentation ...
Lee mas
Analysis and Synthesis of Logics : How to Cut and Paste Reasoning Systems
Starting with simple examples showing the relevance of cutting and pasting logics, the monograph develops a mathematical ...
Lee mas
Anaphora and Type Logical Grammar
This book develops a hybrid architecture that allows to incorporate anaphora resolution into grammatical deduction while ...
Lee mas
Basic Bundle Theory and K-Cohomology Invariants : With contributions by Siegfried Echterhoff, Stefan Fredenhagen and Bernhard Krötz
Based on several recent courses given to mathematical physics students, this volume is an introduction to bundle theory with ...
Lee mas
Basic Notions of Algebra
This book aims to present a general survey of algebra, of its basic notions and main branches.Those parts of the book devoted ...
Lee mas
Bioactive and Therapeutic Dental Materials / Salvatore Sauro
Special attention has been given to bioactive materials developed to induce cells differentiation/stimulation, hard tissue ...
Lee mas
Bioceramic Materials in Clinical Endodontics
This book focuses on hydraulic calcium silicate-based materials available in clinical dentistry, used as pulp capping materials, ...
Lee mas
Biodentine : Properties and Clinical Applications / Imad About
A comprehensive guide to BiodentineTM, an innovative biocompatible and bioactive material based on pure tricalcium silicate ...
Lee mas
Business Partner Management : Successfully Managing External and Internal Business Relationships / Klaus Krause
Provides a structured, industry-independent and at the same time practical insight into all types of business partnerships. ...
Lee mas
COMPSTAT 2006 - Proceedings in Computational Statistics
International Association for Statistical Computing The International Association for Statistical Computing (IASC) is a Section ...
Lee mas
COMPSTAT 2006 - Proceedings in Computational Statistics
International Association for Statistical Computing The International Association for Statistical Computing (IASC) is a Section ...
Lee mas
Categories and Sheaves
This book covers categories, homological algebra and sheaves in a systematic and exhaustive manner starting from scratch, ...
Lee mas
Computational Cognitive Modeling and Linguistic Theory
This book introduces a general framework that allows natural language researchers to enhance existing competence theories ...
Lee mas
Computer Processing of Oriental Languages. Beyond the Orient: The Research Challenges Ahead
This book constitutes the thoroughly refereed proceedings of the 21st International Conference on Computer Processing of ...
Lee mas
Concepts, Frames and Cascades in Semantics, Cognition and Ontology
This book presents novel theoretical, empirical and experimental work exploring the nature of mental representations that ...
Lee mas
