Ви є тут

Программная система КВАНТ/1 для автоматического доказательства теорем

Автор: 

Черкашин Евгений Александрович

Тип роботи: 

Кандидатская

Рік: 

1999

Артикул:

1000253725

179 грн

Додати в кошик

• 
• 
• 

Рекомендовані дисертації

• Исследование и реализация интегрированной корпоративной информационной системы для решения задач управления персоналом
• Разработка объектно-ориентированного математического и программного обеспечения информационных технологий управления индивидуализированным обучением в коррекционной школе
• Методы построения инвариантных серверов web-приложений
• Символьные алгоритмы, связанные с задачами суммирования
• Системы 3D-визуализации индуцированной виртуальной среды
• Комплекс программных средств разработки и поддержки информационного портала корпоративной системы
• Методы и программно-аппаратные средства параллельных структурно-процедурных вычислений
• Исследование и разработка методологии маскировки программ
• Методы и алгоритмы распараллеливания объектного кода для процессоров с программным управлением функциональными устройствами
• Интеллектуализация конструирования информационных систем на базе адаптивных агентных моделей