Доставка любой диссертации в формате PDF и WORD за 499 руб. на e-mail - 20 мин. 800 000 наименований диссертаций и авторефератов. Все авторефераты диссертаций - БЕСПЛАТНО
Хелемендик, Роман Викторович
01.01.09
Кандидатская
2005
Москва
155 с.
Стоимость:
250 руб.
Диссертационная работа «Алгоритм распознавания выполнимости формул логики ветвящегося времени и его применение», автор — Хелемендик, Роман Викторович, относится к типу: кандидатская диссертация по специальности 01.01.09. Работа подготовлена в городе Москва в 2005 году. Объем работы: 155 с.. Внутренний код товара: 01002800791. На странице представлены основные сведения о диссертации, включая название, автора, год, город, тип работы и шифр специальности.
| Название работы | Автор | Дата защиты |
|---|---|---|
| Алгебраические методы исследования некоторых задач дискретной оптимизации | Грицак, Валерий Владимирович | 1983 |
| Квазиградиентные методы решения задач оптимального управления | Мамонова, Наталья Вячеславовна | 2002 |
| Леса Гальтона-Ватсона и случайные подстановки | Казимиров, Николай Игоревич | 2003 |