SOFSEM 2017: Theory and Practice of Computer Science: Proc./43rd International Conference on Current Trends in Theory and Practice of Computer Science, Limerick, Ireland, January 2017 | Мемориальная библиотека А.П. Ершова

Вы здесь

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

1

Вид:

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

Год:

2017

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

теория программирования

практика

вычислительная наука

семантика

спецификация

композиционное программирование

распределенная система

верификация

автоматический анализ

сети петри

теория графов

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

квантовый

матричный

алгоритм

плоский граф

формальный язык

разработка

Стр.:

526 p.

Редактор:

Van Den Brand M.

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

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

Серия:

Lecture Notes in Computer Science

Том:

10139

Карточка:

SOFSEM 2017: Theory and Practice of Computer Science: Proc./43rd International Conference on Current Trends in Theory and Practice of Computer Science, Limerick, Ireland, January 2017Ed. by Steffen B., Baier C., Van Den Brand M., Eder J..-Berlin.: Springer, 2017.-Vol. 10139.-526 p.-(Lecture Notes in Computer Science).

Таблица в старой библиотеке:

MONO12 289