Символьная верификация непрерывно-дискретных систем. Алгоритм обобщенного таймер-преобразования

Парийская, Екатерина Юрьевна. Символьная верификация непрерывно-дискретных систем. Алгоритм обобщенного таймер-преобразования : автореферат дис. ... кандидата физико-математических наук : 05.13.18.- Санкт-Петербург, 2000.- 18 с.: ил.
Автор
Парийская, Екатерина Юрьевна
Год
2000

  • 99 000 UZS

Рекомендуем вам товары

Математическое моделирование устройств индукционного нагрева
99 000 UZS
Автор
Первухин, Михаил Викторович
Количество страниц
Год
2000
Спектральные свойства периодических массивов квантовых точек и колец в магнитном поле
99 000 UZS
Автор
Попов, Андрей Владимирович
Количество страниц
Год
2000
Математическое моделирование нерегулярных процессов в атомных и субатомных системах
99 000 UZS
Автор
Лавкин Александр Григорьевич
Количество страниц
Год
2002
Моделирование взаимодействия систем защиты информации вычислительных сетей с внешней средой
99 000 UZS
Автор
Лавлинский Валерий Викторович
Количество страниц
Год
2002
Математические модели одномерных сред с конечными и бесконечными скоростями распространения возмущений
99 000 UZS
Автор
Лапин Дмитрий Сергеевич
Количество страниц
Год
2002
Новостной блок
Модули для Opencart 2, Опенкарт 3