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 ...
اقرأ المزيد
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 ...
اقرأ المزيد
Algebra 3 : Homological Algebra and Its Applications
Includes algebra, deals with important topics in homological algebra, including abstract theory of derived functors, sheaf ...
اقرأ المزيد
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 ...
اقرأ المزيد
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 ...
اقرأ المزيد
Algèbre, Chapitre 9 = Algebra, Chapter 9
Sesquilinear and quadratic forms : The Mathematics Elements of Nicolas BOURBAKI aim to provide a rigorous, systematic presentation ...
اقرأ المزيد
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 ...
اقرأ المزيد
Anaphora and Type Logical Grammar
This book develops a hybrid architecture that allows to incorporate anaphora resolution into grammatical deduction while ...
اقرأ المزيد
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 ...
اقرأ المزيد
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 ...
اقرأ المزيد
Bioactive and Therapeutic Dental Materials / Salvatore Sauro
Special attention has been given to bioactive materials developed to induce cells differentiation/stimulation, hard tissue ...
اقرأ المزيد
Bioceramic Materials in Clinical Endodontics
This book focuses on hydraulic calcium silicate-based materials available in clinical dentistry, used as pulp capping materials, ...
اقرأ المزيد
Biodentine : Properties and Clinical Applications / Imad About
A comprehensive guide to BiodentineTM, an innovative biocompatible and bioactive material based on pure tricalcium silicate ...
اقرأ المزيد
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. ...
اقرأ المزيد
COMPSTAT 2006 - Proceedings in Computational Statistics
International Association for Statistical Computing The International Association for Statistical Computing (IASC) is a Section ...
اقرأ المزيد
COMPSTAT 2006 - Proceedings in Computational Statistics
International Association for Statistical Computing The International Association for Statistical Computing (IASC) is a Section ...
اقرأ المزيد
Categories and Sheaves
This book covers categories, homological algebra and sheaves in a systematic and exhaustive manner starting from scratch, ...
اقرأ المزيد
Computational Cognitive Modeling and Linguistic Theory
This book introduces a general framework that allows natural language researchers to enhance existing competence theories ...
اقرأ المزيد
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 ...
اقرأ المزيد
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 ...
اقرأ المزيد
