Electronic Books

Total Books: 41 - 54 /54
Languages and Compilers for Parallel Computing

The 19th Workshop on Languages and Compilers for Parallel Computing was heldinNovember2006inNewOrleans,LouisianaUSA.Morethan40researchers ...

Weiterlesen
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 ...

Weiterlesen
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 ...

Weiterlesen
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 ...

Weiterlesen
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 ...

Weiterlesen
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. ...

Weiterlesen
Refinement Techniques in Software Engineering

This tutorial book presents an augmented selection of the material presented at the First Pernambuco Summer School on Software ...

Weiterlesen
Reliable Software Technologies - Ada Europe 2007

Reliable Software Technologies is an annual series of international conferences devoted to the promotion and advancement ...

Weiterlesen
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 ...

Weiterlesen
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 ...

Weiterlesen
NoIMG
Sustainable 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 ...

Weiterlesen
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 ...

Weiterlesen
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. ...

Weiterlesen
Understanding Programming Languages

This book is about describing the meaning of programming languages. While a compiler or an interpreter offers a form of formal ...

Weiterlesen
Total Books: 41 - 54 /54