Languages and Compilers for Parallel Computing
The 19th Workshop on Languages and Compilers for Parallel Computing was heldinNovember2006inNewOrleans,LouisianaUSA.Morethan40researchers ...
Lee mas
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 ...
Lee mas
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 ...
Lee mas
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 ...
Lee mas
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 ...
Lee mas
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. ...
Lee mas
Refinement Techniques in Software Engineering
This tutorial book presents an augmented selection of the material presented at the First Pernambuco Summer School on Software ...
Lee mas
Reliable Software Technologies - Ada Europe 2007
Reliable Software Technologies is an annual series of international conferences devoted to the promotion and advancement ...
Lee mas
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 ...
Lee mas
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 ...
Lee masSustainable 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 ...
Lee mas
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 ...
Lee mas
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. ...
Lee mas
Understanding Programming Languages
This book is about describing the meaning of programming languages. While a compiler or an interpreter offers a form of formal ...
Lee mas
