Filter by
Transactional Memory. Foundations, Algorithms, Tools, and Applications COST …
The advent of multi-core architectures and cloud-computing has brought parallel programming into the mainstream of software development. Unfortunately, writing scalable parallel programs using traditional lock-based synchronization primitives is well known to be a hard, time consuming and error-prone task, mastered by only a minority of specialized programmers. Building on the familiar abstract…
- Edition
- -
- ISBN/ISSN
- 978-3-319-14720-8
- Collation
- -
- Series Title
- -
- Call Number
- -
The invasion of the Dutch East Indies
Between 1966 and 1980, the War History Office of the National Defense College of Japan published the 102-volume Senshi Sōsho (War History Series). These volumes give a detailed account of the operations of the Imperial Japanese Army and the Imperial Japanese Navy during the Second World War. This book, vol. 3 of the series, describes in depth the campaign to gain control over the Indonesian ar…
- Edition
- -
- ISBN/ISSN
- 9789400602298
- Collation
- -
- Series Title
- -
- Call Number
- -
The Frontier of Patriotism Alberta and the First World War
With the centenary of the First World War, communities across Canada arranged commemorations of the war experience to honour local servicemen who, through their triumphs and sacrifices, were presented as laying the foundation for a free and independent country. Often overlooked are the triumphs and sacrifices of those who supported those soldiers, and the war effort in general, back at home. Th…
- Edition
- -
- ISBN/ISSN
- 9781552388358
- Collation
- -
- Series Title
- -
- Call Number
- -
Central European Functional Programming School
This volume presents the revised lecture notes of selected talks given at the Fifth Central European Functional Programming School, CEFP 2013, held in July 2013 in Cluj-Napoca, Romania. The 14 revised full papers presented were carefully reviewed and selected. The lectures cover a wide range of distributed and multicore functional programming subjects. The last 5 papers are selected papers of t…
- Edition
- -
- ISBN/ISSN
- 978-3-319-15940-9
- Collation
- -
- Series Title
- -
- Call Number
- 005.1
Dag Prawitz on Proofs and Meaning
This volume is dedicated to Prof. Dag Prawitz and his outstanding contributions to philosophical and mathematical logic. Prawitz's eminent contributions to structural proof theory, or general proof theory, as he calls it, and inference-based meaning theories have been extremely influential in the development of modern proof theory and anti-realistic semantics. In particular, Prawitz is the main…
- Edition
- -
- ISBN/ISSN
- 9783319110417
- Collation
- -
- Series Title
- -
- Call Number
- 005.1
Tools and Algorithms for the Construction and Analysis of Systems 21st Inter…
This book constitutes the proceedings of the 21st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2015, which took place in London, UK, in April 2015, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015. The 45 papers included in this volume, consisting of 27 research papers, 2 case-study papers, 7 regular…
- Edition
- -
- ISBN/ISSN
- 978-3-662-46681-0
- Collation
- -
- Series Title
- -
- Call Number
- -
Data Management in Pervasive Systems
The goal of this book is to provide a systematic description of the various research issues related to the management of information in pervasive systems, illustrating the state of the art in this area. Accordingly, it both outlines the foundations and basic technologies and presents more advanced aspects, making it suitable for self-contained graduate courses or seminars on pervasive data mana…
- Edition
- -
- ISBN/ISSN
- 9783319200620
- Collation
- xxii, 366 pages
- Series Title
- -
- Call Number
- 004
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
- -
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography