Filter by
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
- -
Transactions on Large-Scale Data- and Knowledge-Centered Systems XXII
The LNCS journal Transactions on Large-Scale Data- and Knowledge-Centered Systems focuses on data management, knowledge discovery, and knowledge processing, which are core and hot topics in computer science. Since the 1990s, the Internet has become the main driving force behind application development in all domains. An increase in the demand for resource sharing across different sites connecte…
- Edition
- -
- ISBN/ISSN
- 978-3-662-48567-5
- Collation
- -
- Series Title
- -
- Call Number
- -
Don Pigozzi on Abstract Algebraic Logic, Universal Algebra, and Computer Science
This book celebrates the work of Don Pigozzi on the occasion of his 80th birthday. In addition to articles written by leading specialists and his disciples, it presents Pigozzi’s scientific output and discusses his impact on the development of science. The book both catalogues his works and offers an extensive profile of Pigozzi as a person, sketching the most important events, not only relat…
- Edition
- 1
- ISBN/ISSN
- 978-3-319-74772-9
- Collation
- XXXIII, 454
- Series Title
- Outstanding Contributions to Logic
- Call Number
- -
A Course on Set Theory
Set theory is the mathematics of infinity and part of the core curriculum for mathematics majors. This book blends theory and connections with other parts of mathematics so that readers can understand the place of set theory within the wider context. Beginning with the theoretical fundamentals, the author proceeds to illustrate applications to topology, analysis and combinatorics, as well as to…
- Edition
- -
- ISBN/ISSN
- 9780511996351
- 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