Filter by
Application and Theory of Petri Nets and Concurrency: 36th International Conf…
This book constitutes the proceedings of the 36th International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS 2015, held in Brussels, Belgium, in June 2015. The 12 regular papers and 2 tool papers presented in this volume were carefully reviewed and selected from 34 submissions. In addition the book contains 3 invited talks in full paper length. The papers co…
- Edition
- Ed. 1
- ISBN/ISSN
- 978-3-319-19488-2
- Collation
- X, 351
- Series Title
- Lecture Notes in Computer Science
- Call Number
- 005.642 app A
On Shear Behavior of Structural Elements Made of Steel Fiber Reinforced Concrete
This book sheds light on the shear behavior of Fiber Reinforced Concrete (FRC) elements, presenting a thorough analysis of the most important studies in the field and highlighting their shortcomings and issues that have been neglected to date. Instead of proposing a new formula, which would add to an already long list, it instead focuses on existing design codes. Based on a comparison of experi…
- Edition
- 1
- ISBN/ISSN
- 978-3-319-13685-1
- Collation
- XX, 209
- Series Title
- Springer Theses
- Call Number
- -
Imaging Convection and Magnetism in the Sun
This book reviews the field of helioseismology and its outstanding challenges and also offers a detailed discussion of the latest computational methodologies. The focus is on the development and implementation of techniques to create 3-D images of convection and magnetism in the solar interior and to introduce the latest computational and theoretical methods to the interested reader. With the i…
- Edition
- -
- ISBN/ISSN
- 978-3-319-27328-0
- Collation
- XVII, 131
- Series Title
- -
- Call Number
- 004 HAN i
Deformable Meshes for Medical Image Segmentation : Accurate Automatic Segment…
Segmentation of anatomical structures in medical image data is an essential task in clinical practice. Dagmar Kainmueller introduces methods for accurate fully automatic segmentation of anatomical structures in 3D medical image data. The author's core methodological contribution is a novel deformation model that overcomes limitations of state-of-the-art Deformable Surface approaches, hence allo…
- Edition
- -
- ISBN/ISSN
- 9783658070151
- Collation
- XVIII, 180 pages 52 illustrations, 30 illustrations in color
- Series Title
- -
- Call Number
- 610.28
Delays and networked control systems
This edited monograph includes state-of-the-art contributions on continuous time dynamical networks with delays. The book is divided into four parts. The first part presents tools and methods for the analysis of time-delay systems with a particular attention on control problems of large scale or infinite-dimensional systems with delays. The second part of the book is dedicated to the use of tim…
- Edition
- -
- ISBN/ISSN
- -
- Collation
- xiii, 272 pages
- Series Title
- -
- Call Number
- 629.8
OSS Reliability Measurement and Assessment
This book analyses quantitative open source software (OSS) reliability assessment and its applications, focusing on three major topic areas: the Fundamentals of OSS Quality/Reliability Measurement and Assessment; the Practical Applications of OSS Reliability Modelling; and Recent Developments in OSS Reliability Modelling. Offering an ideal reference guide for graduate students and researchers …
- Edition
- 1
- ISBN/ISSN
- 978-3-319-31817-2
- Collation
- X, 185
- Series Title
- Springer Series in Reliability Engineering
- Call Number
- -
Nutrient Use Efficiency: from Basics to Advances
This book addresses in detail multifaceted approaches to boosting nutrient use efficiency (NUE) that are modified by plant interactions with environmental variables and combine physiological, microbial, biotechnological and agronomic aspects. Conveying an in-depth understanding of the topic will spark the development of new cultivars and strains to induce NUE, coupled with best management pract…
- Edition
- 1
- ISBN/ISSN
- 978-81-322-2168-5
- Collation
- XXIII, 417
- Series Title
- -
- Call Number
- -
Numerical Methods in Matrix Computations
Matrix algorithms are at the core of scientific computing and are indispensable tools in most applications in engineering. This book offers a comprehensive and up-to-date treatment of modern methods in matrix computation. It uses a unified approach to direct and iterative methods for linear systems, least squares and eigenvalue problems. A thorough analysis of the stability, accuracy, and compl…
- Edition
- 1
- ISBN/ISSN
- 978-3-319-05088-1
- Collation
- XVI, 800
- Series Title
- Texts in Applied Mathematics
- Call Number
- -
Numerical Methods and Applications:8th International Conference, NMA 2014, Bo…
This book constitutes the thoroughly refereed post-conference proceedings of the 8th International Conference on Numerical Methods and Applications, NMA 2014, held in Borovets, Bulgaria, in August 2014. The 34 revised full papers presented were carefully reviewed and selected from 56 submissions for inclusion in this book. The papers are organized in the following topical sections: Monte Carlo …
- Edition
- 1
- ISBN/ISSN
- 978-3-319-15584-5
- Collation
- XII, 313
- Series Title
- Theoretical Computer Science and General Issues
- Call Number
- -
Numerical Mathematics and Advanced Applications ENUMATH 2015
The European Conference on Numerical Mathematics and Advanced Applications (ENUMATH), held every 2 years, provides a forum for discussing recent advances in and aspects of numerical mathematics and scientific and industrial applications. The previous ENUMATH meetings took place in Paris (1995), Heidelberg (1997), Jyvaskyla (1999), Ischia (2001), Prague (2003), Santiago de Compostela (2005), Gra…
- Edition
- 1
- ISBN/ISSN
- 978-3-319-39927-0
- Collation
- XIV, 643
- Series Title
- Lecture Notes in Computational Science and Engineering
- Call Number
- -
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography