|
ИСТИНА |
Войти в систему Регистрация |
Интеллектуальная Система Тематического Исследования НАукометрических данных |
||
, Труды Международной конференции "Параллельные вычисления и задачи управления" Москва, 2-4 октября 2001 г. Институт проблем управления им. В.А.Трапезникова РАНсборник
- Год издания: 2001
- Место издания: Изд-во Института проблем управления им. В.А.Трапезникова Москва
- Добавил в систему: Захаров Владимир Анатольевич
Статьи, опубликованные в сборнике
-
- 2001 Инструментальная поддержка проектирования распределенных встроенных вычислительных систем
- Бахмуров А.Г., Смелянский Р.Л., Чистолинов М.В.
- в сборнике , Труды Международной конференции "Параллельные вычисления и задачи управления" Москва, 2-4 октября 2001 г. Институт проблем управления им. В.А.Трапезникова РАН, место издания Изд-во Института проблем управления им. В.А.Трапезникова Москва, с. 33-43
-
- 2001 Теоретико-автоматный подход к определению формальных семантик языков программирования
- Захаров В.А., Кончаков Р.В.
- в сборнике , Труды Международной конференции "Параллельные вычисления и задачи управления" Москва, 2-4 октября 2001 г. Институт проблем управления им. В.А.Трапезникова РАН, место издания Изд-во Института проблем управления им. В.А.Трапезникова Москва, с. 107-114