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

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

Описание Дата поступления
96841 11.02.2005
96842 11.02.2005
96843
Карпов, А.Н. — Применение автоматизированной технологии верификации и тестирования на основе формальных спецификаций в разработке телекоммуникационных систем [Электронный ресурс] / А.Н. Карпов, В.П. Котляров. — (Секция "Информационные и управляющие системы"). — Электрон. текстовые дан. (1 файл : 110 Кб) // Материалы...24 - 29 ноября 2003г. [Электронный ресурс] / Санкт-Петербургский государственный политехнический университет. Межвузовская научно-техническая конференция, Неделя науки (32; 2003; Санкт-Петербург); Совет СПбГПУ по научно-исследовательской работе студентов; Под общ. ред. В.В. Глухова. – Санкт-Петербург. – 2004. – Факультет технической кибернетики. Факультет при ЦНИИ РТК. Институт интеллектуальных систем и технологий [Электронный ресурс]. — Ч.5. — Загл. с титул. экрана. — Электрон. версия печ. публикации. — Свободный доступ из сети Интернет (чтение, печать, копирование). — Adobe Acrobat Reader 4.0. — <URL:http://elib.spbstu.ru/dl/005050.pdf>.
11.02.2005
96844 11.02.2005
96845
Голубев, А.А. — Методы разработки расширений (API) и ускорение KJAVA виртуальной машины для мобильных устройств [Электронный ресурс] / А.А. Голубев , В.П. Котляров. — (Секция "Информационные и управляющие системы"). — Электрон. текстовые дан. (1 файл : 94,9 Кб) // Материалы...24 - 29 ноября 2003г. [Электронный ресурс] / Санкт-Петербургский государственный политехнический университет. Межвузовская научно-техническая конференция, Неделя науки (32; 2003; Санкт-Петербург); Совет СПбГПУ по научно-исследовательской работе студентов; Под общ. ред. В.В. Глухова. – Санкт-Петербург. – 2004. – Факультет технической кибернетики. Факультет при ЦНИИ РТК. Институт интеллектуальных систем и технологий [Электронный ресурс]. — Ч.5. — Загл. с титул. экрана. — Электрон. версия печ. публикации. — Свободный доступ из сети Интернет (чтение, печать, копирование). — Adobe Acrobat Reader 4.0. — <URL:http://elib.spbstu.ru/dl/005049.pdf>.
11.02.2005
96846 11.02.2005
96847
Дворянский, Л.В. — Платформенно-независимый метод тестирования [Электронный ресурс] / Л.В. Дворянский, П.В. Дробинцев, В.П. Котляров. — (Секция "Информационные и управляющие системы"). — Электрон. текстовые дан. (1 файл : 93,1 Кб) // Материалы...24 - 29 ноября 2003г. [Электронный ресурс] / Санкт-Петербургский государственный политехнический университет. Межвузовская научно-техническая конференция, Неделя науки (32; 2003; Санкт-Петербург); Совет СПбГПУ по научно-исследовательской работе студентов; Под общ. ред. В.В. Глухова. – Санкт-Петербург. – 2004. – Факультет технической кибернетики. Факультет при ЦНИИ РТК. Институт интеллектуальных систем и технологий [Электронный ресурс]. — Ч.5. — Загл. с титул. экрана. — Электрон. версия печ. публикации. — Свободный доступ из сети Интернет (чтение, печать, копирование). — Adobe Acrobat Reader 4.0. — <URL:http://elib.spbstu.ru/dl/005048.pdf>.
11.02.2005
96848
Дробинцев, П.Д. — Технологии автоматизированной верификации функциональных спецификаций программного обеспечения [Электронный ресурс] / П.Д. Дробинцев, В.П. Котляров. — (Секция "Информационные и управляющие системы"). — Электрон. текстовые дан. (1 файл : 85,9 Кб) // Материалы...24 - 29 ноября 2003г. [Электронный ресурс] / Санкт-Петербургский государственный политехнический университет. Межвузовская научно-техническая конференция, Неделя науки (32; 2003; Санкт-Петербург); Совет СПбГПУ по научно-исследовательской работе студентов; Под общ. ред. В.В. Глухова. – Санкт-Петербург. – 2004. – Факультет технической кибернетики. Факультет при ЦНИИ РТК. Институт интеллектуальных систем и технологий [Электронный ресурс]. — Ч.5. — Загл. с титул. экрана. — Электрон. версия печ. публикации. — Свободный доступ из сети Интернет (чтение, печать, копирование). — Adobe Acrobat Reader 4.0. — <URL:http://elib.spbstu.ru/dl/005047.pdf>.
11.02.2005
96849 11.02.2005
96850
Даишев, М.Ш. — Использование языка формальных спецификаций MSC для автоматизации тестирования приложений платформы .NET [Электронный ресурс] / М.Ш. Даишев, Д.В. Песков, В.П. Котляров. — (Секция "Информационные и управляющие системы"). — Электрон. текстовые дан. (1 файл : 98,9 Кб) // Материалы...24 - 29 ноября 2003г. [Электронный ресурс] / Санкт-Петербургский государственный политехнический университет. Межвузовская научно-техническая конференция, Неделя науки (32; 2003; Санкт-Петербург); Совет СПбГПУ по научно-исследовательской работе студентов; Под общ. ред. В.В. Глухова. – Санкт-Петербург. – 2004. – Факультет технической кибернетики. Факультет при ЦНИИ РТК. Институт интеллектуальных систем и технологий [Электронный ресурс]. — Ч.5. — Загл. с титул. экрана. — Электрон. версия печ. публикации. — Свободный доступ из сети Интернет (чтение, печать, копирование). — Adobe Acrobat Reader 4.0. — <URL:http://elib.spbstu.ru/dl/005046.pdf>.
11.02.2005