Электронная библиотека (репозиторий) Томского государственного университета
2006

This page is only showing items within the active collection. You can remove the filter by clicking here.

Your search on produced these results.

Add to Quick Collection   All 18 Results

Showing items 1 - 15 of 18.
Sort:
 Add All Items to Quick Collection
Add   Адаптация H-метода для тестирования недетерминированных автоматов относительно редукции
Authors: Дорофеева, Маргарита Юрьевна
Source: Доклады VI Всероссийской конференции с международным участием "Новые информационные технологии в исследовании сложных структур" - ICAM'06 (Шушенское, Национальный парк "Шушенский бор", 5-8 сентября 2006 г.). Томск, 2006. С. 49-53
Type: статьи в сборниках
Date: 2006
Add   Волоконно-оптические линии связи : методическое пособие
Authors: Коханенко, Андрей Павлович
Type: учебные издания
Date: 2006
Description: Электронный образовательный ресурс "Волоконно-оптические линии связи" предназначен для студентов старших курсов высших учебных заведений физических и физико-технических специальностей. Пособие рассмат ... More
Add   Декомпозиция комбинационных схем методом функциональной редукции
Authors: Таланов, Владимир Александрович
Source: Доклады VI Всероссийской конференции с международным участием "Новые информационные технологии в исследовании сложных структур" - ICAM'06 (Шушенское, Национальный парк "Шушенский бор", 5-8 сентября 2006 г.). Томск, 2006. С. 25-27
Type: статьи в сборниках
Date: 2006
Add   Дискретная математика : электронное учебное пособие
Authors: Прокопенко, Светлана Анатольевна | Громов, Максим Леонидович | Жигулин, Максим Владимирович
Type: учебные издания
Date: 2006
Description: Лабораторный практикум содержит комплекс задач и контрольных вопросов к электронному курсу "Дискретная математика". Ресурс разработан в рамках Инновационной образовательной программы ТГУ и предназначе ... More
Add   К синтезу тестов по мутационному автомату
Authors: Громов, Максим Леонидович | Дорофеева, Маргарита Юрьевна | Коломеец, Антон Владимирович
Source: Доклады VI Всероссийской конференции с международным участием "Новые информационные технологии в исследовании сложных структур" - ICAM'06 (Шушенское, Национальный парк "Шушенский бор", 5-8 сентября 2006 г.). Томск, 2006. С. 43-48
Type: статьи в сборниках
Date: 2006
Add   Метод синтеза проверяющих тестов для расширенных автоматов без построения эквивалентного конечного автомата
Authors: Коломеец, Антон Владимирович | Прокопенко, Светлана Анатольевна
Source: Доклады VI Всероссийской конференции с международным участием "Новые информационные технологии в исследовании сложных структур" - ICAM'06 (Шушенское, Национальный парк "Шушенский бор", 5-8 сентября 2006 г.). Томск, 2006. С. 62-66
Type: статьи в сборниках
Date: 2006
Add   О верхней оценке длины разделяющей последовательности
Authors: Евтушенко, Нина Владимировна | Спицына, Наталия Владимировна
Source: Доклады VI Всероссийской конференции с международным участием "Новые информационные технологии в исследовании сложных структур" - ICAM'06 (Шушенское, Национальный парк "Шушенский бор", 5-8 сентября 2006 г.). Томск, 2006. С. 54-58
Type: статьи в сборниках
Date: 2006
Add   Основы радиоэлектроники : компьютерный лабораторный практикум : [учебное пособие для вузов по направлению 010800-Радиофизика и по специальности 010801-Радиофизика и электроника]
Authors: Дейкова, Галина Михайловна | Журавлев, Виктор Алексеевич | Майдановский, Артур Сергеевич
Type: учебные издания
Date: 2006
Add   Пассивное тестирование программных реализаций протоколов
Authors: Шабалдин, Андрей Владимирович
Source: Доклады VI Всероссийской конференции с международным участием "Новые информационные технологии в исследовании сложных структур" - ICAM'06 (Шушенское, Национальный парк "Шушенский бор", 5-8 сентября 2006 г.). Томск, 2006. С. 70-75
Type: статьи в сборниках
Date: 2006
Add   Преобразование спецификации при пассивном тестировании телекоммуникационных протоколов
Authors: Жигулин, Максим Владимирович | Прокопенко, Светлана Анатольевна | Евтушенко, Нина Владимировна
Source: Доклады VI Всероссийской конференции с международным участием "Новые информационные технологии в исследовании сложных структур" - ICAM'06 (Шушенское, Национальный парк "Шушенский бор", 5-8 сентября 2006 г.). Томск, 2006. С. 59-62
Type: статьи в сборниках
Date: 2006
Add   Создание информационной системы "Автоматы"
Authors: Сапунков, Глеб Г. | Ветрова, Мария Викторовна
Source: Доклады VI Всероссийской конференции с международным участием "Новые информационные технологии в исследовании сложных структур" - ICAM'06 (Шушенское, Национальный парк "Шушенский бор", 5-8 сентября 2006 г.). Томск, 2006. С. 145-149
Type: статьи в сборниках
Date: 2006
Add   Статистическая радиофизика : [учебное пособие для студентов, обучающихся по направлению 511500 - Радиофизика и по специальности 013800 - Радиофизика и электроника]
Authors: Якубов, Владимир Петрович
Type: учебные издания
Date: 2006
Add   Статистическая радиофизика : виртуальный лабораторный практикум
Authors: Якубов, Владимир Петрович | Вячистый, Дмитрий Федорович
Type: учебные издания
Date: 2006
Description: Электронный образовательный ресурс предназначен для подготовки специалистов, бакалавров и магистров по специальностям "Радиофизика и электроника", "Оптико-электронные системы" и "Лазерная техника". Пр ... More
Add   Тестирование автомата в различных контекстах
Authors: Ветрова, Мария Викторовна
Source: Доклады VI Всероссийской конференции с международным участием "Новые информационные технологии в исследовании сложных структур" - ICAM'06 (Шушенское, Национальный парк "Шушенский бор", 5-8 сентября 2006 г.). Томск, 2006. С. 39-42
Type: статьи в сборниках
Date: 2006
Add   Управление с прогнозированием нелинейными стохастическими системами при ограничениях
Authors: Домбровский, Владимир Валентинович | Домбровский, Дмитрий Владимирович | Ляшенко, Елена Александровна
Source: Доклады VI Всероссийской конференции с международным участием "Новые информационные технологии в исследовании сложных структур" - ICAM'06 (Шушенское, Национальный парк "Шушенский бор", 5-8 сентября 2006 г.). Томск, 2006. С. 320-323
Type: статьи в сборниках
Date: 2006

Creator

Subject

Resource Type

^