Контакты/Проезд  Доставка и Оплата Помощь/Возврат
История
  +7 707 857-29-98
  +7(7172) 65-23-70
  10:00-18:00 пн-пт
  shop@logobook.kz
   
    Поиск книг                        
Найти
  Зарубежные издательства Российские издательства  
Авторы | Каталог книг | Издательства | Новинки | Учебная литература | Акции | Бестселлеры | |
 

Stochastic Models in Reliability, Network Security and System Safety, Quan-Lin Li; Jinting Wang; Hai-Bo Yu


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

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

Автор: Quan-Lin Li; Jinting Wang; Hai-Bo Yu
Название:  Stochastic Models in Reliability, Network Security and System Safety
ISBN: 9789811508639
Издательство: Springer
Классификация:




ISBN-10: 9811508631
Обложка/Формат: Soft cover
Страницы: 497
Вес: 0.80 кг.
Дата издания: 2019
Серия: Communications in Computer and Information Science
Язык: English
Издание: 1st ed. 2019
Иллюстрации: 73 illustrations, color; 48 illustrations, black and white; xxiii, 497 p. 121 illus., 73 illus. in color.
Размер: 234 x 156 x 27
Читательская аудитория: Professional & vocational
Основная тема: Computer Science
Подзаголовок: Essays Dedicated to Professor Jinhua Cao on the Occasion of His 80th Birthday
Ссылка на Издательство: Link
Рейтинг:
Поставляется из: Германии
Описание: This book is dedicated to Jinhua Cao on the occasion of his 80th birthday. Jinhua Cao is one of the most famous reliability theorists. His main contributions include: published over 100 influential scientific papers; published an interesting reliability book in Chinese in 1986, which has greatly influenced the reliability of education, academic research and engineering applications in China; initiated and organized Reliability Professional Society of China (the first part of Operations Research Society of China) since 1981. The high admiration that Professor Cao enjoys in the reliability community all over the world was witnessed by the enthusiastic response of each contributor in this book. The contributors are leading researchers with diverse research perspectives. The research areas of the book iclude a broad range of topics related to reliability models, queueing theory, manufacturing systems, supply chain finance, risk management, Markov decision processes, blockchain and so forth.The book consists of a brief Preface describing the main achievements of Professor Cao; followed by congratulations from Professors Way Kuo and Wei Wayne Li, and by Operations Research Society of China, and Reliability Professional Society of China; and further followed by 25 articles roughly grouped together. Most of the articles are written in a style understandable to a wide audience. This book is useful to anyone interested in recent developments in reliability, network security, system safety, and their stochastic modeling and analysis.
Дополнительное описание: Review Papers.- Reliability Models.- Queueing Theory.- System Safety, Manufacturing Systems and Others.


Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification

Автор: Lecomte
Название: Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
ISBN: 3319339508 ISBN-13(EAN): 9783319339504
Издательство: Springer
Рейтинг:
Цена: 46590.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The Risk Assessment of ERTMS-Based Railway Systems from a Cyber SecurityPerspective: Methodology and Lessons Learned.- Using Formal Proof and B Method at System Level for Industrial Projects.- A Novel Approach to HW/SW Integration Testing of Route-Based Interlocking System Controllers.- A Formal Security Analysis of ERTMS Train to Trackside Protocols.- Operational Security - A Coming Evolution of Railway Operational Procedures under the IT Security Threat.- Risk Assessment of the 3Des in the ERTMS.- Failure Analysis of Chinese Train Control System Level 3 Based on Model Checking.- Correct Formalization of Requirement Specifications: A V-Model for Building Formal Methods.- Static Verification of Railway Scheme and Interlocking Design Data.- Verification of Railway Interlocking - Compositional Approach with OCRA.- Safety Verification of Heterogeneous Railway Networks.- Comparing Formal Verification Approaches of Interlocking Systems.- Predictive Reasoning and Machine Learning for the Enhancement of Reliability in Railway Systems.- Applying Abstract Interpretation to Verify EN-50128 Software Safety Requirements.- The PERF Approach for Formal Verification.- Abstract Software Specifications and Automatic Proof of Refinement.- S3: Proving the Safety of Critical Systems.- Increasing Proofs Automation Rate of Atelier-B Thanks to Alt-Ergo.

Computer Safety, Reliability, and Security

Автор: Alexander Romanovsky; Elena Troubitsyna; Friedeman
Название: Computer Safety, Reliability, and Security
ISBN: 3030266001 ISBN-13(EAN): 9783030266004
Издательство: Springer
Рейтинг:
Цена: 54030.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the proceedings of the 38th International Conference on Computer Safety, Reliability and Security, SAFECOMP 2019, held in Turku, Finland, in September 2019. The 16 full and 5 short papers included in this volume were carefully reviewed and selected from 65 submissions.

Stochastic Reliability and Maintenance Modeling

Автор: Tadashi Dohi; Toshio Nakagawa
Название: Stochastic Reliability and Maintenance Modeling
ISBN: 1447161823 ISBN-13(EAN): 9781447161820
Издательство: Springer
Рейтинг:
Цена: 139310.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: In honor of the work of Professor Shunji Osaki, this book provides a comprehensive study of the legacy of and ongoing research in stochastic reliability and maintenance modeling. It shows readers how to apply the theory to computer and communication systems.

Computer Safety, Reliability, and Security

Автор: Friedemann Bitsch; J?r?mie Guiochet; Mohamed Ka?ni
Название: Computer Safety, Reliability, and Security
ISBN: 3642407927 ISBN-13(EAN): 9783642407925
Издательство: Springer
Рейтинг:
Цена: 46570.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed proceedings of the 32nd International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2013, held in Toulouse, France, in September 2013.The 20 revised full papers presented together with 5 practical experience reports were carefully reviewed and selected from more than 88 submissions.

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification

Автор: Simon Collart-Dutilleul; Thierry Lecomte; Alexande
Название: Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
ISBN: 3030187438 ISBN-13(EAN): 9783030187439
Издательство: Springer
Рейтинг:
Цена: 54030.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed proceedings of the Third International Conference on Reliability, Safety, and Security of Railway Systems, RSSRail 2019, held in Lille, France in June 2019. They cover a range of topics including railways system and infrastructure advance modelling;

Network and System Security

Автор: Zheng Yan; Refik Molva; Wojciech Mazurczyk; Raimo
Название: Network and System Security
ISBN: 3319647008 ISBN-13(EAN): 9783319647005
Издательство: Springer
Рейтинг:
Цена: 93160.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the proceedings of the 11th International Conference on Network and System Security, NSS 2017, held in Helsinki, Finland, in August 2017. This volume also contains 35 contributions of the following workshops: Security Measurements of Cyber Networks (SMCN-2017);

Network and System Security

Автор: Man Ho Au; Barbara Carminati; C.-C. Jay Kuo
Название: Network and System Security
ISBN: 3319116975 ISBN-13(EAN): 9783319116976
Издательство: Springer
Рейтинг:
Цена: 67080.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The papers are organized in topical sections on cloud computing, access control, network security, security analysis, public key cryptography, system security, privacy-preserving systems and biometrics, and key management and distribution.

Stochastic Ageing and Dependence for Reliability

Автор: Chin Diew Lai; R.E. Barlow; Min Xie
Название: Stochastic Ageing and Dependence for Reliability
ISBN: 144192129X ISBN-13(EAN): 9781441921291
Издательство: Springer
Рейтинг:
Цена: 121110.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: A panoramic view of theory and applications of Ageing and Dependence in the use of mathematical methods in reliability and survival analysis. This book has applications, exercises, and examples, and serves as reference book for professors and researchers.

Quality, Reliability, Security and Robustness in Heterogeneous Networks

Автор: Jong-Hyouk Lee; Sangheon Pack
Название: Quality, Reliability, Security and Robustness in Heterogeneous Networks
ISBN: 3319607162 ISBN-13(EAN): 9783319607160
Издательство: Springer
Рейтинг:
Цена: 61490.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed conference proceedings of the 12th EAI International Conference on Quality, Reliability, Security and Robustness in Heterogeneous Networks, QShine 2016, held in Seoul, South Korea, in July 2016.

Quality, Reliability, Security and Robustness in Heterogeneous Systems

Автор: Trung Q. Duong; Nguyen-Son Vo; Van Ca Phan
Название: Quality, Reliability, Security and Robustness in Heterogeneous Systems
ISBN: 3030144127 ISBN-13(EAN): 9783030144128
Издательство: Springer
Рейтинг:
Цена: 39130.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed post-conference proceedings of the 14th EAI International Conference on Quality, Reliability, Security and Robustness in Heterogeneous Networks, QShine 2018, held in Ho Chi Minh City, Vietnam, in December 2018. The 13 revised full papers were carefully reviewed and selected from 28 submissions. The papers are organized thematically in tracks, starting with security and privacy, telecommunication systems and networks, networks and applications.

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

Multi-state System Reliability Analysis and Optimization for Engineers and Industrial Managers

Автор: Anatoly Lisnianski; Ilia Frenkel; Yi Ding
Название: Multi-state System Reliability Analysis and Optimization for Engineers and Industrial Managers
ISBN: 1447157044 ISBN-13(EAN): 9781447157045
Издательство: Springer
Рейтинг:
Цена: 156720.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This practically oriented book presents a comprehensive, up-to-date description of multi-state system (MSS) reliability as a natural extension of classical binary-state reliability. It presents all essential theoretical achievements in the field.


Казахстан, 010000 г. Астана, проспект Туран 43/5, НП2 (офис 2)
ТОО "Логобук" Тел:+7 707 857-29-98 ,+7(7172) 65-23-70 www.logobook.kz
Kaspi QR
   В Контакте     В Контакте Мед  Мобильная версия