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

Process Algebra with Timing, J.C.M. Baeten; C.A. Middelburg


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

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

Автор: J.C.M. Baeten; C.A. Middelburg
Название:  Process Algebra with Timing
ISBN: 9783642077883
Издательство: Springer
Классификация:


ISBN-10: 3642077889
Обложка/Формат: Paperback
Страницы: 287
Вес: 0.44 кг.
Дата издания: 15.12.2010
Серия: Monographs in Theoretical Computer Science. An EATCS Series
Язык: English
Размер: 234 x 156 x 17
Основная тема: Computer Science
Ссылка на Издательство: Link
Рейтинг:
Поставляется из: Германии
Описание: This book is concerned with a number of theories that can be used for describ- ing and analyzing systems of interacting components in case it is desirable or necessary to regard their time-dependent behavior. Society is becoming increasingly more dependent on complex computer- based systems that are composed of several components that act concurrently and interact - to synchronize and communicate with each other. The com- plexity of these systems arises to a great extent from the many ways in which their components can interact. The need that these components act and in- teract on time as well adds considerably to the complexity. In developing such a system, it is important to be able to acquire a better understanding of the relevant issues at the conceptual level, to describe the system in a precise way at various levels of detail, and to analyze it on the basis of the descriptions. When the early algebraic theories about processes, such as ACP 16, 17, 20], CCS 49, 50] and CSP 27, 39], were developed for that purpose, the established opinion was still that timing is a concern that can more often than not be treated independently. It is therefore not surprising that timing is deliberately ignored in those theories. They have now all been extended to deal with timing.


Integrated Circuit and System Design: Power and Timing Modeling, Optimization and Simulation

Автор: Jose Monteiro; Rene van Leuken
Название: Integrated Circuit and System Design: Power and Timing Modeling, Optimization and Simulation
ISBN: 3642118011 ISBN-13(EAN): 9783642118012
Издательство: Springer
Рейтинг:
Цена: 10480.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The papers are organized in topical sections on variability & statistical timing, circuit level techniques, power management, low power circuits & technology, system level techniques, power & timing optimization techniques, self-timed circuits, low power circuit analysis & optimization, and low power design studies.

Process Algebra and Probabilistic Methods. Performance Modelling and Verification

Автор: Luca de Alfaro; Stephen Gilmore
Название: Process Algebra and Probabilistic Methods. Performance Modelling and Verification
ISBN: 354042556X ISBN-13(EAN): 9783540425564
Издательство: Springer
Рейтинг:
Цена: 9781.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the refereed proceedings of the Joint Workshop on Process Algebra and Performance Modeling and Probabilistic Methods in Verification, PAPM-PROBMIV 2001, held in Aachen, Germany in September 2001.The 12 revised full papers presented together with one invited paper were carefully reviewed and selected from 23 submissions.

Timing Channels in Cryptography

Автор: Chester Rebeiro; Debdeep Mukhopadhyay; Sarani Bhat
Название: Timing Channels in Cryptography
ISBN: 331938077X ISBN-13(EAN): 9783319380773
Издательство: Springer
Рейтинг:
Цена: 13059.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book deals with timing attacks on cryptographic ciphers. It describes and analyzes various unintended covert timing channels that are formed when ciphers are executed in microprocessors. Various timing attack algorithms are described and analyzed for both block ciphers as well as public-key ciphers.

Process Algebra and Probabilistic Methods: Performance Modeling and Verification

Автор: Holger Hermanns; Roberto Segala
Название: Process Algebra and Probabilistic Methods: Performance Modeling and Verification
ISBN: 3540439137 ISBN-13(EAN): 9783540439134
Издательство: Springer
Рейтинг:
Цена: 9781.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Constitutes the proceedings of the Joint International Workshop on Process Algebra and Performance Modeling and Probabilistic Methods in Verification, held in Denmark in 2002. The 10 papers cover fault-tolerant systems, security analysis, probabilistic protocols, reduction refinement, and more.

Introduction to Process Algebra

Автор: Wan Fokkink
Название: Introduction to Process Algebra
ISBN: 3642085849 ISBN-13(EAN): 9783642085840
Издательство: Springer
Рейтинг:
Цена: 8378.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.


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