Статья ВВЕДЕНИЕ В ВЕРИФИКАЦИЮ АВТОМАТНЫХ ПРОГРАММ НА ОСНОВЕ МЕТОДА MODEL CHECKING Вельдер С. Э., Шалыто А. А. Ноябрь 2007
Статья ФОРМИРОВАНИЕ НАНОСВИТКОВ В ВЯЗКОЙ ЖИДКОСТИ Блинова И. В., Попов И. Ю., Свитенков А. И., Чивилихин С. А. Ноябрь 2007
Статья РАЗРАБОТКА АВТОМАТИЗИРОВАННОЙ СИСТЕМЫ КОНТРОЛЯ КАЧЕСТВА МИКРО- И НАНОСТРУКТУР Коробейников А. Г., Ткалич В. Л., Папченко Б. П. Ноябрь 2007
Статья АЛГОРИТМ АДАПТАЦИИ С АСТАТИЗМОМ ПЕРВОГО ПОРЯДКА ДЛЯ СТАБИЛИЗАЦИИ ЛИНЕЙНОГО ВОЗМУЩЕННОГО НЕСТАЦИОНАРНОГО ОБЪЕКТА Бобцов А. А., Наговицина А. Г., Никифоров В. О. Ноябрь 2007
Статья СОВРЕМЕННОЕ СОСТОЯНИЕ И ПЕРСПЕКТИВЫ РАЗВИТИЯ ТОМОГРАФИИ Марусина М. Я., Казначеева А. О. Ноябрь 2007
Статья БЕЗАПЕРТУРНЫЙ РАМАНОВСКИЙ НАНОСПЕКТРОМЕТР БЛИЖНЕГО ПОЛЯ: ДЕМОНСТРАЦИЯ ЭФФЕКТА УСИЛЕНИЯ ОПТИЧЕСКОГО ПОЛЯ ПРИ РЕГИСТРАЦИИ РАМАНОВСКИХ СИГНАЛОВ Ким А. А. Октябрь 2007
Статья Основные задачи прикладной теории информационной безопасности АСУ Тутубалин П. И. Октябрь 2007
Статья Использование генетических алгоритмов для решения задачи об «умном муравье» Лобанов П. Г. Октябрь 2007