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
- -
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
- -
1867 Disraeli, Gladstone and Revolution: The Passing of the Second Reform Bill
The passage of the Reform Bill of 1867 is one of the major problems in nineteenth-century British history. Mr Cowling provides a full-scale explanation, based on a wide range of archive material, including four major manuscript collections not previously used. Mr Cowling pays equal attention to the view taken by Parliament of the class structure and to the ambitions and strategies of politician…
- Edition
- -
- ISBN/ISSN
- 9780511560477
- Collation
- -
- Series Title
- -
- 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
- -
1914–1918: An Anatomy of Global Conflict
This book is a history of the First World War told from the anthropological perspective. It is the story of its individual participants - soldiers, civilians, women. It looks at the war in terms of its everyday life, its economic affairs, migrations, invasions and military occupation, the role of its civilian infrastructure, and the impact of the national question; and it provides a clinical an…
- Edition
- -
- ISBN/ISSN
- 9788323390442
- 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