Electronic Books

Total Books: 1 - 20 /29

Achievements in European Research on Grid Systems : CoreGRID Integration Workshop 2006 (Selected Papers)

Achievements in European Research on Grid Systems comprises the edited proceedings of the 2006 CoreGRID Integration Workshop ...

Applications and Theory of Petri Nets : 29th International Conference, PETRI NETS 2008, Xi’an, China, June 23-27, 2008. Proceedings

This book constitutes the refereed proceedings of the 29th International Conference on Applications and Theory of Petri Nets ...

Architecture of Computing Systems - ARCS 2008 : 21st International Conference, Dresden, Germany, February 25-28, 2008. Proceedings

This book constitutes the refereed proceedings of the 21st International Conference on Architecture of Computing Systems, ...

Computer Aided Verification : 20th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 2008 Proceedings

This book constitutes the refereed proceedings of the 20th International Conference on Computer Aided Verification, CAV 2008, ...

Coordination Models and Languages : 10th International Conference, COORDINATION 2008, Oslo, Norway, June 4-6, 2008. Proceedings

This book constitutes the refereed proceedings of the 10th International Conference on Coordination Models and Languages, ...

Cyber Security 17th China Annual Conference, CNCERT 2020, Beijing, China, August 12, 2020, Revised Selected Papers

This book constitutes the refereed proceedings of the 16th International Annual Conference on Cyber Security, CNCERT 2020, ...

Do-All Computing in Distributed Systems :Cooperation in the Presence of Adversity

Do-All Computing in Distributed Systems: Cooperation in the Presence of Adversity is the first book that presents an in depth ...

Elementary Logic :For Software Development

This book teaches readers how to better reason about software development, to communicate reasoning, to distinguish between ...

Embedded Computer Systems: Architectures, Modeling, and Simulation :8th International Workshop, SAMOS 2008, Samos, Greece, July 21-24, 2008. Proceedings

This book constitutes the refereed proceedings of the 8th International Workshop on Systems, Architectures, Modeling, and ...

Foundations of Software Science and Computation Structures : 25th International Conference, FOSSACS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings

This book constitutes the proceedings of the 25th International Conference on Foundations of Software Science and Computational ...

Fundamental Approaches to Software Engineering 23rd International Conference, FASE 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings

This book constitutes the proceedings of the 23rd International Conference on Fundamental Approaches to Software Engineering, ...

Fundamental Approaches to Software Engineering : 25th International Conference, FASE 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings

The papers deal with the foundations on which software engineering is built, including topics like software engineering as ...

Grid Computing : Achievements and Prospects : Achievements and Prospects

Grid Computing: Achievements and Prospects, the 9th edited volume of the CoreGRID series, includes selected papers from the ...

Job Scheduling Strategies for Parallel Processing :13th International Workshop, JSSPP 2007, Seattle, WA, USA, June 17, 2007. Revised Papers

This book constitutes the thoroughly refereed post-workshop proceedings of the 13th International Workshop on Job Scheduling ...

Model Driven Architecture - Foundations and Applications : 4th European Conference, ECMDA-FA 2008, Berlin, Germany, June 9-13, 2008. Proceedings

The 31 revised full papers presented - 21 research papers and 10 industry papers - were carefully reviewed and selected from ...

Networked RFID : Systems, Software and Services

The book begins with a quick introduction to RFID basics and then discusses the various elements of the topic, using applications ...

OpenMP in a New Era of Parallelism : 4th International Workshop, IWOMP 2008 West Lafayette, IN, USA, May 12-14, 2008 Proceedings

OpenMP is a widely accepted, standard application programming interface (API) for high-level shared-memory parallel programming ...

Parallel Problem Solving from Nature - PPSN X: 10th International Conference, Dortmund, Germany, September 13-17, 2008. Proceedings

This book constitutes the refereed proceedings of the 10th International Conference on Parallel Problem Solving from Nature, ...

Recent Advances in Parallel Virtual Machine and Message Passing Interface : 15th European PVM/MPI Users’ Group Meeting, Dublin, Ireland, September 7-10, 2008. Proceedings

This book is organized in topical sections on applications, collective operations, library internals, message passing for ...

Reconfigurable Computing: Architectures, Tools and Applications : 4th International Workshop, ARC 2008, London, UK, March 26-28, 2008. Proceedings

The idea of reconfigurable hardware systems has represented the Holy Grail for computer system designers.It has been recognized ...

Total Books: 1 - 20 /29