Interactive Storytelling, Alex Mitchell; Clara Fern?ndez-Vara; David Thue

Автор: Yves Bertot; G. Huet; Pierre Cast?ran; C. Paulin-M
Название: Interactive Theorem Proving and Program Development
ISBN: 3642058809 ISBN-13(EAN): 9783642058806
Издательство: Springer
Рейтинг:
Цена: 10480.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: A practical introduction to the development of proofs and certified programs using Coq. An invaluable tool for researchers, students, and engineers interested in formal methods and the development of zero-fault software.

Автор: Hartmut Koenitz; Tonguc Ibrahim Sezen; Gabriele Fe
Название: Interactive Storytelling
ISBN: 3319027557 ISBN-13(EAN): 9783319027555
Издательство: Springer
Рейтинг:
Цена: 6986.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the refereed proceedings of the 6th International Conference on Interactive Storytelling, ICIDS 2013, Istanbul, Turkey, November 2013. The 14 revised full papers presented together with 10 short papers were carefully reviewed and selected from 51 submissions.

Автор: David Oyarzun; Federico Peinado; R. Michael Young;
Название: Interactive Storytelling
ISBN: 3642348505 ISBN-13(EAN): 9783642348501
Издательство: Springer
Рейтинг:
Цена: 6429.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the refereed proceedings of the 5th International Conference on Interactive Digital Storytelling, ICIDS 2012, San Sebastian, Spain, November 2012. The 14 revised full papers presented together with 6 short papers were carefully reviewed and selected from 48 submissions.

Автор: Ulrike Spierling; Nicolas Szilas
Название: Interactive Storytelling
ISBN: 3540894241 ISBN-13(EAN): 9783540894247
Издательство: Springer
Рейтинг:
Цена: 9781.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Constitutes the refereed proceedings of the First Joint International Conference on Interactive Digital Storytelling, ICIDS 2008, held in Erfurt, Germany, in November 2008. This book contains the papers that are organized in topical sections on perspectives on interactive digital storytelling and interactive storytelling applications.

Автор: Christian Urban; Xingyuan Zhang
Название: Interactive Theorem Proving
ISBN: 3319221019 ISBN-13(EAN): 9783319221014
Издательство: Springer
Рейтинг:
Цена: 8944.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the proceedings of the 6th International Conference on Interactive Theorem Proving, ITP 2015, held in Nanjing, China, in August 2015. The topics range from theoretical foundations to implementation aspects and applications in program verification, security and formalization of mathematics.

Автор: Tim Hussein; Heiko Paulheim; Stephan Lukosch; J?rg
Название: Semantic Models for Adaptive Interactive Systems
ISBN: 1447162382 ISBN-13(EAN): 9781447162384
Издательство: Springer
Рейтинг:
Цена: 13275.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Providing insight into methodologies for designing adaptive systems based on semantic data, and introducing semantic models that can be used for building interactive systems, this book showcases applications made possible by the use of semantic models.

Автор: Aaron Marcus
Название: Design, User Experience, and Usability: Interactive Experience Design
ISBN: 3319208888 ISBN-13(EAN): 9783319208886
Издательство: Springer
Рейтинг:
Цена: 12298.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Designing the social media experience.- Designing the learning experience.- Designing the playing experience.- Designing the urban experience.- Designing the driving experience.- Designing the healthcare patient's experience.- Designing for the healthcare professional's experience.

Автор: Matthias Bezold; Wolfgang Minker
Название: Adaptive Multimodal Interactive Systems
ISBN: 1489986006 ISBN-13(EAN): 9781489986009
Издательство: Springer
Рейтинг:
Цена: 15672.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book introduces a general framework for adapting multimodal interactive systems. It investigates how multimodal, interactive systems may be improved in terms of usability and user friendliness as well as describes exhaustive user tests.

Автор: Evangelos Karapanos
Название: Modeling Users` Experiences with Interactive Systems
ISBN: 364243360X ISBN-13(EAN): 9783642433603
Издательство: Springer
Рейтинг:
Цена: 15672.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book presents models for users` experiences with interactive systems. It examines how to incorporate aesthetic, emotional, and social aspects of a product while designing interactive systems.

Автор: Masatoshi Sakawa
Название: Large Scale Interactive Fuzzy Multiobjective Programming
ISBN: 3662003864 ISBN-13(EAN): 9783662003862
Издательство: Springer
Рейтинг:
Цена: 6986.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Автор: Max Giardina
Название: Interactive Multimedia Learning Environments
ISBN: 3642777074 ISBN-13(EAN): 9783642777073
Издательство: Springer
Рейтинг:
Цена: 14673.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: 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.

Автор: Frits L. Engel; Don G. Bouwhuis; Tom B?sser; Gery
Название: Cognitive Modelling and Interactive Environments in Language Learning
ISBN: 3642775772 ISBN-13(EAN): 9783642775772
Издательство: Springer
Рейтинг:
Цена: 14673.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Within the framework of the NATO Advanced Research Workshops this invitational conference was naturally on learning, but it emphasized a number of factors that are not generally treated in dis- cussions on learning and specifically in computer-assisted learning.