Filter by
Type Systems for Distributed Programs: Components and Sessions
In this book we develop powerful techniques based on formal methods for the verification of correctness, consistency and safety properties related to dynamic reconfiguration and communication in complex distributed systems. In particular, static analysis techniques based on types and type systems are an adequate methodology considering their success in guaranteeing not only basic safety propert…
- Edition
- -
- ISBN/ISSN
- 978-94-6239-204-5
- Collation
- -
- Series Title
- -
- Call Number
- -
Turning Points in the History of Mathematics
This book explores some of the major turning points in the history of mathematics, ranging from ancient Greece to the present, demonstrating the drama that has often been a part of its evolution. Studying these breakthroughs, transitions, and revolutions, their stumbling-blocks and their triumphs, can help illuminate the importance of the history of mathematics for its teaching, learning, and …
- Edition
- -
- ISBN/ISSN
- 978-1-4939-3264-1
- Collation
- -
- Series Title
- -
- Call Number
- -
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
- -
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
- -
Correlated Random Systems: Five Different Methods CIRM Jean-MorletChair, Spri…
This volume presents five different methods recently developed to tackle the large scale behavior of highly correlated random systems, such as spin glasses, random polymers, local times and loop soups and random matrices. These methods, presented in a series of lectures delivered within the Jean-Morlet initiative (Spring 2013), play a fundamental role in the current development of probability t…
- Edition
- -
- ISBN/ISSN
- 9783319176741
- Collation
- VII, 208 p. 9 illus., 8 illus. in color.
- Series Title
- -
- Call Number
- 511.8
A First Course in the Numerical Analysis of Differential Equations
Numerical analysis presents different faces to the world. For mathematicians it is a bona fide mathematical theory with an applicable flavour. For scientists and engineers it is a practical, applied subject, part of the standard repertoire of modelling techniques. For computer scientists it is a theory on the interplay of computer architecture and algorithms for real-number calculations. The te…
- Edition
- -
- ISBN/ISSN
- 9780511995569
- Collation
- -
- Series Title
- Cambridge Texts in Applied Mathematics (44)
- Call Number
- -
A First Course in String Theory
String theory made understandable. Barton Zwiebach is once again faithful to his goal of making string theory accessible to undergraduates. He presents the main concepts of string theory in a concrete and physical way to develop intuition before formalism, often through simplified and illustrative examples. Complete and thorough in its coverage, this new edition now includes AdS/CFT corresponde…
- Edition
- -
- ISBN/ISSN
- 9780511841620
- 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
- -
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
- -
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
- -
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography