Filter by
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
Advances in Discretization Methods: Discontinuities, Virtual Elements, Fictit…
This book gathers selected contributions on emerging research work presented at the International Conference eXtended Discretization MethodS (X-DMS), held in Ferrara in September 2015. It highlights the most relevant advances made at the international level in the context of expanding classical discretization methods, like finite elements, to the numerical analysis of a variety of physical prob…
- Edition
- Ed. 1
- ISBN/ISSN
- 978-3-319-41246-7
- Collation
- VIII, 269
- Series Title
- SEMA SIMAI Springer Series
- Call Number
- 518.1 ADV a
Advances in Cryptology – ASIACRYPT 2015: 21st International Conference on t…
The two-volume set LNCS 9452 and 9453 constitutes the refereed proceedings of the 21st International Conference on the Theory and Applications of Cryptology and Information Security, ASIACRYPT 2015, held in Auckland, New Zealand, in November/December 2015. The 64 revised full papers and 3 invited talks presented were carefully selected from 251 submissions. They are organized in topical sect…
- Edition
- Ed. 1
- ISBN/ISSN
- 978-3-662-48800-3
- Collation
- XXV, 802
- Series Title
- Lecture Notes in Computer Science
- Call Number
- 518.1
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography