Вы здесь

Главная

Theoretical Aspects of Computing - ICTAC 2021: Proc./18th International Colloquium, Virtual Event, Nur-Sultan, Kazakhstan, September 2021

Количество экземпляров: 
1
Вид: 
Сборник или журнал
Год: 
2021
Ключевые слова: 
логика
формальный метод
theoretical computer science
model checking
integrated circuit layout
теоретическое программирование
синтаксис
информационная система
интерактивная система
лингвистика
цифровая обработка сигнала
распределенная система
встроенная система
пользовательский интерфейс
логическое программирование
обучающая аналитика
анализ данных
Стр.: 
405 p.
Редактор: 
Cerone A.
Olveczky P. C.
Место издания: 
Berlin
Издательство: 
Springer
Серия: 
Lecture Notes in Computer Science
Том: 
12819
Карточка: 

Theoretical Aspects of Computing - ICTAC 2021: Proc./18th International Colloquium, Virtual Event, Nur-Sultan, Kazakhstan, September 2021Ed. by Cerone A., Olveczky P. C..-Berlin.: Springer, 2021.-Vol. 12819.-405 p.-(Lecture Notes in Computer Science).