Electronic Books

Total Books: 301 - 318 /318

Transactions on Aspect-Oriented Software Development II

This volume, the second in the Transactions on Aspect-Oriented Software Development series, presents 2 regular revised papers, ...

Transactions on Aspect-Oriented Software Development III

This volume, the third in the Transactions on Aspect-Oriented Software Development series, presents 6 revised papers together ...

Transactions on Aspect-Oriented Software Development IV

This volume, the fourth in the Transactions on Aspect-Oriented Software Development series, presents 5 revised papers together ...

Trustworthy Global Computing

Constitutes the post-proceedings of the International Symposium on Trustworthy Global Computing. This book covers issues, ...

UML Modeling Languages and Applications

This volume is a compilation of the contributions presented at these satellite events. Workshops at UML 2004 took place during ...

UbiComp 2005: Ubiquitous Computing

Constitutes the refereed proceedings of the 7th International Conference on Ubiquitous Computing, UbiComp 2005, held in Japan ...

UbiComp 2006: Ubiquitous Computing

This book constitutes the refereed proceedings of the 8th International Conference on Ubiquitous Computing, UbiComp 2006. ...

Ubiquitous Computing Systems

UCS has become a symposium for the dissemination of state-of-the-art research and engineering practices in ubiquitous computing ...

Ubiquitous Computing Systems (vol. # 3598)

This book is a collection of papers presented at UCS 2004, held on November 8-9 in Tokyo. The submitted papers presented ...

Ubiquitous Computing Systems (vol. # 4239)

This book constitutes the refereed proceedings of the proceedings of the 2006 International Symposium on Ubiquitous Computing ...

Ubiquitous Intelligence and Computing

This book constitutes the refereed proceedings of the 4th International Conference on Ubiquitous Intelligence and Computing ...

Unfoldings : A Partial-Order Approach to Model Checking

In this book the authors introduce unfoldings, an approach to model checking which alleviates the state explosion problem ...

Verified Software: Theories, Tools, Experiments : First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions

The book includes a general introduction to the area, which also presents the vision of a grand challenge project: the "verifying ...

WALCOM: Algorithms and Computation : Second International Workshop, WALCOM 2008, Dhaka, Bangladesh, February 7-8, 2008. Proceedings

This book features original research in the areas of algorithms and data structures, combinatorial algorithms, graph drawings ...

Web Information Systems - WISE 2006 Workshops

This book constitutes the joint refereed proceedings of the three workshops held in conjunction with the 7th International ...

Web Information Systems Engineering – WISE 2007 Workshops

This book constitutes the joint refereed proceedings of six workshops held in conjunction with the 8th International Conference ...

Workflows for e-Science

Workflows for e-Science presents an overview of the current state of the art in the field. It brings together research from ...

e-Business and Telecommunication Networks

This book contains the best papers of the First International Conference on e-Business and Telecommunication Networks (ICETE ...

Total Books: 301 - 318 /318