Filter by
Theory and Applications of Satisfiability Testing -- SAT 2015 18th Internati…
This book constitutes the refereed proceedings of the 18th International Conference on Theory and Applications of Satisfiability Testing, SAT 2015, held in Austin, TX, USA, in September 2015. The 21 regular papers, 2 short papers and 7 tool papers presented together with 3 invited talks were carefully reviewed and selected from 70 submissions. The papers address different aspects of SAT, includ…
- Edition
- -
- ISBN/ISSN
- 978-3-319-24318-4
- Collation
- 94 illustrations in colour
- Series Title
- -
- Call Number
- -
Theory and Applications of Models of Computation
This book constitutes the refereed proceedings of the 12th Annual Conference on Theory and Applications of Models of Computation, TAMC 2014, held in Singapore, in May 2015. The 35 revised full papers presented were carefully reviewed and selected from 78 submissions. The papers treat all topics relating to the theory and applications of models computation, for example recursion theory and mathe…
- Edition
- -
- ISBN/ISSN
- 978-3-319-17142-5
- Collation
- 83 b/w illustrations
- Series Title
- -
- Call Number
- -
New Ecoinformatics Tools in Environmental Science:Applications and Decision-m…
This book provides new insights on the study of global environmental changes using the ecoinformatics tools and the adaptive-evolutionary technology of geoinformation monitoring. The main advantage of this book is that it gathers and presents extensive interdisciplinary expertise in the parameterization of global biogeochemical cycles and other environmental processes in the context of globaliz…
- Edition
- 1
- ISBN/ISSN
- 978-3-319-13977-7
- Collation
- XXXIII, 903
- Series Title
- Environmental Earth Sciences
- Call Number
- -
Encyclopedia of Applied and Computational Mathematics
EACM is a comprehensive reference work covering the vast field of applied and computational mathematics. Applied mathematics itself accounts for at least 60 per cent of mathematics, and the emphasis on computation reflects the current and constantly growing importance of computational methods in all areas of applications. EACM emphasizes the strong links of applied mathematics with major areas …
- Edition
- -
- ISBN/ISSN
- 978-3-540-70529-1
- Collation
- in 2 volumes, not available separately
- Series Title
- -
- Call Number
- -
Modern Methodology and Applications in Spatial-Temporal Modeling
This book provides a modern introductory tutorial on specialized methodological and applied aspects of spatial and temporal modeling. The areas covered involve a range of topics which reflect the diversity of this domain of research across a number of quantitative disciplines. For instance, the first chapter deals with non-parametric Bayesian inference via a recently developed framework known a…
- Edition
- 1
- ISBN/ISSN
- 978-4-431-55338-0
- Collation
- XV, 111
- Series Title
- SpringerBriefs in Statistics
- Call Number
- -
The Scrum Culture
This book is a guide for managers, Scrum Masters and agile coaches who are interested in agile organizational methods and who are planning to introduce Scrum at their own company. Scrum is not only a product development framework but can also be used to structure activities for agile and lean organizational development. Divided into five major parts, the book first introduces and defines t…
- Edition
- -
- ISBN/ISSN
- 978-3-319-11827-7
- Collation
- -
- Series Title
- -
- Call Number
- -
The Scrum Culture Introducing Agile Methods in Organizations
This book is a guide for managers, Scrum Masters and agile coaches who are interested in agile organizational methods and who are planning to introduce Scrum at their own company. Scrum is not only a product development framework but can also be used to structure activities for agile and lean organizational development. Divided into five major parts, the book first introduces and defines t…
- Edition
- -
- ISBN/ISSN
- 978-3-319-11827-7
- Collation
- -
- Series Title
- -
- Call Number
- -
Model-Free Prediction and Regression
The Model-Free Prediction Principle expounded upon in this monograph is based on the simple notion of transforming a complex dataset to one that is easier to work with, e.g., i.i.d. or Gaussian. As such, it restores the emphasis on observable quantities, i.e., current and future data, as opposed to unobservable model parameters and estimates thereof, and yields optimal predictors in diverse set…
- Edition
- 1
- ISBN/ISSN
- 978-3-319-21346-0
- Collation
- XVII, 246
- Series Title
- Frontiers in Probability and the Statistical Sciences
- Call Number
- -
Electronic Government 14th IFIP WG 8.5 International Conference, EGOV 2015, …
This book constitutes the refereed proceedings of the 14th IFIP WG 8.5 International Conference on Electronic Government, EGOV 2015, held in Thessaloniki, Greece, in August/September 2015 in conjunction with the 7th International Conference on eParticipation, ePart 2015. The 25 revised full papers presented were carefully reviewed and selected from 53 submissions. The papers have been organized…
- Edition
- 1
- ISBN/ISSN
- 978-3-319-22479-4
- Collation
- 37 b/w illustrations
- Series Title
- -
- Call Number
- -
A Quick Guide to Software Licensing for the Scientist-Programmer
Computing is ubiquitous in every domain of scientific research. Software is the means by which scientists harness the power of computers, and much scientific computing relies on software conceived and developed by other practicing researchers. The task of creating scientific software, however, does not end with the publication of computed results. Making the developed software available for ins…
- Edition
- -
- 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