Контакты/Проезд  Доставка и Оплата Помощь/Возврат
История
  +7(495) 980-12-10
  пн-пт: 10-18 сб,вс: 11-18
  shop@logobook.ru
   
    Поиск книг                    Поиск по списку ISBN Расширенный поиск    
Найти
  Зарубежные издательства Российские издательства  
Авторы | Каталог книг | Издательства | Новинки | Учебная литература | Акции | Хиты | |
 

Hybrid Systems: Computation and Control, Thomas A. Henzinger; Shankar Sastry


Варианты приобретения
Цена: 12157.00р.
Кол-во:
Наличие: Поставка под заказ.  Есть в наличии на складе поставщика.
Склад Америка: Есть  
При оформлении заказа до: 2025-07-28
Ориентировочная дата поставки: Август-начало Сентября
При условии наличия книги у поставщика.

Добавить в корзину
в Мои желания

Автор: Thomas A. Henzinger; Shankar Sastry
Название:  Hybrid Systems: Computation and Control
ISBN: 9783540643586
Издательство: Springer
Классификация:
ISBN-10: 3540643583
Обложка/Формат: Paperback
Страницы: 417
Вес: 0.61 кг.
Дата издания: 25.03.1998
Серия: Lecture Notes in Computer Science
Язык: English
Размер: 234 x 156 x 23
Основная тема: Computer Science
Подзаголовок: First International Workshop, HSCC'98, Berkeley, California, USA, April 13 - 15, 1998, Proceedings
Ссылка на Издательство: Link
Рейтинг:
Поставляется из: Германии
Описание: This work constitutes the refereed proceedings of the First International Workshop on Hybrid Systems: Computation and Control. The 27 papers focus on mathematical methods for the rigorous and systematic design and analysis of hybrid systems.


Hybrid Systems: Computation and Control

Автор: Rupak Majumdar; Paulo Tabuada
Название: Hybrid Systems: Computation and Control
ISBN: 3642006019 ISBN-13(EAN): 9783642006012
Издательство: Springer
Рейтинг:
Цена: 13974.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Focuses on research in embedded reactive systems involving the interplay between symbolic/discrete and continuous dynamical behaviors. This book features developments of applications and theoretical advancements in the analysis, design, control, optimization, and implementation of hybrid systems.

Real-Time Embedded Systems

Автор: Bertolotti
Название: Real-Time Embedded Systems
ISBN: 1439841543 ISBN-13(EAN): 9781439841549
Издательство: Taylor&Francis
Рейтинг:
Цена: 33686.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: From the Foreword: "…the presentation of real-time scheduling is probably the best in terms of clarity I have ever read in the professional literature. Easy to understand, which is important for busy professionals keen to acquire (or refresh) new knowledge without being bogged down in a convoluted narrative and an excessive detail overload. The authors managed to largely avoid theoretical-only presentation of the subject, which frequently affects books on operating systems. … an indispensable [resource] to gain a thorough understanding of the real-time systems from the operating systems perspective, and to stay up to date with the recent trends and actual developments of the open-source real-time operating systems." —Richard Zurawski, ISA Group, San Francisco, California, USA Real-time embedded systems are integral to the global technological and social space, but references still rarely offer professionals the sufficient mix of theory and practical examples required to meet intensive economic, safety, and other demands on system development. Similarly, instructors have lacked a resource to help students fully understand the field. The information was out there, though often at the abstract level, fragmented and scattered throughout literature from different engineering disciplines and computing sciences. Accounting for readers’ varying practical needs and experience levels, Real Time Embedded Systems: Open-Source Operating Systems Perspective offers a holistic overview from the operating-systems perspective. It provides a long-awaited reference on real-time operating systems and their almost boundless application potential in the embedded system domain. Balancing the already abundant coverage of operating systems with the largely ignored real-time aspects, or "physicality," the authors analyze several realistic case studies to introduce vital theoretical material. They also discuss popular open-source operating systems—Linux and FreRTOS, in particular—to help embedded-system designers identify the benefits and weaknesses in deciding whether or not to adopt more traditional, less powerful, techniques for a project.

Design and Implementation of Symbolic Computation Systems

Автор: Alfonso Miola
Название: Design and Implementation of Symbolic Computation Systems
ISBN: 3540525319 ISBN-13(EAN): 9783540525318
Издательство: Springer
Рейтинг:
Цена: 9781.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: DISCO `90 focuses mainly on the most innovative methodological and technological aspects of hardware and software system design and implementation for Symbolic and Algebraic Computation, Automated Reasoning, Software Environments, and Automatic Programming.

Modelling, Computation and Optimization in Information Systems and Management Sciences

Автор: Hoai An Le Thi; Tao Pham Dinh; Ngoc Thanh Nguyen
Название: Modelling, Computation and Optimization in Information Systems and Management Sciences
ISBN: 3319181602 ISBN-13(EAN): 9783319181608
Издательство: Springer
Рейтинг:
Цена: 25155.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание:

Combinatorial Optimization and Applications.- DC Programming and DCA: Thirty Years of Developments.- Dynamic Optimization.- Modelling and Optimization in Nancial Engineering.- Multiobjective Programming.- Numerical Optimization.- Spline Approximation and Optimization.- Variational Principles and Applications.

Modelling, Computation and Optimization in Information Systems and Management Sciences

Автор: Hoai An Le Thi; Tao Pham Dinh; Ngoc Thanh Nguyen
Название: Modelling, Computation and Optimization in Information Systems and Management Sciences
ISBN: 3319181661 ISBN-13(EAN): 9783319181660
Издательство: Springer
Рейтинг:
Цена: 28734.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание:

Data Analysis, Data Mining.- Heuristic / Meta Heuristic Methods for Operational Research Applications.- Optimization Applied to Surveillance and Threat Detection.- Maintenance and Production Control Problems.- Scheduling.- Some Topic in Post Crises Banking and Eco-finance Modelling.- Transportation.- Technologies and Methods for Multi-stakeholder Decision Analysis in Public Settings.

Design and Implementation of Symbolic Computation Systems

Автор: Alfonso Miola
Название: Design and Implementation of Symbolic Computation Systems
ISBN: 354057235X ISBN-13(EAN): 9783540572350
Издательство: Springer
Рейтинг:
Цена: 11179.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: A collection of research papers that focuses on innovative methodological and technological aspects of the design and implementation of hardware and software systems for symbolic and algebraic computing, automated reasoning, geometric modelling and automatic programming.

Design and Implementation of Symbolic Computation Systems

Автор: Jacques Calmet; Carla Limongelli
Название: Design and Implementation of Symbolic Computation Systems
ISBN: 3540616977 ISBN-13(EAN): 9783540616979
Издательство: Springer
Рейтинг:
Цена: 9781.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This text contains four invited contributions surveying the state of the art in a particular subfield or pointing to new research directions, together with 31 revised full papers from a total of some 70 submissions. Many current aspects of mathematical software systems are addressed.

Site Reliability Engineering: How Google Runs Production Systems

Автор: Beyer Betsy, Jones Chris, Petoff Jennifer
Название: Site Reliability Engineering: How Google Runs Production Systems
ISBN: 149192912X ISBN-13(EAN): 9781491929124
Издательство: Wiley
Рейтинг:
Цена: 7602.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: In this collection of essays and articles, key members of Google`s Site Reliability Team explain how and why their commitment to the entire lifecycle has enabled the company to successfully build, deploy, monitor, and maintain some of the largest software systems in the world.

Reliability and Risk Issues in Large Scale Safety-critical Digital Control Systems

Автор: Poong-Hyun Seong
Название: Reliability and Risk Issues in Large Scale Safety-critical Digital Control Systems
ISBN: 1849967970 ISBN-13(EAN): 9781849967976
Издательство: Springer
Рейтинг:
Цена: 26120.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Here is comprehensive coverage of reliability issues and their countermeasures in large-scale digital control systems, from the hardware and software in digital systems to the human operators who supervise the overall process of large-scale systems.

Decision Control, Management, And Support In Adaptive And Complex Systems

Автор: P. Pavlov & Andreev
Название: Decision Control, Management, And Support In Adaptive And Complex Systems
ISBN: 1466629673 ISBN-13(EAN): 9781466629677
Издательство: Mare Nostrum (Eurospan)
Рейтинг:
Цена: 28413.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: In order to ensure the criteria for monitoring and managing the various problems and design for decision control, a mathematical description of exact human knowledge is required for the management of adaptive and complex systems. <br><br><em>Decision Control, Management, and Support in Adaptive and Complex Systems: Quantitative Models</em> presents an application and demonstration of a new mathematical technique for descriptions of complex systems. This comprehensive collection contains scientific results in the field of contemporary approaches to adaptive decision making that is essential for researchers, scholars, and students alike.

The Human Tutorial Dialogue Project

Автор: Fox
Название: The Human Tutorial Dialogue Project
ISBN: 0805810722 ISBN-13(EAN): 9780805810721
Издательство: Taylor&Francis
Рейтинг:
Цена: 7348.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This volume`s goal is to begin to document the dialogue processes in naturally-occurring human tutoring, in the context of informing the design of intelligent tutoring systems, and of interactive systems in general.

Embedded Systems Design for High-Speed Data Acquisition and Control

Автор: Maurizio Di Paolo Emilio
Название: Embedded Systems Design for High-Speed Data Acquisition and Control
ISBN: 3319068644 ISBN-13(EAN): 9783319068640
Издательство: Springer
Рейтинг:
Цена: 15672.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book serves as a practical guide for practicing engineers who need to design embedded systems for high-speed data acquisition and control systems. The discussion of hardware focuses on microcontroller design (ARM microcontrollers and FPGAs), techniques of embedded design, high speed data acquisition (DAQ) and control systems.


ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
   В Контакте     В Контакте Мед  Мобильная версия