Filter by
Introduction to Cryptography: Principles and Applications
The first part of this book covers the key concepts of cryptography on an undergraduate level, from encryption and digital signatures to cryptographic protocols. Essential techniques are demonstrated in protocols for key exchange, user identification, electronic elections and digital cash. In the second part, more advanced topics are addressed, such as the bit security of one-way functions and …
- Edition
- -
- ISBN/ISSN
- 978-3-662-47974-2
- Collation
- -
- Series Title
- -
- Call Number
- -
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
- -
Students' Experiences and Perspectives on Secondary Education
This book explores the experiences of young people as they move through the Irish secondary educational system. Drawing on a rich study which combines survey data with in-depth interviews with students, it addresses the key facets of schooling which influence young people's experiences. With chapters organised thematically, including ability grouping, school climate and the impact of high stake…
- Edition
- -
- ISBN/ISSN
- 978-1-137-49385-9
- Collation
- XIII, 240
- Series Title
- -
- Call Number
- -
Structure Theory for Canonical Classes of Finite Groups
This book offers a systematic introduction to recent achievements and development in research on the structure of finite non-simple groups, the theory of classes of groups and their applications. In particular, the related systematic theories are considered and some new approaches and research methods are described – e.g., the F-hypercenter of groups, X-permutable subgroups, subgroup functors…
- Edition
- -
- ISBN/ISSN
- 978-3-662-45747-4
- 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
Structural Analysis of Metallic Glasses with Computational Homology
This book introduces the application of computational homology for structural analysis of metallic glasses. Metallic glasses, relatively new materials in the field of metals, are the next-generation structural and functional materials owing to their excellent properties. To understand their properties and to develop novel metallic glass materials, it is necessary to uncover their atomic structu…
- Edition
- -
- ISBN/ISSN
- 978-4-431-56056-2
- Collation
- -
- Series Title
- -
- Call Number
- -
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
String Figures as Mathematics?
This book addresses the mathematical rationality contained in the making of string figures. It does so by using interdisciplinary methods borrowed from anthropology, mathematics, history and philosophy of mathematics. The practice of string figure-making has long been carried out in many societies, and particularly in those of oral tradition. It consists in applying a succession of operations t…
- Edition
- -
- ISBN/ISSN
- 978-3-319-11994-6
- Collation
- -
- Series Title
- -
- Call Number
- -
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
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography