Formal Modeling and Analysis of Timed Systems, Joel Ouaknine; Frits W. Vaandrager

Автор: Fr?nzle
Название: Formal Modeling and Analysis of Timed Systems
ISBN: 3319448773 ISBN-13(EAN): 9783319448770
Издательство: Springer
Рейтинг:
Цена: 6988.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the refereed proceedings of the 14th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2016, held in Quebec, QC, Canada, in August 2016. They are organized in topical sections entitled: modeling timed phenomena;

Автор: Grabowski
Название: System Analysis and Modeling. Technology-Specific Aspects of Models
ISBN: 3319466127 ISBN-13(EAN): 9783319466125
Издательство: Springer
Рейтинг:
Цена: 6988.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes revised papers of the proceedings of the 9th International Workshop on System Analysis and Modeling, SAM 2016, held in Saint-Melo, France, in October 2016.

Автор: Kim
Название: Human–Computer Interaction
ISBN: 1482233894 ISBN-13(EAN): 9781482233896
Издательство: Taylor&Francis
Рейтинг:
Цена: 15312.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание:

Although life continues to become increasingly embedded with interactive computing services that make our lives easier, human-computer interaction (HCI) has not been given the attention it deserves in the education of software developers at the undergraduate level. Most entry-level HCI textbooks are structured around high-level concepts and are not directly tied to the software development process.

Filling this need, Human-Computer Interaction: Fundamentals and Practice supplies an accessible introduction to the entire cycle of HCI design and implementation--explaining the core HCI concepts behind each step. Designed around the overall development cycle for an interactive software product, it starts off by covering the fundamentals behind HCI.

The text then quickly goes into the application of this knowledge. It covers the forming of HCI requirements, modeling the interaction process, designing the interface, implementing the resulting design, and evaluating the implemented product.

Although this textbook is suitable for undergraduate students of computer science and information technology, it is accessible enough to be understood by those with minimal programming knowledge. Supplying readers with a firm foundation in the main HCI principles, the book provides a working knowledge of HCI-oriented software development.

The core content of this book is based on the introductory HCI course (advanced junior or senior-level undergraduate) that the author has been teaching at Korea University for the past eight years. The book includes access to PowerPoint lecture slides as well as source code for the example applications used throughout the text.

Автор: Franck Cassez; Claude Jard
Название: Formal Modeling and Analysis of Timed Systems
ISBN: 354085777X ISBN-13(EAN): 9783540857778
Издательство: Springer
Рейтинг:
Цена: 9781.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Includes the refereed proceedings of the 6th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2008, held in Saint Malo, France, September 2008. This book contains 17 papers that were presented together with 3 invited talks and selected from 37 submissions.

Автор: Stefan Kowalewski; Anna Philippou
Название: Tools and Algorithms for the Construction and Analysis of Systems
ISBN: 3642007678 ISBN-13(EAN): 9783642007675
Издательство: Springer
Рейтинг:
Цена: 12577.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Constitutes the refereed proceedings of the 15th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2009, held in York, UK, in March 2009, as part of ETAPS 2009, the European Joint Conferences on Theory and Practice of Software.