Filter by
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
- -
1819 & Before: Singapore's Pasts
This important book reflects the challenges and questions currently foremost in scholars', activists' and policy-makers' minds—the Anthropocene, environmental justice, China's Belt and Road Initiative, and post-politics—all addressed through the lens of environmental movements in Asia.—Jonathan Rigg, Professor at the School of Geographical Sciences, University of Bristol
- Edition
- -
- ISBN/ISSN
- 9789814951425
- Collation
- -
- Series Title
- -
- 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
- -
1-2 Corinthians
This commentary explains 1 and 2 Corinthians passage by passage, following Paul's argument. It uses a variety of ancient sources to show how Paul's argument would have made sense to first-century readers, drawing from ancient letter-writing, speaking, and social conventions. The commentary will be of interest to pastors, teachers, and others who read Paul's letters because of its readability, f…
- Edition
- -
- ISBN/ISSN
- 9780511802980
- Collation
- -
- Series Title
- -
- Call Number
- -
1,000 Practice MTF MCQs for the Primary and Final FRCA
Written for anaesthesia trainees, this comprehensive text covers all the MCQ preparation required for both the Primary and Final FRCA exams. Broken down into five sections, there are 150 questions for each of the physics, pharmacology, anatomy, and physiology sections, and a fifth section of 400 questions covering clinical anaesthesia. The first four sections of 150 questions match the Primary …
- Edition
- -
- ISBN/ISSN
- 9781108566100
- Collation
- -
- Series Title
- -
- 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
- -
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography