Оставить сообщение
Вход в систему
Оставить сообщение
Инструкция по поиску

Последние поступления

Найдено документов: 104 806

№ Описание Дата поступления
98601
Алешин, А.В. — Комутационная система для управления антропоморфными роботами серии АРНЭ [Электронный ресурс] / А.В. Алешин, С.А. Перепелица. — (Секция "Информационные измерительные технологии"). — Электрон. текстовые дан. (1 файл : 71,7Кб) // Материалы...25-30 ноября 2002 года [Электронный ресурс] / Совет СПбГПУ по научно-исследовательской работе студентов; Под ред. В.В. Глухова. – СПб. – 2003. – Факультет технической кибернетики [Электронный ресурс]. — Ч.6. — Загл. с титул. экрана. — Электрон. версия печ. публикации. — Свободный доступ из сети Интернет (чтение, печать, копирование). — Adobe Acrobat Reader 4.0. — <URL:http://elib.spbstu.ru/dl/003436.pdf>.
19.02.2004
98602
Веселов, Д.А. — Разработка схемы обработки данных ИК газоанализатора [Электронный ресурс] / Д.А. Веселов, В.А. Цветков. — (Секция "Информационные измерительные технологии"). — Электрон. текстовые дан. (1 файл : 67,7Кб) // Материалы...25-30 ноября 2002 года [Электронный ресурс] / Совет СПбГПУ по научно-исследовательской работе студентов; Под ред. В.В. Глухова. – СПб. – 2003. – Факультет технической кибернетики [Электронный ресурс]. — Ч.6. — Загл. с титул. экрана. — Электрон. версия печ. публикации. — Свободный доступ из сети Интернет (чтение, печать, копирование). — Adobe Acrobat Reader 4.0. — <URL:http://elib.spbstu.ru/dl/003435.pdf>.
19.02.2004
98603
Солнушкин, К.С. — Поддержка сигналов реального времени POSIX операционными системами LINUX и SUNOS [Электронный ресурс] / К.С. Солнушкин, М.В. Хлудова. — (Секция "Информационные измерительные технологии"). — Электрон. текстовые дан. (1 файл : 84,2Кб) // Материалы...25-30 ноября 2002 года [Электронный ресурс] / Совет СПбГПУ по научно-исследовательской работе студентов; Под ред. В.В. Глухова. – СПб. – 2003. – Факультет технической кибернетики [Электронный ресурс]. — Ч.6. — Загл. с титул. экрана. — Электрон. версия печ. публикации. — Свободный доступ из сети Интернет (чтение, печать, копирование). — Adobe Acrobat Reader 4.0. — <URL:http://elib.spbstu.ru/dl/003434.pdf>.
19.02.2004
98604
Егоров, П.Б. — Концепция симуляционной платформы для выполнения высокоуровневых моделей цифровых систем [Электронный ресурс] / П.Б. Егоров, О.В. Котлярова, В.П. Котляров. — (Секция "Информационные и управляющие системы"). — Электрон. текстовые дан. (1 файл : 79,2Кб) // Материалы...25-30 ноября 2002 года [Электронный ресурс] / Совет СПбГПУ по научно-исследовательской работе студентов; Под ред. В.В. Глухова. – СПб. – 2003. – Факультет технической кибернетики [Электронный ресурс]. — Ч.6. — Загл. с титул. экрана. — Электрон. версия печ. публикации. — Свободный доступ из сети Интернет (чтение, печать, копирование). — Adobe Acrobat Reader 4.0. — <URL:http://elib.spbstu.ru/dl/003433.pdf>.
19.02.2004
98605
Вдовец, Е.М. — Автоматизация тестирования верификатора функциональных спецификаций [Электронный ресурс] / Е.М. Вдовец, П.Д. Дробинцев, В.П. Котляров. — (Секция "Информационные и управляющие системы"). — Электрон. текстовые дан. (1 файл : 95Кб) // Материалы...25-30 ноября 2002 года [Электронный ресурс] / Совет СПбГПУ по научно-исследовательской работе студентов; Под ред. В.В. Глухова. – СПб. – 2003. – Факультет технической кибернетики [Электронный ресурс]. — Ч.6. — Загл. с титул. экрана. — Электрон. версия печ. публикации. — Свободный доступ из сети Интернет (чтение, печать, копирование). — Adobe Acrobat Reader 4.0. — <URL:http://elib.spbstu.ru/dl/003432.pdf>.
19.02.2004
98606
Суворов, Д.С. — Построение переносимых автоматизированных систем тестирования [Электронный ресурс] / Д.С. Суворов, С.А. Коротков, В.П. Котляров. — (Секция "Информационные и управляющие системы"). — Электрон. текстовые дан. (1 файл : 68,6Кб) // Материалы...25-30 ноября 2002 года [Электронный ресурс] / Совет СПбГПУ по научно-исследовательской работе студентов; Под ред. В.В. Глухова. – СПб. – 2003. – Факультет технической кибернетики [Электронный ресурс]. — Ч.6. — Загл. с титул. экрана. — Электрон. версия печ. публикации. — Свободный доступ из сети Интернет (чтение, печать, копирование). — Adobe Acrobat Reader 4.0. — <URL:http://elib.spbstu.ru/dl/003431.pdf>.
19.02.2004
98607
Черкасов, Д.А. — Интеграция описаний на языках MSC и SDL для автоматизации тестирования приложений [Электронный ресурс] / Д.А. Черкасов, В.А. Сухомлинов, В.П. Котляров. — (Секция "Информационные и управляющие системы"). — Электрон. текстовые дан. (1 файл : 68,1Кб) // Материалы...25-30 ноября 2002 года [Электронный ресурс] / Совет СПбГПУ по научно-исследовательской работе студентов; Под ред. В.В. Глухова. – СПб. – 2003. – Факультет технической кибернетики [Электронный ресурс]. — Ч.6. — Загл. с титул. экрана. — Электрон. версия печ. публикации. — Свободный доступ из сети Интернет (чтение, печать, копирование). — Adobe Acrobat Reader 4.0. — <URL:http://elib.spbstu.ru/dl/003430.pdf>.
19.02.2004
98608
Дворянский, Л.В. — Эффективный подход к разработке OMI-совместимых поведенческих моделей [Электронный ресурс] / Л.В. Дворянский, К.В. Орлов, В.П. Котляров. — (Секция "Информационные и управляющие системы"). — Электрон. текстовые дан. (1 файл : 75,7Кб) // Материалы...25-30 ноября 2002 года [Электронный ресурс] / Совет СПбГПУ по научно-исследовательской работе студентов; Под ред. В.В. Глухова. – СПб. – 2003. – Факультет технической кибернетики [Электронный ресурс]. — Ч.6. — Загл. с титул. экрана. — Электрон. версия печ. публикации. — Свободный доступ из сети Интернет (чтение, печать, копирование). — Adobe Acrobat Reader 4.0. — <URL:http://elib.spbstu.ru/dl/003429.pdf>.
19.02.2004
98609
Автоматизация тестирования GUI многоплатформенных приложений [Электронный ресурс] / А.О. Некрасов, Е.А. Савельева, А.В. Гаригин, В.П. Котляров. — (Секция "Информационные и управляющие системы"). — Электрон. текстовые дан. (1 файл : 143Кб) // Материалы...25-30 ноября 2002 года [Электронный ресурс] / Совет СПбГПУ по научно-исследовательской работе студентов; Под ред. В.В. Глухова. – СПб. – 2003. – Факультет технической кибернетики [Электронный ресурс]. — Ч.6. — Загл. с титул. экрана. — Электрон. версия печ. публикации. — Свободный доступ из сети Интернет (чтение, печать, копирование). — Adobe Acrobat Reader 4.0. — <URL:http://elib.spbstu.ru/dl/003428.pdf>.
19.02.2004
98610
Ильин, В.В. — Формальные и полуформальные подходы к верификации моделей полупроводниковых устройств [Электронный ресурс] / В.В. Ильин, А.Н. Волков, М.А. Никитин. — (Секция "Информационные и управляющие системы"). — Электрон. текстовые дан. (1 файл : 86,8Кб) // Материалы...25-30 ноября 2002 года [Электронный ресурс] / Совет СПбГПУ по научно-исследовательской работе студентов; Под ред. В.В. Глухова. – СПб. – 2003. – Факультет технической кибернетики [Электронный ресурс]. — Ч.6. — Загл. с титул. экрана. — Электрон. версия печ. публикации. — Свободный доступ из сети Интернет (чтение, печать, копирование). — Adobe Acrobat Reader 4.0. — <URL:http://elib.spbstu.ru/dl/003427.pdf>.
19.02.2004