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
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
- -
Numerical Python
Numerical Python by Robert Johansson shows you how to leverage the numerical and mathematical modules in Python and its Standard Library as well as popular open source numerical Python packages like NumPy, FiPy, matplotlib and more to numerically compute solutions and mathematically model applications in a number of areas like big data, cloud computing, financial engineering, business managemen…
- Edition
- 1
- ISBN/ISSN
- 978-1-4842-0553-2
- Collation
- XXII, 487
- 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 Mathematics and Advanced Applications - ENUMATH 2013:Proceedings of…
This book gathers a selection of invited and contributed lectures from the European Conference on Numerical Mathematics and Advanced Applications (ENUMATH) held in Lausanne, Switzerland, August 26-30, 2013. It provides an overview of recent developments in numerical analysis, computational mathematics and applications from leading experts in the field. New results on finite element methods, mul…
- Edition
- 1
- ISBN/ISSN
- 978-3-319-10704-2
- Collation
- XVI, 810
- Series Title
- Lecture Notes in Computational Science and Engineering
- Call Number
- -
Numerical Analysis Using Sage
This is the first numerical analysis text to use Sage for the implementation of algorithms and can be used in a one-semester course for undergraduates in mathematics, math education, computer science/information technology, engineering, and physical sciences. The primary aim of this text is to simplify understanding of the theories and ideas from a numerical analysis/numerical methods course vi…
- Edition
- 1
- ISBN/ISSN
- 978-3-319-16738-1
- Collation
- XII, 314
- Series Title
- Springer Undergraduate Texts in Mathematics and Technology
- Call Number
- -
Numbers and Computers
This is a book about numbers and how those numbers are represented in and operated on by computers. It is crucial that developers understand this area because the numerical operations allowed by computers, and the limitations of those operations, especially in the area of floating point math, affect virtually everything people try to do with computers. This book aims to fill this gap by explori…
- Edition
- 1
- ISBN/ISSN
- 978-3-319-35940-3
- Collation
- XI, 231
- Series Title
- -
- Call Number
- -
Nordic Contributions in IS Research
This book contains the refereed proceedings of the 6th Scandinavian Conference on Information Systems, SCIS 2015, held in Oulu, Finland, in August 2015. The theme for this book as well as for the conference is “Design for, with, and by Users.” This theme has characterized information systems research already for decades, and it is still a vibrant topic, especially so within the Scandinavian…
- Edition
- 1
- ISBN/ISSN
- 978-3-319-21782-6
- Collation
- XVI, 253
- Series Title
- Lecture Notes in Business Information Processing
- Call Number
- -
Nonlinear Mode Decomposition:Theory and Applications
This work introduces a new method for analysing measured signals: nonlinear mode decomposition, or NMD. It justifies NMD mathematically, demonstrates it in several applications and explains in detail how to use it in practice. Scientists often need to be able to analyse time series data that include a complex combination of oscillatory modes of differing origin, usually contaminated by random f…
- Edition
- 1
- ISBN/ISSN
- 978-3-319-20015-6
- Collation
- XXIII, 135
- Series Title
- Springer Theses
- Call Number
- -
C++ Recipes : A Problem-Solution Approach
C++ Recipes: A Problem-Solution Approach is a handy code cookbook reference guide that cover the latest C++ 14 as well as some of the code templates available in the latest Standard Template Library (STL). In this handy reference, you'll find numbers, strings, dates, times, classes, exceptions, streams, flows, pointers and more. Also, you'll see various code samples, templates for C++ algori…
- Edition
- -
- ISBN/ISSN
- -
- Collation
- -
- Series Title
- -
- Call Number
- 699
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography