interactive  (3 277 Angebote unter 17 651 868 Artikeln)

Making systems easier to use implies an ever increasing complexity in managing communication between users and applications. Indeed an increasing part of the application code is devoted to the user...

An increasing recognition of the role of the human-system interface is leading to new extensions and styles of specification. Techniques are being developed that facilitate the expression of user-o...

This book is the final outcome of the Eurographics Workshop on Design, Specification and Verification of Interactive Systems, that was held in Bonas, from June 7 to 9, 1995. This workshop was the s...

Vertiv SmartCloset Entry - Schrank - mit 3000 VA USV - 40U - 48.3 cm (19")

This book is the formal proceedings of the Eurographics Workshop on Design, Specifi cation and Verification ofInteractive Systems, DSV-IS'99, which was held at the Uni versity of Minho, Braga, Port...

In this book the classical Greek construction problems are explored in a didactical, enquiry based fashion using Interactive Geometry Software (IGS). The book traces the history of these problems, ...

Does modelling, formal or otherwise, play a role in designing interactive systems? A proliferation of interactive devices and technologies is used in an ever increasing diversity of contexts and co...

Formal Analysis of Future Energy Systems Using Interactive Theorem Proving

PowerWalker VI 1200 - Art-No 10120050 - 1200VA Line-Interactive USV - 2x IEC Ausgänge, RJ11/RJ45 - USB Anschluss zur Überwachung - Kaltstart und AVR Funktion - Eco Modus für Energieeinsparung

With recent releases of affordable hardware devices the fields of Virtual, Mixed, and Augmented Reality gained considerable attention, wherefore the creation of corresponding software becomes incre...