Interactive Video, 

Автор: 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.

Автор: George A Tsihrintzis; Maria Virvou
Название: New Directions in Intelligent Interactive Multimedia
ISBN: 3642087809 ISBN-13(EAN): 9783642087806
Издательство: Springer
Рейтинг:
Цена: 36570.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book summarizes the works and new research results presented at the First International Symposium on Intelligent Interactive Multimedia Systems and Services (KES-IIMSS 2008), held in Piraeus, Greece, July 2008.

Автор: Matt Kaufmann; Lawrence C. Paulson
Название: Interactive Theorem Proving
ISBN: 3642140513 ISBN-13(EAN): 9783642140518
Издательство: Springer
Рейтинг:
Цена: 14673.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Constitutes the proceedings of the First International Conference on Interactive Theorem proving, ITP 2010, held in Edinburgh, UK, in July 2010. This title features the papers that are organized in topics such as counterexample generation, hybrid system verification, translations from one formalism to another, and cooperation between tools.

Автор: Christian M?ller-Tomfelde
Название: Tabletops - Horizontal Interactive Displays
ISBN: 144712555X ISBN-13(EAN): 9781447125556
Издательство: Springer
Рейтинг:
Цена: 23058.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This text is the first to compile current research findings in the domain of interactive horizontal displays. It integrates and summarizes findings from the most important international tabletop research teams and covers the latest in this research domain.

Автор: Daryle Gardner-Bonneau; Harry E. Blanchard
Название: Human Factors and Voice Interactive Systems
ISBN: 1441937986 ISBN-13(EAN): 9781441937988
Издательство: Springer
Рейтинг:
Цена: 20896.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The second edition of Human Factors and Voice Interactive Systems, in addition to updating chapters from the first edition, adds in-depth information on current topics of major interest to speech application developers.

Автор: T.P. Jimmy To; Babak Hamidzadeh
Название: Interactive Video-On-Demand Systems
ISBN: 1461375789 ISBN-13(EAN): 9781461375784
Издательство: Springer
Рейтинг:
Цена: 20962.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Interactive Video-on-Demand Systems: Resource Management and Scheduling Strategies addresses issues in scheduling and management of resources in an interactive continuous-media (e.g., audio and video) server.

Автор: Sandrine Blazy; Christine Paulin-Mohring; David Pi
Название: Interactive Theorem Proving
ISBN: 364239633X ISBN-13(EAN): 9783642396335
Издательство: Springer
Рейтинг:
Цена: 6986.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the refereed proceedings of the 4th International Conference on Interactive Theorem Proving, ITP 2013, held in Rennes, France, in July 2013. The 26 regular full papers presented together with 7 rough diamond papers, 3 invited talks, and 2 invited tutorials were carefully reviewed and selected from 66 submissions.

Автор: Jan Gulliksen; Morten Borup Harning; Philippe Pala
Название: Engineering Interactive Systems
ISBN: 3540926976 ISBN-13(EAN): 9783540926979
Издательство: Springer
Рейтинг:
Цена: 16764.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Constitutes the post-conference proceedings of the WG2.7/13.4 10th Conference on Engineering Human Computer Interaction (EHCI 2007), the WG 13.2 First Conference on Human Centred Software Engineering (HCSE 2007), and the 14th Conference on Design Specification and Verification of Interactive Systems (DSV-IS 2007).

Автор: Elena Zudilova-Seinstra; Tony Adriaansen; Robert v
Название: Trends in Interactive Visualization
ISBN: 144715939X ISBN-13(EAN): 9781447159391
Издательство: Springer
Рейтинг:
Цена: 23058.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This unique multi-disciplinary collection of scientific articles comprises the first fully integrated book on Interactive Visualisation. It provides readers with insight in Interactive Visualization from various perspectives, representing the state-of-the-art.

Автор: Romero Veronica Etal
Название: Multimodal Interactive Handwritten Text Transcription
ISBN: 981439033X ISBN-13(EAN): 9789814390330
Издательство: World Scientific Publishing
Рейтинг:
Цена: 11563.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Presents an interactive multimodal approach for efficient transcription of handwritten text images. This title studies an interactive scenario that combines the efficiency of automatic handwriting recognition systems with the accuracy of the experts, leading to a cost-effective perfect transcription of the handwritten text images.

Автор: Yiyu Cai
Название: 3D Immersive and Interactive Learning
ISBN: 9814560901 ISBN-13(EAN): 9789814560900
Издательство: Springer
Рейтинг:
Цена: 17468.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book reviews innovative uses of 3D for immersive and interactive learning, covering gifted programs, normal stream and special needs education. Reports on curriculum-based 3D learning in classrooms, and co-curriculum-based 3D student research projects.