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

Книги российских издательств

Представительство в Казахстане
 
Вход в систему
 
Войти
Регистрация  Забыли?
 
Информация
Контакты/Адрес/Проезд
Корзина
Ваши заказы
Доставка и Оплата
Заказ по телефону/email
Помощь
Есть вопрос?
О компании
Политика конфиденциальности
LgBook.ru
FkBook.ru
 
Online Каталоги
Каталог учебной литературы
по английскому языку >>>

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


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 Отсутствует. Возможна поставка под заказ.

При оформлении заказа до: 29 дек 2017
Ориентировочная дата поставки: конец Января
При условии наличия книги у поставщика.
5434.00
 о цене
 Добавить в корзину


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 р.
Наличие на складе: Есть (2 шт.)
Описание: 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.

в Мои желания
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.

в Мои желания
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 р.
Наличие на складе: Поставка под заказ.

в Мои желания
IB Environmental Systems & Societies

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

в Мои желания
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
Рейтинг:
Цена: 18403 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

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

Описание: 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.

в Мои желания
Deadline Scheduling for Real-Time Systems

Автор: Stankovic
Название: Deadline Scheduling for Real-Time Systems
ISBN: 0792382692 ISBN-13(EAN): 9780792382690
Издательство: Springer
Рейтинг:
Цена: 13086 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Offers information on EDF scheduling for real-time systems. This book presents the algorithms and associated analysis, and also discusses guidelines, rules, and implementation considerations. It is intended for researchers, real-time system designers, and instructors and students. It is also intended as a reference to this field.

в Мои желания
Real-Time Database Systems

Автор: Bestavros
Название: Real-Time Database Systems
ISBN: 0792398971 ISBN-13(EAN): 9780792398974
Издательство: Springer
Рейтинг:
Цена: 17633 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: 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 Embedded Systems Software Project Management

Автор: Oshana, Robert
Название: Real-Time Embedded Systems Software Project Management
ISBN: 008094289X ISBN-13(EAN): 9780080942896
Издательство: Elsevier Science
Цена: 3846 р.
Наличие на складе: Невозможна поставка.

Описание: Project management reaches across many disciplines including, of course, embedded systems engineering. This book provides a solid base for enriching and streamlining the design to build lifecycle of a real-time embedded system project. Rob Oshana has 25+ years of experience in the industry which he uses along with real-life case studies and industry examples to set forth a phased lifecycle approach.<br><br>As the first book to present a complete process for project management of embedded systems it contains a wealth of information including tools, guidelines, and techniques applicable from processor selection to integration to deployment. Initial issues presented by a real-time application are discussed including stimuli/repsonse, mapping, and managing of requirements. Optimization, testing, debugging, and integration are all highlighted as part of the lifecycle management process. This book is a must-have for team leads and managers and engineers of all levels trying to understand how their piece of the puzzle fits into the big picture. <br><br>*Focused set of processes, tools, guidelines, and techniques provided for software project management<br>*No other book covers the entire lifecycle of an embedded software product<br>*Filled with industry examples and real-world case studies

в Мои желания

ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
: : : : : : : : : : : : : : : : : : : :