Filter by
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
- -
Formal Methods for Multicore Programming
This book presents 5 tutorial lectures given by leading researchers at the 15th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2015, held in Bertinoro, Italy, in June 2015. SFM 2015 was devoted to multicore programming and covered topics such as concurrency and coordination mechanisms, architecture and memory models and …
- Edition
- -
- ISBN/ISSN
- 9783319189413
- Collation
- VII, 211 hlm.
- Series Title
- Lecture Notes in Computer Science
- Call Number
- -
Formal Methods and Software Engineering
This book constitutes the refereed proceedings of the 17th International Conference on Formal Engineering Methods, ICFEM 2015, held in Paris, France, in November 2015. The 27 revised full papers presented were carefully reviewed and selected from 82 submissions. The papers cover a wide range of topics in the area of formal methods and software engineering and are devoted to advancing the state …
- Edition
- -
- ISBN/ISSN
- 9783319254234
- Collation
- XXV, 436 hlm.
- Series Title
- Lecture Notes in Computer Science
- Call Number
- -
Formal Aspects of Component Software
This book constitutes revised selected papers from the International Symposium on Formal Aspects of Component Software, FACS 2014, held in Bertinoro, Italy, in September 2014. The 20 full papers presented in this volume were carefully reviewed and selected from 44 submissions. They are organized in topical sections named: compositional approaches; adaptation and evolution; application and ex…
- Edition
- -
- ISBN/ISSN
- 9783319153179
- Collation
- X, 385 hlm.
- Series Title
- Lecture Notes in Computer Science
- Call Number
- -
Therapeutic Perspectives in Type-1 Diabetes
This book provides critical insights into and appraisals of recent breakthroughs in type 1 diabetes modulation, with a particular emphasis on the potential impact of current prevention and treatment strategies. It also discusses recent successes and failures in clinical trials. Presenting an comprehensive overview of the disease, it is especially useful for newcomers in the field. It also inclu…
- Edition
- -
- ISBN/ISSN
- 978-981-10-0602-9
- Collation
- -
- Series Title
- -
- Call Number
- -
Forensic Geotechnical Engineering
In this edited volume on advances in forensic geotechnical engineering, a number of technical contributions by experts and professionals in this area are included. The work is the outcome of deliberations at various conferences in the area conducted by Prof. G.L. Sivakumar Babu and Dr. V.V.S. Rao as secretary and Chairman of Technical Committee on Forensic Geotechnical Engineering of Internatio…
- Edition
- -
- ISBN/ISSN
- 978-81-322-2377-1
- Collation
- XVI, 552 hlm.
- Series Title
- Developments in Geotechnical Engineering
- Call Number
- -
Food Waste and Sustainable Food Waste Management in the Baltic Sea Region
This work presents the findings of an extensive study on the state-of-the-art regarding the problem of food waste in Belarus, Estonia, Germany, Latvia, Lithuania, Poland and Sweden. The results show that the problem of food waste can be found at different levels in each country and that our knowledge of it is limited by the current lack of studies in the area. The problem is primarily due to fo…
- Edition
- -
- ISBN/ISSN
- 978-3-319-10906-0
- Collation
- XII, 222 hlm.
- Series Title
- Environmental Science and Engineering
- Call Number
- -
Theory of Affine Projection Algorithms for Adaptive Filtering
This book focuses on theoretical aspects of the affine projection algorithm (APA) for adaptive filtering. The APA is a natural generalization of the classical, normalized least-mean-squares (NLMS) algorithm. The book first explains how the APA evolved from the NLMS algorithm, where an affine projection view is emphasized. By looking at those adaptation algorithms from such a geometrical point o…
- Edition
- -
- ISBN/ISSN
- 978-4-431-55738-8
- Collation
- -
- Series Title
- -
- Call Number
- -
Theory and Practice of Natural Computing Fourth International Conference, TP…
This book constitutes the refereed proceedings of the 4th International Conference on Theory and Practice of Natural Computing, TPNC 2015, held in Mieres, Spain, in December 2015. The 12 revised full papers presented together with 20 invited talks in this book were carefully reviewed and selected from 30 submissions. The scope of TPNC is rather broad, containing topics of either theoretical,…
- Edition
- -
- ISBN/ISSN
- 978-3-319-26841-5
- Collation
- -
- Series Title
- -
- Call Number
- -
Fluid-Structure-Sound Interactions and Control: Proceedings of the 3rd Sympos…
These proceedings primarily focus on advances in the theory, experiments, and numerical simulations of turbulence in the contexts of flow-induced vibration and noise, as well as their control. Fluid-related structural vibration and noise problems are often encountered in many engineering fields, increasingly making them a cause for concern. The FSSIC conference, held on 5-9 July 2015 in Perth, …
- Edition
- -
- ISBN/ISSN
- 978-3-662-48868-3
- Collation
- XIV, 446 hlm.
- Series Title
- Lecture Notes in Mechanical Engineering
- Call Number
- -
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography