Filter by
Introduction to Concurrency Theory: Transition Systems and CCS
This book presents the fundamentals of concurrency theory with clarity and rigor. The authors start with the semantic structure, namely labelled transition systems, which provides us with the means and the tools to express processes, to compose them, and to prove properties they enjoy. The rest of the book relies on Milner's Calculus of Communicating Systems, tailored versions of which are used…
- Edition
- -
- ISBN/ISSN
- 978-3-319-21491-7
- Collation
- -
- Series Title
- -
- Call Number
- -
Parametric and Nonparametric Inference for Statistical Dynamic Shape Analysis…
This book considers specific inferential issues arising from the analysis of dynamic shapes with the attempt to solve the problems at hand using probability models and nonparametric tests. The models are simple to understand and interpret and provide a useful tool to describe the global dynamics of the landmark configurations. However, because of the non-Euclidean nature of shape spaces, distri…
- Edition
- -
- ISBN/ISSN
- 978-3-319-26311-3
- Collation
- X, 115 halaman
- Series Title
- Springer Briefs in Statistics
- Call Number
- 519.5 BRO p
Parabolic Equations in Biology : Growth, reaction, movement and diffusion
This book presents several fundamental questions in mathematical biology such as Turing instability, pattern formation, reaction-diffusion systems, invasion waves and Fokker-Planck equations. These are classical modeling tools for mathematical biology with applications to ecology and population dynamics, the neurosciences, enzymatic reactions, chemotaxis, invasion waves etc. The book presents t…
- Edition
- -
- ISBN/ISSN
- 978-3-319-19500-1
- Collation
- XII, 199 halaman
- Series Title
- Lecture Notes on Mathematical Modelling in the Life Sciences
- Call Number
- 511.8 PER p
Rational Extended Thermodynamics beyond the Monatomic Gas
This book is dedicated to the recent developments in RET with the aim to explore polyatomic gas, dense gas and mixture of gases in non-equilibrium. In particular we present the theory of dense gases with 14 fields, which reduces to the Navier-Stokes Fourier classical theory in the parabolic limit. Molecular RET with an arbitrary number of field-variables for polyatomic gases is also discussed a…
- Edition
- -
- ISBN/ISSN
- 978-3-319-13341-6
- Collation
- -
- Series Title
- -
- Call Number
- 510
Rate-Independent Systems: Theory and Application
This monograph provides both an introduction to and a thorough exposition of the theory of rate-independent systems, which the authors have been working on with a lot of collaborators over 15 years. The focus is mostly on fully rate-independent systems, first on an abstract level either with or even without a linear structure, discussing various concepts of solutions with full mathematical rigo…
- Edition
- -
- ISBN/ISSN
- 978-1-4939-2706-7
- Collation
- -
- Series Title
- -
- Call Number
- 510
Random Walks, Random Fields, and Disordered Systems
Focusing on the mathematics that lies at the intersection of probability theory, statistical physics, combinatorics and computer science, this volume collects together lecture notes on recent developments in the area. The common ground of these subjects is perhaps best described by the three terms in the title: Random Walks, Random Fields and Disordered Systems. The specific topics covered incl…
- Edition
- -
- ISBN/ISSN
- 978-3-319-19339-7
- Collation
- -
- Series Title
- -
- Call Number
- 510
Random Matrix Theory with an External Source
This is a first book to show that the theory of the Gaussian random matrix is essential to understand the universal correlations with random fluctuations and to demonstrate that it is useful to evaluate topological universal quantities. We consider Gaussian random matrix models in the presence of a deterministic matrix source. In such models the correlation functions are known exactly for an ar…
- Edition
- -
- ISBN/ISSN
- 978-981-10-3316-2
- Collation
- -
- Series Title
- -
- Call Number
- 510
A New Direction in Mathematics for Materials Science
This book is the first volume of the SpringerBriefs in the Mathematics of Materials and provides a comprehensive guide to the interaction of mathematics with materials science. The anterior part of the book describes a selected history of materials science as well as the interaction between mathematics and materials in history. The emergence of materials science was itself a result of an interd…
- Edition
- Ed. 1
- ISBN/ISSN
- 978-4-431-55864-4
- Collation
- -
- Series Title
- SpringerBriefs in the Mathematics of Materials
- Call Number
- 514.72 IKE n
A Modern Course in Aeroelasticity: Fifth Revised and Enlarged Edition
This book covers the basics of aeroelasticity or the dynamics of fluid-structure interaction. While the field began in response to the rapid development of aviation, it has now expanded into many branches of engineering and scientific disciplines and treat physical phenomena from aerospace engineering, bioengineering, civil engineering, and mechanical engineering in addition to drawing the atte…
- Edition
- Ed. 1
- ISBN/ISSN
- 978-3-319-09453-3
- Collation
- -
- Series Title
- Solid Mechanics and Its Applications
- Call Number
- 520 DOW m
A Delicate Balance: Global Perspectives on Innovation and Tradition in the Hi…
Joseph W. Dauben, a leading authority on the history of mathematics in Europe, China, and North America, has played a pivotal role in promoting international scholarship over the last forty years. This Festschrift volume, showcasing recent historical research by leading experts on three continents, offers a global perspective on important themes in this field.
- Edition
- Ed. 1
- ISBN/ISSN
- 978-3-319-12030-0
- Collation
- -
- Series Title
- Trends in the History of Science
- Call Number
- 511 DEL d
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography