Quantitative Evaluation of Systems: Proc./15th International Conference, QEST 2018, Beijing, China, September 2018 | Мемориальная библиотека А.П. Ершова

Вы здесь

Количество экземпляров:

1

Вид:

Сборник или журнал

Год:

2018

Ключевые слова:

криптография

теория решений

дифференциальные уравнения

алгоритм обучения

марковские цепи

матричная алгебра

численные методы

вероятностное распределение

система безопасности

семантика

темпоральная логика

верификация

Стр.:

423 p.

Редактор:

Место издания:

Издательство:

Серия:

Lecture Notes in Computer Science

Том:

11024

Карточка:

Quantitative Evaluation of Systems: Proc./15th International Conference, QEST 2018, Beijing, China, September 2018Ed. by McIver A., Horvath A..-Berlin.: Springer, 2018.-Vol. 11024.-423 p.-(Lecture Notes in Computer Science).