Filter by
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
- -
Programs as Diagrams
It is not always clear what computer programs mean in the various languages in which they can be written, yet a picture can be worth 1000 words, a diagram 1000 instructions. In this unique textbook/reference, programs are drawn as string diagrams in the language of categories, which display a universal syntax of mathematics (Computer scientists use them to analyze the program semantics; prog…
- Edition
- 1
- ISBN/ISSN
- 978-3-031-34827-3
- Collation
- XVII, 252, 1 b/w illustrations
- Series Title
- Theory and Applications of Computability
- Call Number
- -
The Formation and Disruption of Black Hole Jets
This book reviews the phenomenology displayed by relativistic jets as well as the most recent theoretical efforts to understand the physical mechanisms at their origin. Relativistic jets have been observed and studied in Active Galactic Nuclei (AGN) for about half a century and are believed to be fueled by accretion onto a supermassive black hole at the center of the host galaxy. Since the firs…
- Edition
- 1
- ISBN/ISSN
- 978-3-319-10356-3
- Collation
- XI, 264, 41 b/w illustrations, 46 illustrations in colour
- Series Title
- Astrophysics and Space Science Library
- Call Number
- -
https://link.springer.com/book/10.1007/978-1-4614-9111-
These lecture notes present a concise and introductory, yet as far as possible coherent, view of the main formalizations of quantum mechanics and of quantum field theories, their interrelations and their theoretical foundations. The “standard” formulation of quantum mechanics (involving the Hilbert space of pure states, self-adjoint operators as physical observables, and the probabilisti…
- Edition
- 1
- ISBN/ISSN
- 978-3-319-10539-0
- Collation
- VII, 157, 14 b/w illustrations, 12 illustrations in colour
- Series Title
- Lecture Notes in Physics
- Call Number
- -
The Forest of the Lacandon Maya
The Forest of the Lacandon Maya: An Ethnobotanical Guide, with active links to audio-video recordings, serves as a comprehensive guide to the botanical heritage of the northern Lacandones. Numbering fewer than 300 men, women, and children, this community is the most culturally conservative of the Mayan groups. Protected by their hostile environment, over many centuries they maintain autonomy fr…
- Edition
- 1
- ISBN/ISSN
- 978-1-4614-9111-8
- Collation
- XXVII, 379, 38 b/w illustrations, 561 illustrations in colour
- Series Title
- -
- Call Number
- -
The Foot
This book guides the reader on a rational pathway from anamnesis and clinical examination (with supporting illustrations), through radiological screening to the appropriate surgical solution. Proposed treatments and treatment results at about one year of follow-up are described in detail with the aid of intra- and postoperative photographs and radiographs. The text is limited to systematic desc…
- Edition
- 1
- ISBN/ISSN
- 978-3-662-47697-0
- Collation
- XI, 216
- Series Title
- -
- Call Number
- -
The Fluid Dynamics of Climate
This volume provides an overview of the fluid aspects of the climate system, focusing on basic aspects as well as recent research developments. It will bring together contributions from diverse fields of the physical, mathematical and engineering sciences. The volume will be useful to doctorate students, postdocs and researchers working on different aspects of atmospheric, oceanic and environme…
- Edition
- 1
- ISBN/ISSN
- 978-3-7091-1893-1
- Collation
- VII, 209, 48 b/w illustrations, 29 illustrations in colour
- Series Title
- CISM International Centre for Mechanical Sciences
- Call Number
- -
The Floating Strip Micromegas Detector
This book discusses a novel and high-rate-capable micro pattern gaseous detector of the Micromegas (MICRO-MEsh GAS detector) type. It provides a detailed characterization of the performance of Micromegas detectors on the basis of measurements and simulations, along with an in-depth examination of analysis and reconstruction methods. The accurate and efficient detection of minimum ionizing parti…
- Edition
- 1
- ISBN/ISSN
- 978-3-319-18893-5
- Collation
- XV, 256, 151 b/w illustrations, 37 illustrations in colour
- Series Title
- Springer Theses
- Call Number
- -
A First Course in Random Matrix Theory for Physicists, Engineers and Data Sc…
The real world is perceived and broken down as data, models and algorithms in the eyes of physicists and engineers. Data is noisy by nature and classical statistical tools have so far been successful in dealing with relatively smaller levels of randomness. The recent emergence of Big Data and the required computing power to analyse them have rendered classical tools outdated and insufficient. T…
- Edition
- -
- ISBN/ISSN
- 9781108768900
- Collation
- -
- Series Title
- -
- Call Number
- -
Affective Disorders : Emotion in Colonial and Postcolonial Literature
Situated at the intersection of postcolonial studies, affect studies, and narratology, Affective Disorders explores the significance of emotion in a range of colonial and postcolonial narratives. Through close readings of Naguib Mahfouz, Joaquim Maria Machado de Assis, and Upamanyu Chatterjee, among others, Bede Scott argues that literary representations of emotion need not be interpreted solel…
- Edition
- -
- ISBN/ISSN
- 9781786941701
- Collation
- -
- Series Title
- Postcolonialism Across the Disciplines
- Call Number
- 800 SCO a
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography