Filter by
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
- -
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 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
Advances in Cryptology -- ASIACRYPT 2015: 21st International Conference on th…
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-48797-6
- Collation
- XXV, 810
- Series Title
- Lecture Notes in Computer Science
- Call Number
- 518.1
Advances in Complex Data Modeling and Computational Methods in Statistics
The book is addressed to statisticians working at the forefront of the statistical analysis of complex and high dimensional data and offers a wide variety of statistical models, computer intensive methods and applications: network inference from the analysis of high dimensional data; new developments for bootstrapping complex data; regression analysis for measuring the downsize reputational ris…
- Edition
- Ed. 1
- ISBN/ISSN
- 978-3-319-11149-0
- Collation
- VIII, 209
- Series Title
- Contributions to Statistics
- Call Number
- 519.5 ADV a
Advances in Architectural Geometry 2014
This book contains 24 technical papers presented at the fourth edition of the Advances in Architectural Geometry conference, AAG 2014, held in London, England, September 2014. It offers engineers, mathematicians, designers, and contractors insight into the efficient design, analysis, and manufacture of complex shapes, which will help open up new horizons for architecture. The book examines g…
- Edition
- Ed. 1
- ISBN/ISSN
- 978-3-319-11418-7
- Collation
- IX, 385
- Series Title
- -
- Call Number
- 511.8 ADV a
Experimental Design Research
This book presents a new, multidisciplinary perspective on and paradigm for integrative experimental design research. It addresses various perspectives on methods, analysis and overall research approach, and how they can be synthesized to advance understanding of design. It explores the foundations of experimental approaches and their utility in this domain, and brings together analytical appro…
- Edition
- -
- ISBN/ISSN
- 978-3-319-33781-4
- Collation
- 26 b/w illustrations, 43 illustrations in colour
- Series Title
- -
- Call Number
- -
Experimental Algorithms 14th International Symposium, SEA 2015, Paris, Franc…
This book constitutes the refereed proceedings of the 14th International Symposium on Experimental Algorithms, SEA 2015, held in Paris, France, in June/July 2015. The 30 revised full papers presented were carefully reviewed and selected from 76 submissions. The main theme of the symposium is the role of experimentation and of algorithm engineering techniques in the design and evaluation of a…
- Edition
- -
- ISBN/ISSN
- 978-3-319-20086-6
- Collation
- 80 b/w illustrations
- Series Title
- -
- Call Number
- -
Precalculus
Published by OpenStax College, Precalculus is intended for college-level precalculus students. Since precalculus courses vary from one institution to the next, we have attempted to meet the needs of as broad an audience as possible, including all of the content that might be covered in any particular course. The result is a comprehensive book that covers more ground than an instructor could lik…
- Edition
- 1
- ISBN/ISSN
- -
- Collation
- -
- Series Title
- -
- Call Number
- -
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography