Electronic Books

Total Books: 1 - 20 /26

Architecting Systems with Trustworthy Components

This book constitutes the thoroughly refereed post-proceedings of the International Dagstuhl-Seminar on Architecting Systems ...

Automated Technology for Verification and Analysis

This book presented theoretical methods to achieve correct software or hardware systems, including both functional and non ...

Automated Technology for Verification and Analysis

This book presented theoretical methods to achieve correct software or hardware systems, including both functional and non ...

Automated Technology for Vertification and Analysis

The Automated Technology for Veri?cation and Analysis (ATVA) international symposium series was initiated in 2003, The main ...

Computer Performance Engineering : 5th European Performance Engineering Workshop, EPEW 2008, Palma de Mallorca, Spain, September 24-25, 2008. Proceedings

This book constitutes the proceedings of the Fifth European Performance Engineering Workshop, EPEW 2008, held in Palma de ...

Embedded Computer Systems: Architectures, Modeling, and Simulation

The book is unique in the sense that not only solved research problems are presented and discussed but also (partly) unsolved ...

Embedded Computer Systems: Architectures, Modeling, and Simulation

The book is unique in the sense that not only solved research problems are presented and discussed but also (partly) unsolved ...

Embedded Computer Systems: Architectures, Modeling, and Simulation (vol. # 4017)

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

Embedded Software and Systems (vol. # 3605)

Welcome to the post proceedings of the First International Conference on Embedded Software and Systems (ICESS 2004), which ...

Formal Methods for Computational Systems Biology : 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008 Bertinoro, Italy, June 2-7, 2008 Advanced Lectures

This volume presents the set of papers accompanying the lectures of the eighth International School on Formal Methods for ...

Formal Methods for Mobile Computing

This book presents 8 tutorial survey papers by leading researchers who lectured at the 5th International School on Formal ...

Formal Methods for Performance Evaluation

This book presents a set of 11 papers accompanying the lectures of leading researchers given at the 7th edition of the International ...

Foundations of Multi-Paradigm Modelling for Cyber-Physical Systems

This book coherently gathers well-founded information on the fundamentals of and formalisms for modelling cyber-physical ...

Guerrilla Capacity Planning

Guerrilla Capacity Planning facilitates rapid forecasting of capacity requirements based on the opportunistic use of whatever ...

High Performance Computing - HiPC 2008 : 15th International Conference, Bangalore, India, December 17-20, 2008. Proceedings

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

Kanban-Controlled Manufacturing Systems

Kanban control systems bear a great potential to significantly improve operations. A company may reap the full benefits of ...

Model Driven Architecture - Foundations and Applications

Constitutes the refereed proceedings of the First European Conference, Workshops on Model Driven Architecture - Foundations ...

Parallel Processing and Applied Mathematics

This book constitutes the thoroughly refereed post-proceedings of the 4th International Conference on Parallel Processing ...

Passive and Active Network Measurement

Welcometothe6thInternationalWorkshoponPassiveandActiveMeasurement, held in Boston, Massuchusetts. PAM 2005 was organized ...

Passive and Active Network Measurement

This book constitutes the refereed proceedings of the 8th International Conference on Passive and Active Measurement, PAM ...

Total Books: 1 - 20 /26