Electronic Books

Total Books: 141 - 160 /179

Recent Trends in Algebraic Development Techniques

This volume contains selected papers from WADT 2004, the 17th International Workshop on Algebraic Development Techniques. ...

Reconfigurable Distributed Control

Reconfigurable Distributed Control helps meet the challenge of applying distributed control to dynamical systems, integrating ...

Refinement Techniques in Software Engineering

This tutorial book presents an augmented selection of the material presented at the First Pernambuco Summer School on Software ...

Reliable Software Technologies - Ada Europe 2007

Reliable Software Technologies is an annual series of international conferences devoted to the promotion and advancement ...

Reliable Software Technologies - Ada-Europe 2002

This book constitutes the refereed proceedings of the 7th International Conference on Reliable Software Technologies, Ada-Europe ...

Reliable Software Technologies - Ada-Europe 2008 : 13th Ada-Europe International Conference on Reliable Software Technologies, Venice, Italy, June 16-20, 2008. Proceedings

This book covers topics ranging from formal verification to real-time systems via concurrency, embedded systems, language ...

Reliable Software Technologies -- Ada-Europe 2006

This book constitutes the refereed proceedings of the 11th International Conference on Reliable Software Technologies, Ada- ...

Reliable Software Technology – Ada-Europe 2005

Started on the inspired initiative of Prof. Alfred Strohmeier back in 1996, and spawned from the annual Ada-Europe conference ...

SDL 2001: Meeting UML

This volume contains the papers presented at the Tenth SDL Forum, Cop- hagen. SDL is the Speci?cation and Description Language ...

Satellite Events at the MoDELS 2005 Conference

This book constitutes the thoroughly refereed post-proceedings of 10 internationl workshops held as satellite events of the ...

Soft Computing Applications in Industry

Softcomputing techniques play a vital role in the industry. This book presents several important papers contributed by some ...

Soft Real-Time Systems: Predictability vs. Efficiency

Hard real-time systems are very predictable, but not sufficiently flexible to adapt to dynamic situations. They are built ...

Soft Sensors for Monitoring and Control of Industrial Processes

Soft Sensors for Monitoring and Control of Industrial Processes underlines the real usefulness of each approach and the sensitivity ...

Software Technologies for Embedded and Ubiquitous Systems

This book constitutes the thoroughly refereed post-proceedings of the 5th IFIP WG 10.2 International Workshop on Software ...

Software Technologies for Embedded and Ubiquitous Systems : 6th IFIP WG 10.2 International Workshop, SEUS 2008, Anacarpi, Capri Island, Italy, October 1-3, 2008 Proceedings

This book includes model-driven development; middleware; real time; quality of service and performance; applications; pervasive ...

Stream Data Management

Researchers in data management have recently recognized the importance of a new class of data-intensive applications that ...

Sustainable Internet

The 3rd Asian Internet Engineering Conference (AINTEC) followed the ?rst two successful editions held in Bangkok, Thailand, ...

Synchronized Phasor Measurements and Their Applications

Synchronized Phasor Measurement and Their Applications presents the historical development of the synchronized phasor measurement ...

System Analysis and Modeling: Language Profiles

This book constitutes the refereed proceedings of the 5th International Workshop on System Analysis and Modelling, SAM 2006, ...

System Software Reliability

Computer software reliability has never been more important. Today, computers are employed in areas as diverse as air traffic ...

Total Books: 141 - 160 /179