Languages and Compilers for Parallel Computing
The 19th Workshop on Languages and Compilers for Parallel Computing was heldinNovember2006inNewOrleans,LouisianaUSA.Morethan40researchers ...
Lire la suite
Languages and Compilers for Parallel Computing : 20th International Workshop, LCPC 2007, Urbana, IL, USA, October 11-13, 2007, Revised Selected Papers
This book constitutes the thoroughly refereed post-conference proceedings of the 20th International Workshop on Languages ...
Lire la suite
Languages and Compilers for Parallel Computing : 21th International Workshop, LCPC 2008, Edmonton, Canada, July 31 - August 2, 2008, Revised Selected Papers
This book constitutes the thoroughly refereed post-conference proceedings of the 21th International Workshop on Languages ...
Lire la suite
Pro TBB : C++ Parallel Programming with Threading Building Blocks
This book is a modern guide for all C++ programmers to learn Intel Threading Building Blocks (TBB).this book reflects their ...
Lire la suite
Programming Languages and Systems 30th European Symposium on Programming, ESOP 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings
This book constitutes the proceedings of the 30th European Symposium on Programming, ESOP 2021, which was held during March ...
Lire la suite
Programming Languages and Systems : 6th Asian Symposium, APLAS 2008, Bangalore, India, December 9-11, 2008. Proceedings
The symposium is devoted to all topics ranging from foundational to practical issues in programming languages and systems. ...
Lire la suite
Refinement Techniques in Software Engineering
This tutorial book presents an augmented selection of the material presented at the First Pernambuco Summer School on Software ...
Lire la suite
Reliable Software Technologies - Ada Europe 2007
Reliable Software Technologies is an annual series of international conferences devoted to the promotion and advancement ...
Lire la suite
Reliable Software Technologies - Ada-Europe 2008 : 13th Ada-Europe International Conference on Reliable Software Technologies, Venice, Italy, June 16-20, 2008. Proceedings
This book covers topics ranging from formal verification to real-time systems via concurrency, embedded systems, language ...
Lire la suite
Software-Intensive Systems and New Computing Paradigms : Challenges and Visions
The objective was to imagine the landscape in which next generations of software-intensive systems will operate and the challenges ...
Lire la suiteSustainable Construction in the Era of the Fourth Industrial Revolution / Ayodeji Emmanuel Oke, Clinton Aigbavboa, Seyi S. Stephen, Wellington Didibhuku Thwala
Provides readers with an understanding of various concepts, benefits, and practices that the adoption of Fourth Industrial ...
Lire la suite
The Bitcoin Dilemma : Weighing the Economic and Environmental Costs and Benefits / Colin L. Read
The potential for banking, transacting, and public recording of important records is profound, but can be displacing if not ...
Lire la suite
The Stability and Growth Pact
The call for a reform got momentum since many Member States of the euro area broke the regulations of the pact at least once. ...
Lire la suite
Understanding Programming Languages
This book is about describing the meaning of programming languages. While a compiler or an interpreter offers a form of formal ...
Lire la suite
