Filter by
Mathematics for Computer Science
This text explains how to use mathematical models and methods to analyze problems that arise in computer science. Proofs play a central role in this work because the authors share a belief with most mathematicians that proofs are essential for genuine understanding. Proofs also play a growing role in computer science; they are used to certify that software and hardware will always behave cor…
- Edition
- -
- ISBN/ISSN
- -
- Collation
- -
- Series Title
- -
- Call Number
- 510 LEH m
Econophysics and data driven modelling of market dynamics
This book presents the works and research findings of physicists, economists, mathematicians, statisticians, and financial engineers who have undertaken data-driven modelling of market dynamics and other empirical studies in the field of Econophysics. During recent decades, the financial market landscape has changed dramatically with the deregulation of markets and the growing complexity of pro…
- Edition
- -
- ISBN/ISSN
- 9783319084732
- Collation
- -
- Series Title
- -
- Call Number
- 519
Logic-Based Program Synthesis and Transformation: 24th International Symposiu…
This book constitutes the thoroughly refereed post-conference proceedings of the 24th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2014, held in Canterbury, UK, in September 2014. The 18 revised full papers presented together with 2 invited talks were carefully reviewed and selected from 34 submissions. The aim of the LOPSTR series is to stimulate and prom…
- Edition
- -
- ISBN/ISSN
- 978-3-319-17822-6
- Collation
- -
- Series Title
- -
- Call Number
- -
Logic-Based Program Synthesis and Transformation: 25th International Symposiu…
This book constitutes the thoroughly refereed post-conference proceedings of the 25th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2015, held in Siena, Italy, in July 2015. The 21 revised full papers presented together with 3 invited talks were carefully reviewed and selected from 30 submissions. The aim of the LOPSTR series is to stimulate and promote …
- Edition
- -
- ISBN/ISSN
- 978-3-319-27436-2
- Collation
- -
- Series Title
- -
- Call Number
- -
Logical Studies of Paraconsistent Reasoning in Science and Mathematics
This book covers work written by leading scholars from different schools within the research area of paraconsistency. The authors critically investigate how contemporary paraconsistent logics can be used to better understand human reasoning in science and mathematics. Offering a variety of perspectives, they shed a new light on the question of whether paraconsistent logics can function as the u…
- Edition
- -
- ISBN/ISSN
- 978-3-319-40220-8
- Collation
- -
- Series Title
- -
- Call Number
- -
Advances in Mathematical Modeling, Optimization and Optimal Control
This book contains extended, in-depth presentations of the plenary talks from the 16th French-German-Polish Conference on Optimization, held in Kraków, Poland in 2013. Each chapter in this book exhibits a comprehensive look at new theoretical and/or application-oriented results in mathematical modeling, optimization, and optimal control. Students and researchers involved in image processing, p…
- Edition
- Ed. 1
- ISBN/ISSN
- 978-3-319-30785-5
- Collation
- V, 201
- Series Title
- Springer Optimization and Its Applications
- Call Number
- 515.4 ADV a
Linear and Integer Programming Made Easy
This textbook provides concise coverage of the basics of linear and integer programming which, with megatrends toward optimization, machine learning, big data, etc., are becoming fundamental toolkits for data and information science and technology. The authors’ approach is accessible to students from almost all fields of engineering, including operations research, statistics, machine learning…
- Edition
- -
- ISBN/ISSN
- -
- Collation
- -
- Series Title
- -
- Call Number
- -
Advances in Fluid-Structure Interaction: Updated contributions reflecting new…
This book addresses flow separation within the context of fluid-structure interaction phenomena. Here, new findings from two research communities focusing on fluids and structures are brought together, emphasizing the importance of a unified multidisciplinary approach. The book covers the theory, experimental findings, numerical simulations, and modeling in fluid dynamics and structural mechan…
- Edition
- Ed. 1, Cet. 1
- ISBN/ISSN
- 978-3-319-27386-0
- Collation
- IX, 361
- Series Title
- Notes on Numerical Fluid Mechanics and Multidisciplinary Design
- Call Number
- 515 ADV a
Linear Fractional Diffusion-Wave Equation for Scientists and Engineers
This book systematically presents solutions to the linear time-fractional diffusion-wave equation. It introduces the integral transform technique and discusses the properties of the Mittag-Leffler, Wright, and Mainardi functions that appear in the solutions. The time-nonlocal dependence between the flux and the gradient of the transported quantity with the “long-tail” power kernel results i…
- Edition
- -
- ISBN/ISSN
- 978-3-319-17954-4
- Collation
- -
- Series Title
- -
- Call Number
- -
Advances in Dynamical Systems and Control
Focused on recent advances, this book covers theoretical foundations as well as various applications. It presents modern mathematical modeling approaches to the qualitative and numerical analysis of solutions for complex engineering problems in physics, mechanics, biochemistry, geophysics, biology and climatology. Contributions by an international team of respected authors bridge the gap betwee…
- Edition
- Ed. 1
- ISBN/ISSN
- 978-3-319-40673-2
- Collation
- XXII, 471
- Series Title
- Studies in Systems, Decision and Control
- Call Number
- 530.15
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography