Erstmalig im deutschen Sprachraum erscheinen Thiagis interaktive Trainingsmethoden mit über 70 Ak...

Thiagis zweiter Band interaktiver Trainingsmethoden öffnet wieder einen großen Fundus an Übungen ...

Embedded computing systems have started to carry out the key control functions in diverse domains...

This book reports a protocol study that examines how designers construct function structure graph...

Invited Talks.- Validation of Synchronous Reactive Systems: From Formal Verification to Automatic...

This volume consists of the proceedings of the Fifth International Conference on Formal Modelling...

This volume presents the proceedings of the 14th International Conference on the Foundations of S...

Invited Papers.- Invariant Based Programming.- On the Integration of UML and Petri Nets in Softwa...

This book constitutes the refereed proceedings of the 15th International Conference on Foundation...

Over the last few years, the use of web advertisements has increased exponentially, and some of t...

The MPEG-1 Layer III (MP3) algorithm is one of the most successful audio formats for consumer aud...

Image understanding has been playing an increasingly crucial role in several inverse problems and...