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
- -
Turbulence
This book covers the major problems of turbulence and turbulent processes, including physical phenomena, their modeling and their simulation. After a general introduction in Chapter 1 illustrating many aspects dealing with turbulent flows, averaged equations and kinetic energy budgets are provided in Chapter 2. The concept of turbulent viscosity as a closure of the Reynolds stress is also i…
- Edition
- -
- ISBN/ISSN
- 978-3-319-16160-0
- 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
- -
Tunneling Field Effect Transistor Technology
This book provides a single-source reference to the state-of-the art in tunneling field effect transistors (TFETs). Readers will learn the TFETs physics from advanced atomistic simulations, the TFETs fabrication process and the important roles that TFETs will play in enabling integrated circuit designs for power efficiency.
- Edition
- -
- ISBN/ISSN
- 978-3-319-31653-6
- Collation
- -
- Series Title
- -
- Call Number
- -
Tunneling Dynamics in Open Ultracold Bosonic Systems Numerically Exact Dynam…
This thesis addresses the intriguing topic of the quantum tunnelling of many-body systems such as Bose-Einstein condensates. Despite the enormous amount of work on the tunneling of a single particle through a barrier, we know very little about how a system made of several or of many particles tunnels through a barrier to open space. The present work uses numerically exact solutions of the time-…
- Edition
- -
- ISBN/ISSN
- 978-3-319-07085-8
- Collation
- -
- Series Title
- -
- Call Number
- -
Tunnel Fire Dynamics
This book covers a wide range of issues in fire safety engineering in tunnels, describes the phenomena related to tunnel fire dynamics, presents state-of-the-art research, and gives detailed solutions to these major issues. Examples for calculations are provided. The aim is to significantly improve the understanding of fire safety engineering in tunnels. Chapters on fuel and ventilation control…
- Edition
- -
- ISBN/ISSN
- 978-1-4939-2199-7
- Collation
- -
- Series Title
- -
- Call Number
- -
Tunable Microwave Metamaterial Structures
This book presents original findings on tunable microwave metamaterial structures, and describes the theoretical and practical issues involved in the design of metamaterial devices. Special emphasis is given to tunable elements and their advantages in terms of feeding network simplification. Different biasing schemes and feeding network topologies are presented, together with extensive prototyp…
- Edition
- -
- ISBN/ISSN
- 978-3-319-28179-7
- Collation
- -
- Series Title
- -
- Call Number
- -
A Genealogy of Terrorism Colonial Law and the Origins of an Idea
Using India as a case study, Joseph McQuade demonstrates how the modern concept of terrorism was shaped by colonial emergency laws dating back into the nineteenth and early twentieth centuries. Beginning with the 'thugs', 'pirates', and 'fanatics' of the nineteenth century, McQuade traces the emerging and novel legal category of 'the terrorist' in early twentieth-century colonial law, ending wi…
- Edition
- -
- ISBN/ISSN
- 9781108896238
- Collation
- -
- Series Title
- -
- Call Number
- -
Tumors of the Central Nervous System, Volume 14 Glioma, Meningioma, Neurobla…
This fourteenth volume of the series provides comprehensive, current information on the diagnosis, therapy and prognosis of brain tumors and spinal tumors. For the readers' convenience, contributions are organized into three categories of Pineal Tumors, Pituitary Tumors, and Spinal Tumors. Readers will find discussion of various aspects of a number of tumor types, including angiocentric glioma,…
- Edition
- -
- ISBN/ISSN
- 978-94-017-7224-2
- Collation
- -
- Series Title
- -
- Call Number
- -
Conversations with Kenelm : Essays on the Theology of the Commedia
In a celebratory moment of the Paradiso, Dante has Thomas go round the circle of sage spirits identifying each in turn in point of proper calling and confirming how it is that self is everywhere present to the other-than-self as a co-efficient of being in the endless and endlessly varied instantiation of that being. The image, at once perfectly Dantean and perfectly resplendent, underlies and i…
- Edition
- -
- ISBN/ISSN
- 9781909188006
- Collation
- 214 halaman
- Series Title
- -
- Call Number
- 800 TOO c
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography