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

catalog / TECHNICAL SCIENCES / Mathematical modeling, numerical methods and complexes of programs




  • скачать файл:
  • title:
  • Парийская, Екатерина Юрьевна. Символьная верификация непрерывно-дискретных систем. Алгоритм обобщенного таймер-преобразования
  • The number of pages:
  • 200
  • university:
  • Санкт-Петербург
  • The year of defence:
  • 2000
  • brief description:
  • Парийская, Екатерина Юрьевна. Символьная верификация непрерывно-дискретных систем. Алгоритм обобщенного таймер-преобразования : автореферат дис. ... кандидата физико-математических наук : 05.13.18.- Санкт-Петербург, 2000.- 18 с.: ил.
  • bibliography:
  • -
  • Стоимость доставки:
  • 230.00 руб


SEARCH READY THESIS OR ARTICLE




Доставка любой диссертации из России и Украины


THE LAST THESIS

Исследование энергетического спектра кристаллов методом цепных дробей Прудиус, Анатолий Гаврилович
Исследование эффектов динамического рассеяния рентгеновских волн в зависимости от параметров кристаллической системы и природы первичного падающего пучка Аветисян, Гаяне Гарушевна
Исследование эффектов межэкситонного взаимодействия в монокристаллах селенида галлия Каперко, Виктор Павлович
Исследование явлений переноса в кристаллах без центра симметрии Стурман, Борис Ицхакович
Квантовая теория каналирования в многокомпонентных системах с дефектами Кирилюк, Андрей Павлович

THE LAST ARTICLES AND ABSTRACTS

ГБУР ЛЮСЯ ВОЛОДИМИРІВНА АДМІНІСТРАТИВНА ВІДПОВІДАЛЬНІСТЬ ЗА ПРАВОПОРУШЕННЯ У СФЕРІ ВИКОРИСТАННЯ ТА ОХОРОНИ ВОДНИХ РЕСУРСІВ УКРАЇНИ
МИШУНЕНКОВА ОЛЬГА ВЛАДИМИРОВНА Взаимосвязь теоретической и практической подготовки бакалавров по направлению «Туризм и рекреация» в Республике Польша»
Ржевский Валентин Сергеевич Комплексное применение низкочастотного переменного электростатического поля и широкополосной электромагнитной терапии в реабилитации больных с гнойно-воспалительными заболеваниями челюстно-лицевой области
Орехов Генрих Васильевич НАУЧНОЕ ОБОСНОВАНИЕ И ТЕХНИЧЕСКОЕ ИСПОЛЬЗОВАНИЕ ЭФФЕКТА ВЗАИМОДЕЙСТВИЯ КОАКСИАЛЬНЫХ ЦИРКУЛЯЦИОННЫХ ТЕЧЕНИЙ
СОЛЯНИК Анатолий Иванович МЕТОДОЛОГИЯ И ПРИНЦИПЫ УПРАВЛЕНИЯ ПРОЦЕССАМИ САНАТОРНО-КУРОРТНОЙ РЕАБИЛИТАЦИИ НА ОСНОВЕ СИСТЕМЫ МЕНЕДЖМЕНТА КАЧЕСТВА