Electronic Books

Holonic and Multi-Agent Systems for Manufacturing

The research of holonic and agent-based systems is developing rapidly, as is the community around this R&D topic. Despite ...

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

Information and Communications Security (vol. # 4307)

It is our great pleasure to welcome you to the Eighth International Conference on Information and Communications Security ...

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 Data Engineering and Automated Learning - IDEAL 2008 : 9th International Conference Daejeon, South Korea, November 2-5, 2008 Proceedings

This book constitutes the refereed proceedings of the 9th 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 ...

Introducing Blockchain Applications : Understand and Develop Blockchain Applications Through Distributed Systems / Joseph Thachil George

Deepen your understanding of blockchain technology and develop your own blockchain applications. This book provides a thorough ...

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