Filter by
Data and applications security and privacy XXIX
This book constitutes the refereed proceedings of the 29th Annual IFIP WG 11.3 International Working Conference on Data and Applications Security and Privacy, DBSec 2015, held in Fairfax, VA, USA, in July 2015. The 18 revised full papers and 6 short papers presented were carefully reviewed and selected from 45 submissions. The papers are organized in the following topical sections: data anonymi…
- Edition
- -
- ISBN/ISSN
- 9783319208107
- Collation
- xi, 364 pages
- Series Title
- -
- Call Number
- 005.8
Data-driven optimization and knowledge discovery for an enterprise informatio…
This book provides a comprehensive set of optimization and prediction techniques for an enterprise information system. Readers with a background in operations research, system engineering, statistics, or data analytics can use this book as a reference to derive insight from data and use this knowledge as guidance for production management. The authors identify the key challenges in enterprise i…
- Edition
- -
- ISBN/ISSN
- 9783319187389
- Collation
- xii, 160 pages
- Series Title
- -
- Call Number
- 338.7
Data-driven process discovery and analysis
This book constitutes the thoroughly refereed proceedings of the Fourth International Symposium on Data-Driven Process Discovery and Analysis held in Riva del Milan, Italy, in November 2014. The five revised full papers were carefully selected from 21 submissions. Following the event, authors were given the opportunity to improve their papers with the insights they gained from the symposium. Du…
- Edition
- -
- ISBN/ISSN
- 9783319272436
- Collation
- viii, 123 pages
- Series Title
- -
- Call Number
- 338.71
21st Century Guidebook to Fungi
The mysterious world of fungi is once again unearthed in this expansive second edition. This textbook provides readers with an all-embracing view of the kingdom fungi, ranging in scope from ecology and evolution, diversity and taxonomy, cell biology and biochemistry, to genetics and genomics, biotechnology and bioinformatics. Adopting a unique systems biology approach - and using explanatory fi…
- Edition
- -
- ISBN/ISSN
- 9781108776387
- Collation
- -
- Series Title
- -
- Call Number
- -
Data-driven modelling of structured populations : a practical guide to the in…
This book is a "How To" guide for modeling population dynamics using Integral Projection Models (IPM) starting from observational data. It is written by a leading research team in this area and includes code in the R language (in the text and online) to carry out all computations. The intended audience are ecologists, evolutionary biologists, and mathematical biologists interested in developing…
- Edition
- -
- ISBN/ISSN
- 9783319288932
- Collation
- xiii, 329 pages
- Series Title
- -
- Call Number
- 591.788
Formal Modeling and Verification of Cyber-Physical Systems
This book presents the lecture notes of the 1st Summer School on Methods and Tools for the Design of Digital Systems, 2015, held in Bremen, Germany. The topic of the summer school was devoted to modeling and verification of cyber-physical systems. This covers several aspects of the field, including hybrid systems and model checking, as well as applications in robotics and aerospace systems. …
- Edition
- -
- ISBN/ISSN
- 9783658099947
- Collation
- X, 313 pages
- Series Title
- -
- Call Number
- -
Database systems for advanced applications
This two volume set LNCS 9049 and LNCS 9050 constitutes the refereed proceedings of the 20th International Conference on Database Systems for Advanced Applications, DASFAA 2015, held in Hanoi, Vietnam, in April 2015. The 63 full papers presented were carefully reviewed and selected from a total of 287 submissions. The papers cover the following topics: data mining; data streams and time series;…
- Edition
- -
- ISBN/ISSN
- 9783319181202
- Collation
- xxii, 643 pages
- Series Title
- -
- Call Number
- 328
Formal Modeling and Analysis of Timed Systems
This book constitutes the refereed proceedings of the 13th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2015, held in Madrid, Spain, in September 2015. The conference was organized under the umbrella of Madrid Meet 2015, a one week event focussing on the areas of formal and quantitative analysis of systems, performance engineering, computer safety, and i…
- Edition
- -
- ISBN/ISSN
- 9783319229751
- Collation
- X, 321 pages
- Series Title
- Lecture Notes in Computer Science
- Call Number
- -
Formal Methods: Foundations and Applications
This book constitutes the thoroughly refereed post-conference proceedings of the 17th Brazilian Symposium on Formal Methods, SBMF 2014, held in Maceió, Brazil, in September/October 2014. The 9 revised full papers presented together with 2 invited talks were carefully reviewed and selected from 34 submissions. SBMF is an event devoted to the dissemination of the development and use of formal…
- Edition
- -
- ISBN/ISSN
- 9783319150758
- Collation
- IX, 179 hlm
- Series Title
- Lecture Notes in Computer Science
- Call Number
- -
Database systems for advanced applications
This two volume set LNCS 9049 and LNCS 9050 constitutes the refereed proceedings of the 20th International Conference on Database Systems for Advanced Applications, DASFAA 2015, held in Hanoi, Vietnam, in April 2015. The 63 full papers presented were carefully reviewed and selected from a total of 287 submissions. The papers cover the following topics: data mining; data streams and time series;…
- Edition
- -
- ISBN/ISSN
- 9783319181202
- Collation
- xxii, 643 pages
- Series Title
- -
- Call Number
- 328
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography