+7(495) 980-12-10
  10:00-18:00 пн-пт
    shop@logobook.ru
   
    Поиск книг                    Поиск по списку ISBN Расширенный поиск    
  Зарубежные издательства Российские издательства  
   Авторы    Каталог книг    Издательства    Новинки    Учебная литература    Специальные предложения  Бестселлеры
 
 
Книги    
Logobook
Книги зарубежных издательств на иностранных языках
Logobook
Книги российских издательств
Logobook
Представительство в Казахстане
 
Вход в систему   
 
Регистрация  Забыли?
 
Информация   
Контакты/Адрес/Проезд
Корзина
Ваши заказы
Доставка и Оплата
Заказ по телефону/email
Помощь
Есть вопрос?
О компании
LgBook.ru
FkBook.ru
 
Online Каталоги   
Cambridge University Press
Каталог учебной литературы
по английскому языку >>>

Oxford University Press
Каталог учебной литературы
по английскому языку >>>



Каталог учебной литературы
по английскому языку >>>

Pearson ELT

Читайте отзывы покупателей и оценивайте качество магазина на Яндекс.Маркете

Real-time systems, Olderog, E-.r. Dierks, H.

Real-time systems

Автор: Olderog, E-.r. Dierks, H.
Название:  Real-time systems
Издательство: Cambridge Academ
Классификация:
Компьютерные сети

ISBN: 0521883334
ISBN-13(EAN): 9780521883337
ISBN: 0-521-88333-4
ISBN-13(EAN): 978-0-521-88333-7
Обложка/Формат: Hardback
Страницы: 344
Вес: 0.81 кг.
Дата издания: 11.09.2008
Язык: ENG
Иллюстрации: 26 b/w illus. 26 tables 50 exercises
Размер: 24.89 x 17.78 x 2.29 cm
Читательская аудитория: Professional & vocational
Подзаголовок: Formal specification and automatic verification
Ссылка на Издательство: Link
Рейтинг:
Поставляется из: Англии
Описание: Real-time systems need to react to certain input stimuli within given time bounds. For example, an airbag in a car has to unfold within 300 milliseconds in a crash. There are many embedded safety-critical applications and each requires real-time specification techniques. This text introduces three of these techniques, based on logic and automata: duration calculus, timed automata, and PLC-automata. The techniques are brought together to form a seamless design flow, from real-time requirements specified in the duration calculus; via designs specified by PLC-automata; and into source code for hardware platforms of embedded systems. The syntax, semantics, and proof methods of the specification techniques are introduced; their most important properties are established; and real-life examples illustrate their use. Detailed case studies and exercises conclude each chapter. Ideal for students of real-time systems or embedded systems, this text will also be of great interest to researchers and professionals in transportation and automation.
Описание: Explains real-time specification techniques (duration calculus, timed automata, and PLC-automata) needed for embedded safety-critical applications.
Дополнительное описание:


 Варианты приобретения 
  Кол-во Наличие на складе Цена р. Купить / Отложить
1 Отсутствует. Возможна поставка под заказ.
При оформлении заказа до: 3 июл 2017
Ориентировочная дата поставки: 24 июл 2017
При условии наличия книги у поставщика.
5434.00
 о цене
Добавить в корзину
Add to Wish list

Отзывы покупателей.
Добавить отзыв.
Neuroanatomy in Clinical Context: An Atlas of Structures, Sections, Systems

Автор: Haines, Duane E.,
Название: Neuroanatomy in Clinical Context: An Atlas of Structures, Sections, Systems
ISBN: 146983202X ISBN-13(EAN): 9781469832029
Издательство: Lippincott Williams & Wilkins
Цена: 3388 р.
Наличие на складе: Есть (1 шт.)
Описание: Neuroanatomy in Clinical Context, Ninth Edition provides everything the student needs to master the anatomy of the central nervous system, all in a clinical setting. Clear explanations;abundant MRI, CT, MRA, and MRV images; full-color photographs and illustrations; hundreds of review questions; and supplemental online resources combine to provide a sound anatomical base for integrating neurobiological and clinical concepts. In thus applying neuroanatomy clinically, the atlas ensures student preparedness for exams and for rotations. This authoritative approach—combined with such salutary features as full-color stained sections, extensive cranial nerve cross-referencing, and systems neurobiology coverage—sustains the legacy of this revolutionary teaching and learning tool as the neuroanatomy atlas.New and hallmark features elucidate neuroanatomy and systems neurobiology for course success!NEW! Chapter on Herniation Syndromes decodes the elegant relationship between brain injury and resulting deficit.NEW! Clinical information integrated throughout the text is screened in blue for quick identification on the page.NEW! Enhanced clinical images emphasize clarity and detail like never before, including full-color images replacing many in black and white, higher-resolution brain scans, and reprocessed spinal cord and brainstem images.MRIs complement full-color anatomical illustrations, allowing for visualization of structures both as they appear to the unaided eye and on imaging studies.Unique, full-color illustrations integrate clinical images of representative lesions with the corresponding deficits highlighted.Full-color stained sections facilitate the easy identification of anatomical features.Dozens of pathway drawings superimposed over MRIs connect structure with function of neural pathways.Located on thePoint, this atlas’s companion website offers a variety of supplementallearning resources to maximize study and review time!Question bank featuring over 280 USMLE-style and chapter-review style questionsBonus dissection photographs and brain slice series
Купить

Real-Time Embedded Systems

Автор: Bertolotti
Название: Real-Time Embedded Systems
ISBN: 1439841543 ISBN-13(EAN): 9781439841549
Издательство: Taylor&Francis
Цена: 11176 р.
Наличие на складе: Есть у поставщика.Поставка под заказ.
Описание: This book gives readers a hands-on, working knowledge of real-time operating systems and how they can be applied in the embedded system domain. The authors assess various case studies, using them as running examples to reinforce introduction of theoretical material. They also discuss increasingly popular open-source operating systems. Helpful for average system designers that have no significant previous experience with real-time operating systems, this book?s content will help readers understand the benefits and weaknesses of each. With this knowledge, they can decide whether or not to adopt it for a project, or rely on more traditional, but less powerful, techniques.
Купить

Control of Electric Machine Drive Systems

Автор: Sul
Название: Control of Electric Machine Drive Systems
ISBN: 0470590793 ISBN-13(EAN): 9780470590799
Издательство: Wiley
Цена: 11088 р.
Наличие на складе: Поставка под заказ.
Купить

IB Environmental Systems & Societies

Автор: Rutherford Jill
Название: IB Environmental Systems & Societies
ISBN: 0198389140 ISBN-13(EAN): 9780198389149
Издательство: Oxford Academ
Цена: от 2345 до 4100 р.
Наличие на складе: Есть
Купить

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
Цена: 3167 р.
Наличие на складе: Есть у поставщика.Поставка под заказ.
Описание:

Building and operating distributed systems is fundamental to large-scale production infrastructure, but doing so in a scalable, reliable, and efficient way requires a lot of trial and error. In this collection of essays and articles, three Site Reliability Engineers from Google explain how the company has successfully navigated these waters over the past decade.

You ll learn how Google continuously deploys and monitors some of the largest software systems in the world, how it s Site Reliability Engineering team learns and improves after outages, and how they balance risk-taking vs reliability with error budgets."
Купить

The Avid Handbook: Advanced Techniques, Strategies, and Survival Information for Avid Editing Systems

Автор: Greg Staten
Название: The Avid Handbook: Advanced Techniques, Strategies, and Survival Information for Avid Editing Systems
ISBN: 0240810813 ISBN-13(EAN): 9780240810812
Издательство: Taylor&Francis
Цена: 2551 р.
Наличие на складе: Поставка под заказ.
Описание: Offering workflow efficiencies for the experienced editor, this title teaches you the hows and whys of operating the system in order to reach streamlined, creative end solutions. It includes information on HD formats and workflows, color-correction and grading capability enhancements, and MXF media standardization.
Купить

Real-Time Concepts for Embedded Systems

Автор: Qing Li
Название: Real-Time Concepts for Embedded Systems
ISBN: 1578201241 ISBN-13(EAN): 9781578201242
Издательство: Taylor&Francis
Цена: 3519 р.
Наличие на складе: Есть у поставщика.Поставка под заказ.
Описание: '...a very good balance between the theory and practice of real-time embedded system designs' - Jun-ichiro itojun Hagino, Ph.D., Research Laboratory, Internet Initiative Japan Inc., IETF IPv6 Operations Working Group (v6ops) co-chair 'A cl. This title helps you to develop a working understanding of the common design patterns and program structures of RTOSs so you can create your own standard building blocks. With the help of this title, you learn how to decompose an application into units, and how to combine these uni s with other objects and services to create standard building blocks.
Купить

DSP for Embedded and Real-Time Systems,

Автор: Robert Oshana
Название: DSP for Embedded and Real-Time Systems,
ISBN: 0123865352 ISBN-13(EAN): 9780123865359
Издательство: Elsevier Science
Цена: 4693 р.
Наличие на складе: Поставка под заказ.
Купить

Real-Time Systems Design and Analysis: Tools for the Practitioner, 4th Edition

Автор: Laplante
Название: Real-Time Systems Design and Analysis: Tools for the Practitioner, 4th Edition
ISBN: 0470768649 ISBN-13(EAN): 9780470768648
Издательство: Wiley
Цена: 10648 р.
Наличие на складе: Поставка под заказ.
Купить

Real-Time Database Systems

Автор: Bestavros
Название: Real-Time Database Systems
ISBN: 0792398971 ISBN-13(EAN): 9780792398974
Издательство: Springer
Цена: 16093 р.
Наличие на складе: Есть у поставщика.Поставка под заказ.
Описание: Despite the growing interest in Real-Time Database Systems, there is no single book that acts as a reference to academics, professionals, and practitioners who wish to understand the issues involved in the design and development of RTDBS. "Real-Time Database Systems: Issues and Applications" fulfills this need. This book presents the spectrum of issues that may arise in various real-time database applications, the available solutions and technologies that may be used to address these issues, and the open problems that need to be tackled in the future.

With rapid advances in this area, several concepts have been proposed without a widely accepted consensus on their definitions and implications. To address this need, the first chapter is an introduction to the key RTDBS concepts and definitions, which is followed by a survey of the state of the art in RTDBS research and practice.The remainder of the book consists of four sections: models and paradigms, applications and benchmarks, scheduling and concurrency control, and experimen al systems. The chapters in each section are contributed by experts in the respective areas.

"Real-Time Database Systems: Issues and Applications" is primarily intended for practicing engineers and researchers working in the growing area of real-time database systems. For practitioners, the book will provide a much needed bridge for technology transfer and continued education. For researchers, this book will provide a comprehensive reference for well-established results.

This book can also be used in a senior or graduate level course on real-time systems, real-time database systems, and database systems or closely related courses.

Купить

Real-Time Database Systems / Architecture and Techniques

Автор: Lam Kam-Yiu, Kuo Tei-Wei
Название: Real-Time Database Systems / Architecture and Techniques
ISBN: 0792372182 ISBN-13(EAN): 9780792372189
Издательство: Springer
Цена: 16093 р.
Наличие на складе: Есть у поставщика.Поставка под заказ.
Описание: In recent years, tremendous research has been devoted to the design of database systems for real-time applications, called real-time database systems (RTDBS), where transactions are associated with deadlines on their completion times, and some of the data objects in the database are associated with temporal constraints on their validity. Examples of important applications of RTDBS include stock trading systems, navigation systems and computer integrated manufacturing. Different transaction scheduling algorithms and concurrency control protocols have been proposed to satisfy transaction timing data temporal constraints. Other design issues important to the performance of a RTDBS are buffer management, index accesses and I/O scheduling. Real-Time Database Systems: Architecture and Techniques summarizes important research results in this area, and serves as an excellent reference for practitioners, researchers and educators of real-time systems and database systems.
Купить

Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems / Joint International Conferences on Formal Modeling and Analysis of Timed Systems, FORMATS 2004 and Formal Techniques in Real Time and Fault-Tolerant Systems, FTRTFT 2004,

Автор: Lakhnech Yassine, Yovine Sergio
Название: Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems / Joint International Conferences on Formal Modeling and Analysis of Timed Systems, FORMATS 2004 and Formal Techniques in Real Time and Fault-Tolerant Systems, FTRTFT 2004,
ISBN: 3540231676 ISBN-13(EAN): 9783540231677
Издательство: Springer
Цена: 4312 р.
Наличие на складе: Есть у поставщика.Поставка под заказ.
Описание: This book constitutes the refereed proceedings of the joint International Conferences Formal Modeling and Analysis of Timed Systems, FORMATS 2004, and Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFT 2004, held in Grenoble, France, in September 2004.The 24 revised full papers presented together with abstracts of 2 invited talks were carefully reviewed and selected from 70 submissions. Among the topics addressed are formal verification, voting systems, formal specification, dependable automation systems, model checking, timed automata, real-time testing, fault-tolerance protocols, fail-safe fault tolerance, real-time scheduling, satisfiability checking, symbolic model checking, stochastic hybrid systems, timed Petri nets, and event recording automata.
Купить


 
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
Visa, Master Card, Diners, AMEX, JCB, Web Money, Yandex Money Сбербанк онлайн