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
- -
International Comparative Studies in Mathematics : Lessons for Improving Stud…
It argues that the main purpose of educational research is to improve student learning, and that international comparative studies are no exception.
- Edition
- -
- ISBN/ISSN
- 9783319424132
- Collation
- VII, 36 halaman
- Series Title
- ICME-13 Topical Surveys
- Call Number
- 510 CAI i
An Introduction to Beam Physics
The field of beam physics touches many areas of physics, engineering, and the sciences. In general terms, beams describe ensembles of particles with initial conditions similar enough to be treated together as a group so that the motion is a weakly nonlinear perturbation of a chosen reference particle. Particle beams are used in a variety of areas,
- Edition
- -
- ISBN/ISSN
- 9781420011821
- Collation
- -
- Series Title
- -
- Call Number
- -
A Gallery of Fluid Motion
Images of fluids in motion have served both scientific and artistic purposes at least since the time of Leonardo de Vinci over 500 years ago. The visualization of fluid flow has played a major role in the development of fluid dynamics and its technological and scientific applications, from the evolution of flight to the tracking of weather to understanding the flow of blood. Today, the Division…
- Edition
- -
- ISBN/ISSN
- 9780511610820
- Collation
- -
- Series Title
- -
- Call Number
- -
A Gallery of Combustion and Fire
A Gallery of Combustion and Fire is the first book to provide a graphical perspective of the extremely visual phenomenon of combustion in full color. It is designed primarily to be used in parallel with, and supplement existing combustion textbooks that are usually in black and white, making it a challenge to visualize such a graphic phenomenon. Each image includes a description of how it was g…
- Edition
- -
- ISBN/ISSN
- 9781316651209
- Collation
- -
- Series Title
- -
- Call Number
- -
Convolution Copula Econometrics
This book presents a novel approach to time series econometrics, which studies the behavior of nonlinear stochastic processes. This approach allows for an arbitrary dependence structure in the increments and provides a generalization with respect to the standard linear independent increments assumption of classical time series models. The book offers a solution to the problem of a general semip…
- Edition
- -
- ISBN/ISSN
- 9783319480152
- Collation
- -
- Series Title
- -
- Call Number
- 519
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
- -
Collaborative Learning and New Media New Insights into an Evolving Field (Ed…
This book is an essential resource for researchers in the field of applied linguistics as well as practising teachers and teacher trainees in secondary and higher education. It explores collaboration in the foreign language classroom through the use of new media. Combining theoretical, empirical and practical insights into this intricate area of research, the contributions take different approa…
- Edition
- -
- ISBN/ISSN
- 9783653059212
- Collation
- -
- Series Title
- -
- Call Number
- -
A First Course of Homological Algebra
Based on a series of lectures given at Sheffield during 1971–72, this text is designed to introduce the student to homological algebra avoiding the elaborate machinery usually associated with the subject. This book presents a number of important topics and develops the necessary tools to handle them on an ad hoc basis. The final chapter contains some previously unpublished material and will p…
- Edition
- -
- ISBN/ISSN
- 9780511565885
- 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