Thriving Systems Theory and Metaphor-Driven Modeling, Leslie J. Waguespack

Автор: Ilia Bider; Terry Halpin; John Krogstie; Selmin Nu
Название: Enterprise, Business-Process and Information Systems Modeling
ISBN: 364213050X ISBN-13(EAN): 9783642130502
Издательство: Springer
Рейтинг:
Цена: 69870.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Contains the proceedings of the 11th International Workshop on Business Process Modeling, Development and Support and the 15th International Conference on Exploring Modeling Methods for Systems Analysis and Design, held together with the 22nd International Conference on Advanced Information Systems Engineering in Hammamet, Tunisia, in June 2010.

Автор: Petraq Papajorgji; Panos Pardalos
Название: Advances in Modeling Agricultural Systems
ISBN: 1441945253 ISBN-13(EAN): 9781441945259
Издательство: Springer
Рейтинг:
Цена: 181670.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book presents an up-to-date review of advances in the mathematical modeling of agricultural systems. It uses real-world cases and includes a broad spectrum of problems and applications based on internet and communications technology.

Автор: Joel Ouaknine; Frits W. Vaandrager
Название: Formal Modeling and Analysis of Timed Systems
ISBN: 3642043674 ISBN-13(EAN): 9783642043673
Издательство: Springer
Рейтинг:
Цена: 69870.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed proceedings of the 7th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2009, held in Budapest, Hungary, September 2009. comparison between different models (timed automata, timed Petri nets, hybrid automata, timed process algebra, max-plus algebra, probabilistic models).

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

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

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.

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