Filter by
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
- -
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
- -
The Foundations of Computability Theory
This book offers an original and informative view of the development of fundamental concepts of computability theory. The treatment is put into historical context, emphasizing the motivation for ideas as well as their logical and formal development. In Part I the author introduces computability theory, with chapters on the foundational crisis of mathematics in the early twentieth century, and f…
- Edition
- 1
- ISBN/ISSN
- 978-3-662-62421-0
- Collation
- XXI, 422
- Series Title
- -
- Call Number
- -
Transactions on Rough Sets XIX
The LNCS journal Transactions on Rough Sets is devoted to the entire spectrum of rough sets related issues, from logical and mathematical foundations, through all aspects of rough set theory and its applications, such as data mining, knowledge discovery, and intelligent information processing, to relations between rough sets and other approaches to uncertainty, vagueness, and incompleteness, su…
- Edition
- -
- ISBN/ISSN
- 978-3-662-47815-8
- Collation
- -
- Series Title
- -
- Call Number
- -
Transactions on Petri Nets and Other Models of Concurrency X
These Transactions publish archival papers in the broad area of Petri nets and other models of concurrency, ranging from theoretical work to tool support and industrial applications. ToPNoC issues are published as LNCS volumes, and hence are widely distributed and indexed. This Journal has its own Editorial Board which selects papers based on a rigorous two-stage refereeing process. ToPNoC cont…
- Edition
- -
- ISBN/ISSN
- 978-3-662-48650-4
- 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