Electronic Books

High Performance Computing ¿ HiPC 2007

This book constitutes the refereed proceedings of the 14th International Conference on High-Performance Computing, HiPC 2007, ...

High Performance Computing – HiPC 2005

Contains the refereed proceedings of the 12th International Conference on High-Performance Computing. Beginning with the ...

High-Performance Computing : 6th International Symposium, ISHPC 2005, Nara, Japan, September 7-9, 2005, First International Workshop on Advanced Low Power Systems, ALPS 2006, Revised Selected Papers

This is the joint post-proceedings of the 6th International Symposium on High Performance Computing (ISHPC-VI) and the First ...

IP Network-based Multi-agent Systems for Industrial Automation

IP Network-based Multi-agent Systems for Industrial Automation is the first book to present an introduction to the use of ...

Implementing Distributed Systems with Java and CORBA

This book provides graduate students and practitioners with knowledge of the CORBA standard and practical experience of implementing ...

Innovative Internet Computing Systems

Integrated Formal Methods

One of the goals of IFM 2002 was to further investigate these themes. Moreover, IFM 2002 explored the relations between formal ...

Intelligent Data Engineering and Automated Learning - IDEAL 2007

This book constitutes the refereed proceedings of the 8th International Conference on Intelligent Data Engineering and Automated ...

Intelligent Technologies for Interactive Entertainment

Constitutes the proceedings of the First International Conference on Intelligent Technologies for Interactive Entertainment, ...

Interactive TV: a Shared Experience

This book constitutes the refereed proceedings of the 5th European Conference on Interactive Television, EuroITV 2007, held ...

Job Scheduling Strategies for Parallel Processing

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

Job Scheduling Strategies for Parallel Processing (vol. # 3277)

This volume contains the papers presented at the 10th Anniversary Workshop on Job Scheduling Strategies for Parallel Processing. ...

Job Scheduling Strategies for Parallel Processing (vol. # 3834)

Constitutes the refereed postproceedings of the 11th International Workshop on Job Scheduling Strategies for Parallel Processing, ...

Languages and Compilers for Parallel Computing

This book constitutes the thoroughly refereed post-proceedings of the 18th International Workshop on Languages and Compilers ...

Languages and Compilers for Parallel Computing

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

Languages and Compilers for Parallel Computing (vol. # 2481)

The 15th Workshop on Languages and Compilers for Parallel Computing was held in July 2002 at the University of Maryland, ...

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

Large Scale Management of Distributed Systems

th This volume presents the proceedings of the 17 IFIP/IEEE International Workshop on Distributed Systems: Operations and ...

Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles : 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part I

The three-volume set LNCS 12476 - 12478 constitutes the refereed proceedings of the 9th International Symposium on Leveraging ...

Logic for Programming, Artificial Intelligence, and Reasoning (vol. # 3835)

Constitutes the refereed proceedings of the 12th International Conference on Logic for Programming, Artificial Intelligence, ...