Filter by
Turing’s Revolution The Impact of His Ideas about Computability
This book provides an overview of the confluence of ideas in Turing’s era and work and examines the impact of his work on mathematical logic and theoretical computer science. It combines contributions by well-known scientists on the history and philosophy of computability theory as well as on generalised Turing computability. By looking at the roots and at the philosophical and technical infl…
- Edition
- -
- ISBN/ISSN
- 978-3-319-22156-4
- Collation
- -
- Series Title
- -
- Call Number
- -
A General Algebraic Semantics for Sentential Logics
Since their inception, the Perspectives in Logic and Lecture Notes in Logic series have published seminal works by leading logicians. Many of the original books in the series have been unavailable for years, but they are now in print once again. In this volume, the seventh publication in the Lecture Notes in Logic series, Font and Jansana develop a very general approach to the algebraization of…
- Edition
- -
- ISBN/ISSN
- 9781316716915
- Collation
- -
- Series Title
- Lecture Notes in Logic (7)
- Call Number
- -
A Framework for Priority Arguments
This book presents a unifying framework for using priority arguments to prove theorems in computability. Priority arguments provide the most powerful theorem-proving technique in the field, but most of the applications of this technique are ad hoc, masking the unifying principles used in the proofs. The proposed framework presented isolates many of these unifying combinatorial principles and us…
- Edition
- -
- ISBN/ISSN
- 9780511750779
- Collation
- -
- Series Title
- Lecture Notes in Logic
- Call Number
- -
Ecology of Angola
This open access book richly illustrates the first, and comprehensive, account of the country’s biomes and ecoregions, the driving forces that account for their diversity and vulnerability, and the ecological principles that provide an understanding of the patterns and processes that have shaped landscapes, ecoregions, and ecosystems. Angola encompasses the greatest diversity of terrestrial b…
- Edition
- -
- ISBN/ISSN
- 9783031189234
- Collation
- -
- Series Title
- -
- Call Number
- -
Quantization on Nilpotent Lie Groups
Topological Groups, Lie Groups; Abstract Harmonic Analysis; Functional Analysis; Mathematical Physics
- Edition
- -
- ISBN/ISSN
- 9783319295589
- Collation
- -
- Series Title
- -
- Call Number
- -
Trust and Rationality An Integrative Framework for Trust Research
Combining economic, social-psychological and sociological approaches to trust, this book provides a general theoretical framework to causally explain conditional and unconditional trust; it also presents an experimental test of the corresponding integrative model and its predictions. Broadly, it aims at advancing a cognitive turn in trust research by highlighting the importance of (1) an actorÂ…
- Edition
- -
- ISBN/ISSN
- 978-3-658-07327-5
- Collation
- -
- Series Title
- -
- Call Number
- -
Trends in Functional Programming 15th International Symposium, TFP 2014, Soe…
This book constitutes the thoroughly refereed revised selected papers of the 15th International Symposium on Trends in Functional Programming, TFP 2014, held in Soesterberg, The Netherlands, in May 2014. The 8 revised full papers included in this volume were carefully and selected from 22 submissions. TFP is an international forum for researchers with interests in all aspects of functional prog…
- Edition
- -
- ISBN/ISSN
- 978-3-319-14675-1
- Collation
- -
- Series Title
- -
- Call Number
- -
The Gentianaceae - Volume 2: Biotechnology and Applications
This book, the second of two volumes on the Gentianaceae, is devoted to aspects of biotechnology and their applications. It consists of 18 chapters and covers micropropagation by means of organogenesis or somatic embryogenesis, and single cell manipulation of various species belonging to the horticultural genera Blakstonia, Centaurium, Gentiana, Gentianalla and Swertia. Furthermore, the applica…
- Edition
- 1
- ISBN/ISSN
- 978-3-642-54102-5
- Collation
- XXVIII, 452, 91 b/w illustrations, 37 illustrations in colour
- Series Title
- -
- Call Number
- -
Treating Adolescents with Family-Based Mindfulness
A new take on therapeutic mindfulness with specific applications to troubled and delinquent youth is the focus of this innovative text. It introduces Family Mode Deactivation Therapy (FMDT) and its core concepts and methodologies, differentiating it from other cognitive and mindfulness therapies for adolescents with problem behaviors and comorbid conditions. Step by step applications of FMDT fr…
- Edition
- -
- ISBN/ISSN
- 978-3-319-12700-2
- Collation
- -
- Series Title
- -
- Call Number
- -
Trapping of Small Organisms Moving Randomly Principles and Applications to P…
This new book is the first to make logical and important connections between trapping and foraging ecology. It develops and describes—both verbally and mathematically--the underlying principles that determine and define trap-organism interactions. More important, it goes on to explain and illustrate how these principles and relationships can be used to estimate absolute population densities i…
- Edition
- -
- ISBN/ISSN
- 978-3-319-12994-5
- Collation
- -
- Series Title
- -
- Call Number
- -
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography