Автор: Felix Schmid; Stephen Evans; Andrew W.S. Ainger; R Название: Computer Integrated Production Systems and Organizations ISBN: 3642633927 ISBN-13(EAN): 9783642633928 Издательство: Springer Рейтинг: Цена: 27950.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Proceedings of the NATO Advanced Study Institute on People and Computers - Applying an Anthropocentric Approach to Integrated Production Systems and Organisations, held at Loughborough University, UK, July 5 - 17, 1993
Автор: Gert Z?lch; Harinder Singh Jagdev; Patricia Stock Название: Integrating Human Aspects in Production Management ISBN: 1489997407 ISBN-13(EAN): 9781489997401 Издательство: Springer Рейтинг: Цена: 19139.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: In recent years the situation of production enterprises has been aggravated by the change from a vendors` market to a buyers` market, the globaHsation of competition, a severe market segmentation and rapid progress in product and process technologies.
Автор: Michael Dierkes; Charles Pecheur Название: Formal Methods for Industrial Critical Systems ISBN: 364241009X ISBN-13(EAN): 9783642410093 Издательство: Springer Рейтинг: Цена: 6429.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание:
Formal Methods for the Analysis of Critical Control Systems Models: Combining Non-linear and Linear Analyses.- HyRev: A Tool for the Automatic Generation of Real-Time Routines for Enabling Fail-Safe Control in a Class of Safety-Critical Embedded Systems Using Backwards Reachability Analysis.- An Outline Workflow for Practical Formal Verification from Software Requirements to Object Code.- Boolean Quantifier Elimination for Automotive Configuration - A Case Study.- Study on the Barriers to the Industrial Adoption of Formal Methods.- On the Effectiveness of Assertion-Based Verification in an Industrial Context.- Complex Digital System Design: A Methodology and Its Application to Medical Implants.- Formal Analysis of the ACE Specification for Cache Coherent Systems-on-Chip.- Predicate Abstraction for Programmable Logic Controllers.- High-Level Guidance for Managers Deploying Formal Methods in Their Organisation.- Auditing User-Provided Axioms in Software Verification Conditions.- Formal Reliability Analysis of Protective Relays in Power Distribution Systems.- Specification and Verification Using Alloy of Optimistic Access Control for Distributed Collaborative Editors.
Описание: The five-volume set LNCS 8004--8008 constitutes the refereed proceedings of the 15th International Conference on Human-Computer Interaction, HCII 2013, held in Las Vegas, NV, USA in July 2013.
Design for All Methods, Techniques and Tools.- eInclusion Practice.- Universal Access to the Built Environment.- Multi-sensory and Multimodal Interfaces.- Brain-Computer Interfaces.
Автор: P.L.Patrick Rau Название: Cross-Cultural Design. Methods, Practice, and Case Studies ISBN: 3642391427 ISBN-13(EAN): 9783642391422 Издательство: Springer Рейтинг: Цена: 6986.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This is the first part of the two-volume set (LNCS 8023-8024) that constitutes the refereed proceedings of the 5th International Conference on Cross-Cultural Design, held as part of the 15th International Conference on Human-Computer Interaction, HCII 2013, held in Las Vegas, USA in July 2013, jointly with 12 other thematically similar conferences.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
