Interactive Design for New Media and the Web, Iuppa, Nick
Автор: Philippe Palanque; Remi Bastide Название: Design, Specification and Verification of Interactive Systems `95 ISBN: 3211827390 ISBN-13(EAN): 9783211827390 Издательство: Springer Рейтинг: Цена: 12157.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This volume contains 21 contributions which cover the different aspects of interactive systems, from formal user modelling to formal techniques for prototyping, and describes state-of-the-art developments in these topics, also giving new directions for future research.
Автор: Vissers Название: Architectural Design ISBN: 3319432974 ISBN-13(EAN): 9783319432977 Издательство: Springer Рейтинг: Цена: 9362.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book presents a design methodology that is practically applicable to the architectural design of a broad range of systems. It is based on fundamental design concepts to conceive and specify the required functional properties of a system, while abstracting from the specific implementation functions and technologies that can be chosen to build the system. Abstraction and precision are indispensable when it comes to understanding complex systems and precisely creating and representing them at a high functional level. Once understood, these concepts appear natural, self-evident and extremely powerful, since they can directly, precisely and concisely reflect what is considered essential for the functional behavior of a system.The first two chapters present the global views on how to design systems and how to interpret terms and meta-concepts. This informal introduction provides the general context for the remainder of the book. On a more formal level, Chapters 3 through 6 present the main basic design concepts, illustrating them with examples. Language notations are introduced along with the basic design concepts. Lastly, Chapters 7 to 12 discuss the more intricate basic design concepts of interactive systems by focusing on their common functional goal. These chapters are recommended to readers who have a particular interest in the design of protocols and interfaces for various systems.The didactic approach makes it suitable for graduate students who want to develop insights into and skills in developing complex systems, as well as practitioners in industry and large organizations who are responsible for the design and development of large and complex systems. It includes numerous tangible examples from various fields, and several appealing exercises with their solutions.
Автор: Mauricio Ayala-Rinc?n; C?sar A. Mu?oz Название: Interactive Theorem Proving ISBN: 331966106X ISBN-13(EAN): 9783319661063 Издательство: Springer Рейтинг: Цена: 6986.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed proceedings of the 8th International Conference on Interactive Theorem Proving, ITP 2017, held in Brasilia, Brazil, in September 2017. The 28 full papers, 2 rough diamond papers, and 3 invited talk papers presented were carefully reviewed and selected from 65 submissions.
Автор: Pizzo, Antonio Название: Interactive Storytelling ISBN: 1032371633 ISBN-13(EAN): 9781032371634 Издательство: Taylor&Francis Рейтинг: Цена: 21437.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Автор: Gauthier, Jean-Marc Название: Building Interactive Worlds in 3D ISBN: 0240806220 ISBN-13(EAN): 9780240806228 Издательство: Taylor&Francis Рейтинг: Цена: 8420.00 р. Наличие на складе: Поставка под заказ.
Описание: Gatsby is a powerful React static site generator that enables you to create lightning-fast web experiences. Complete with hands-on tutorials and projects, this easy-to-follow guide will help you to understand the core concepts of GatsbyJS and show you how to build client websites your users will love.
Автор: Blanchette Название: Interactive Theorem Proving ISBN: 3319431439 ISBN-13(EAN): 9783319431437 Издательство: Springer Рейтинг: Цена: 10342.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed proceedings of the 7th International Conference on Interactive Theorem Proving, ITP 2016, held in Nancy, France, in August 2016. The 27 full papers and 5 short papers presented were carefully reviewed and selected from 55 submissions.
Автор: Panos Markopoulos; Peter Johnson Название: Design, Specification and Verification of Interactive Systems `98 ISBN: 3211832122 ISBN-13(EAN): 9783211832127 Издательство: Springer Рейтинг: Цена: 12157.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Does modelling, formal or otherwise, play a role in designing interactive systems? This development poses a significant challenge to modelling approaches used for the design of interactive systems.
Автор: Michael D. Harrison; Juan C. Torres Название: Design, Specification and Verification of Interactive Systems `97 ISBN: 3211830553 ISBN-13(EAN): 9783211830550 Издательство: Springer Рейтинг: Цена: 12157.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: An increasing recognition of the role of the human-system interface is leading to new extensions and styles of specification. This book reflects the state of the art in this important area and also contains a summary of working group discussions about how the various techniques represented might be applied to a common case study.
Описание: "This book examines the strategic elements involved in ICT training within the context of online networks, combining scientific, theoretical, and practical perspectives on the importance of communicability in such networks"--
Автор: Graham Button; Andy Crabtree; Mark Rouncefield; Pe Название: Deconstructing Ethnography ISBN: 3319219537 ISBN-13(EAN): 9783319219530 Издательство: Springer Рейтинг: Цена: 13974.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book aims to deconstruct ethnography to alert systems designers, and other stakeholders, to the issues presented by new approaches that move beyond the studies of `work` and `work practice` within the social sciences (in particular anthropology and sociology).
Автор: Alejandro H?ctor Toselli; Enrique Vidal; Francisco Название: Multimodal Interactive Pattern Recognition and Applications ISBN: 1447159322 ISBN-13(EAN): 9781447159322 Издательство: Springer Рейтинг: Цена: 18167.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Here is a different approach to pattern recognition systems, in which users of a system are involved during the recognition process, and examines a range of advanced multimodal interactions between machine and users, including handwriting, speech and gesture.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
