Informatik (14.430 Artikel)

This book is the final result of the NATO Advanced Research Workshop 'Interactive Learning Technology for the Deaf' , which was held between June 4 -7, 1991, in Sint-Michielsgestel, the Netherlands...

Markov Chains are widely used as stochastic models to study a broad spectrum of system performance and dependability characteristics. This monograph is devoted to compositional specification and an...

In this book several concepts with respect to the development and reusability of multimedia content in web-based learning systems are introduced. More specifically, the development of a component-b...

Multimedia environments suggest to us a new perception of the state of changes in and the integration of new technologies that can increase our ability to process information. Moreover, they are ob...

Multimedia Interactive Protocols and Systems (MIPS) is the brand new name of a workshop that has been successfully held for the ?rst time in 2002 in Coimbra, as the ?rst joint edition of two well e...

This volume contains scientific papers and case studies presented at Interactive Sto- telling '08: The First Joint International Conference on Interactive Digital Storytelling (ICIDS), held Novembe...

10th International Workshop, DSV-IS 2003, Funchal, Madeira Island, Portugal, June 11-13, 2003, Revised Papers

The wait for the year 2000 was marked by the fear of possible bugs that might have arisen at its beginning. One additional fear we had during this wait was whether - ganising this event would have ...

9th International Workshop, DSV-IS 2002, Rostock Germany, June 12-14, 2002

This book constitutes the thoroughly refereed post-proceedings of the 8th International Workshop on the Design, Specification, and Verification of Interactive Systems, DSV-IS 2001, held in Glasgow,...

This book constitutes the proceedings of the 6th International Conference on Interactive Theorem Proving, ITP 2015, held in Nanjing, China, in August 2015. The 27 papers presented in this volume we...

The 32 full papers and 5 short papers presented were carefully reviewed and selected from 65 submissions.  The papers feature research in the area of logical frameworks and interactive proof assist...

This book constitutes the refereed proceedings of the Second International Conference on Interactive Theorem proving, ITP 2011, held in Berg en Dal, The Netherlands, in August 2011. The 25 revised ...

This book constitutes the thoroughly refereed proceedings of the Third International Conference on Interactive Theorem Proving, ITP 2012, held in Princeton, NJ, USA, in August 2012. The 21 revised ...

This book constitutes the proceedings of the 5th International Conference on Interactive Theorem Proving, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, in Vienna, Austria, in July...