Domain Knowledge for Interactive System Design, Alistair G. Sutcliffe; Frans van Assche; David Ben
Автор: 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.
Описание: An understanding of high speed interconnect phenomena is necessary for modern designs such as routing and layout of computer motherboards. Computers have reached speeds where digital design must provide for these effects. The problem is that most engineers active today have not been trained in this subject.
Описание: Praise for the first edition: This excellent text will be useful to every system engineer (SE) regardless of the domain. It covers ALL relevant SE material and does so in a very clear, methodical fashion.
Автор: Francois Bodart; Jean Vanderdonckt Название: Design, Specification and Verification of Interactive Systems `96 ISBN: 3211829008 ISBN-13(EAN): 9783211829004 Издательство: Springer Рейтинг: Цена: 12157.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: These revised papers from the Eurographics workshop in Namur, Belgium review the design, specification and verification of interactive systems, comparing the different existing approaches to this field in order to identify the principal requirements and the most suitable notation.
Автор: 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.
Автор: Joaquim Jorge; Nuno Jardim Nunes; Joao Falcao e Cu Название: Interactive Systems. Design, Specification, and Verification ISBN: 3540201599 ISBN-13(EAN): 9783540201595 Издательство: Springer Рейтинг: Цена: 10480.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Автор: Bodo Urban; Jean Vanderdonckt; Quentin Limbourg Название: Interactive Systems: Design, Specification, and Verification ISBN: 3540002669 ISBN-13(EAN): 9783540002666 Издательство: Springer Рейтинг: Цена: 9781.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the thoroughly refereed post-proceedings of the 9th International Workshop on the Design, Specification, and Verification of Interactive Systems, DSV-IS 2002, held in Rostock, Germany in June 2002.The 19 revised full papers presented have gone through two rounds of reviewing, selection, and improvement.
Автор: S.G. Tzafestas Название: Knowledge-Based System Diagnosis, Supervision, and Control ISBN: 1489924736 ISBN-13(EAN): 9781489924735 Издательство: Springer Рейтинг: Цена: 20962.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: It is in the area of Systems Diagnosis. Spyros Tzafestas has ably put together the current state of the art of the application of Artificial Intelligence concepts to problems of Systems Diagnosis.
Автор: Achim Rettberg; Mauro Zanella; Rainer Domer; Andre Название: Embedded System Design: Topics, Techniques and Trends ISBN: 0387722572 ISBN-13(EAN): 9780387722573 Издательство: Springer Рейтинг: Цена: 20257.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Presents the technical program of the 2007 International Embedded Systems Symposium held in Irvine, California. This book covers techniques and trends in embedded system design, including design methodology, networks-on-chip, distributed and networked systems, and system verification.
Автор: Spyros G. Tzafestas; G?nther Schmidt Название: Progress in System and Robot Analysis and Control Design ISBN: 1852331232 ISBN-13(EAN): 9781852331238 Издательство: Springer Рейтинг: Цена: 12157.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Numerous robotic systems are used in industrial production. This volume contains a collection of over 50 papers focusing on analysis and design problems.
Автор: Mark Burton; Adam Morawiec Название: Platform Based Design at the Electronic System Level ISBN: 9400790589 ISBN-13(EAN): 9789400790582 Издательство: Springer Рейтинг: Цена: 14365.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book explores challenges in the development and integration of complex heterogeneous systems, including both hardware and software components. The book examines interfaces between platform providers and users defined by technical requirements, design methodology, standards, and by business context and relationships.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
