Filter by
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
100 Poems: Old and New
Rudyard Kipling (1865–1936), winner of the 1907 Nobel Prize for Literature and author of one of the most popular poems in the English language, 'If–', has long captured the interest of poetry lovers. Here, Thomas Pinney brings together a selection of well-established favourites and the best of the previously uncollected and unpublished poems from The Cambridge Edition of the Poems of Rudyar…
- Edition
- -
- ISBN/ISSN
- 9781107279513
- Collation
- -
- Series Title
- -
- 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 for Industrial Critical Systems
This book constitutes the proceedings of the 20th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2015, Oslo, Norway, in June 2015. The 12 papers presented in this volume were carefully reviewed and selected from 20 submissions. They are organized in topical sections: applications; protocols; specification and analysis; verification.
- Edition
- -
- ISBN/ISSN
- 9783319194585
- Collation
- XVI, 213 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
- -
Databases theory and applications
This book constitutes the refereed proceedings of the 26th Australasian Database Conference, ADC 2015, held in Melbourne, VIC, Australia, in June 2015. The 24 full papers presented together with 5 demo papers were carefully reviewed and selected from 43 submissions. The Australasian Database Conference is an annual international forum for sharing the latest research advancements and novel appli…
- Edition
- -
- ISBN/ISSN
- 9783319195483
- Collation
- xxv, 334 pages
- Series Title
- -
- Call Number
- 328
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
- -
Forgiveness and Health
This volume collects the state-of-the-art research on forgiveness and mental and physical health and well-being. It focuses specifically on connections between forgiveness and its health and well-being benefits. Forgiveness has been examined from a variety of perspectives, including the moral, ethical and philosophical. Ways in which to become more forgiving and evolutionary theories of revenge…
- Edition
- -
- ISBN/ISSN
- 9789401799935
- Collation
- X, 306 hlm.
- Series Title
- -
- Call Number
- -
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography