|
|
1.
|
|
|
|
2.
|
|
|
|
3.
|
|
|
|
4.
|
|
|
|
5.
|
|
|
|
6.
|
|
|
|
7.
|
|
|
|
8.
|
|
|
|
9.
|
|
|
|
10.
|
|
|
|
11.
|
|
|
|
12.
|
Доклады VI Всероссийской конференции с международным участием "Новые информационные технологии в исследовании сложных структур" - ICAM'06, (Шушенское, Национальный парк "Шушенский бор", 5-8 сентября 2006 г. ) [гл. ред. Г. В. Майер ; отв. ред. вып. В. З. Башкатов] by "Новые информационные технологии в исследовании сложных структур", всероссийская конференция с международным участием 6 2006 Шушенское | Майер, Георгий Владимирович, 1948- [edt] | Башкатов, Виктор Захарович, 1935-2013 [edt] | Томский государственный университет. Series: Серия "Математика. Кибернетика. Информатика" Вестник Томского государственного университета. ПриложениеMaterial type:  Set; Format:
electronic
available online
 Publication details: Томск Издательство Томского государственного университета 2006Other title: Материалы международных, всероссийских и региональных научных конференций, симпозиумов, школ, проводимых в ТГУ.Online access: Click here to access online Availability: No items available :
|
|
|
13.
|
|
|
|
14.
|
|
|
|
15.
|
Тестирование автомата в различных контекстах М. В. Ветрова by Ветрова, Мария Викторовна | Томский государственный университет Радиофизический факультет Кафедра информационных технологий в исследовании дискретных структур. Source: Доклады VI Всероссийской конференции с международным участием "Новые информационные технологии в исследовании сложных структур" - ICAM'06 (Шушенское, Национальный парк "Шушенский бор", 5-8 сентября 2006 г.)Material type:  Article; Format:
electronic
available online
; Literary form:
Not fiction
; Audience:
Specialized;
Online access: Click here to access online Availability: No items available :
|
|
|
16.
|
Преобразование спецификации при пассивном тестировании телекоммуникационных протоколов М. В. Жигулин, С. А. Прокопенко, Н. В. Евтушенко by Жигулин, Максим Владимирович | Прокопенко, Светлана Анатольевна | Евтушенко, Нина Владимировна | Томский государственный университет Радиофизический факультет Научные подразделения РФФ | Томский государственный университет Радиофизический факультет Кафедра информационных технологий в исследовании дискретных структур. Source: Доклады VI Всероссийской конференции с международным участием "Новые информационные технологии в исследовании сложных структур" - ICAM'06 (Шушенское, Национальный парк "Шушенский бор", 5-8 сентября 2006 г.)Material type: Article; Format:
electronic
available online
; Literary form:
Not fiction
; Audience:
Specialized;
Online access: Click here to access online Availability: No items available :
|
|
|
17.
|
|
|
|
18.
|
О верхней оценке длины разделяющей последовательности Н. В. Евтушенко, Н. В. Спицина by Евтушенко, Нина Владимировна | Спицына, Наталия Владимировна | Томский государственный университет Радиофизический факультет Кафедра информационных технологий в исследовании дискретных структур. Source: Доклады VI Всероссийской конференции с международным участием "Новые информационные технологии в исследовании сложных структур" - ICAM'06 (Шушенское, Национальный парк "Шушенский бор", 5-8 сентября 2006 г.)Material type: Article; Format:
electronic
available online
; Literary form:
Not fiction
; Audience:
Specialized;
Online access: Click here to access online Availability: No items available :
|
|
|
19.
|
Метод синтеза проверяющих тестов для расширенных автоматов без построения эквивалентного конечного автомата А. В. Коломеец, С. А. Прокопенко by Коломеец, Антон Владимирович | Прокопенко, Светлана Анатольевна | Томский государственный университет Радиофизический факультет Научные подразделения РФФ | Томский государственный университет Радиофизический факультет Кафедра информационных технологий в исследовании дискретных структур. Source: Доклады VI Всероссийской конференции с международным участием "Новые информационные технологии в исследовании сложных структур" - ICAM'06 (Шушенское, Национальный парк "Шушенский бор", 5-8 сентября 2006 г.)Material type: Article; Format:
electronic
available online
; Literary form:
Not fiction
; Audience:
Specialized;
Online access: Click here to access online Availability: No items available :
|
|
|
20.
|
|
|
|
21.
|
Пассивное тестирование программных реализаций протоколов А. В. Шабалдин by Шабалдин, Андрей Владимирович | Томский государственный университет Радиофизический факультет Публикации студентов и аспирантов РФФ. Source: Доклады VI Всероссийской конференции с международным участием "Новые информационные технологии в исследовании сложных структур" - ICAM'06 (Шушенское, Национальный парк "Шушенский бор", 5-8 сентября 2006 г.)Material type: Article; Format:
electronic
available online
; Literary form:
Not fiction
; Audience:
Specialized;
Online access: Click here to access online Availability: No items available :
|
|
|
22.
|
К синтезу тестов по мутационному автомату М. Л. Громов, М. Ю. Дорофеева, А. В. Коломеец by Громов, Максим Леонидович | Дорофеева, Маргарита Юрьевна | Коломеец, Антон Владимирович | Томский государственный университет Радиофизический факультет Публикации студентов и аспирантов РФФ. Source: Доклады VI Всероссийской конференции с международным участием "Новые информационные технологии в исследовании сложных структур" - ICAM'06 (Шушенское, Национальный парк "Шушенский бор", 5-8 сентября 2006 г.)Material type: Article; Format:
electronic
available online
; Literary form:
Not fiction
Online access: Click here to access online Availability: No items available :
|
|
|
23.
|
Этапы тестирования на взаимодействие Н. В. Спицына by Спицына, Наталия Владимировна. Source: Современные проблемы физики и высокие технологии : материалы Международной конференции, посвященной 125-летию ТГУ, 75-летию СФТИ и 50-летию РФФ ТГУ (29 сентября - 4 октября 2003 г.)Material type: Article; Format:
print
festschrift
; Literary form:
Not fiction
; Audience:
Specialized;
Availability: No items available :
|
|
|
24.
|
|
|
|
25.
|
Синтез условных тестов для верификации цифровых контролеров М. В. Ветрова by Ветрова, Мария Викторовна. Source: Современные проблемы физики и высокие технологии : материалы Международной конференции, посвященной 125-летию ТГУ, 75-летию СФТИ и 50-летию РФФ ТГУ (29 сентября - 4 октября 2003 г.)Material type: Article; Format:
print
festschrift
; Literary form:
Not fiction
; Audience:
Specialized;
Availability: No items available :
|
|
|
26.
|
|
|
|
27.
|
Построение минимизированного проверяющего теста, обнаруживающего неисправности безызбыточной ДНФ В. В. Андреева, А. Ю. Матросова by Андреева, Валентина Валерьевна | Матросова, Анжела Юрьевна | Томский государственный университет Факультет прикладной математики и кибернетики Публикации студентов и аспирантов ФПМК | Томский государственный университет Факультет прикладной математики и кибернетики Кафедра программирования. Source: Доклады VI Всероссийской конференции с международным участием "Новые информационные технологии в исследовании сложных структур" - ICAM'06 (Шушенское, Национальный парк "Шушенский бор", 5-8 сентября 2006 г.)Material type: Article; Format:
electronic
available online
; Literary form:
Not fiction
; Audience:
Specialized;
Online access: Click here to access online Availability: No items available :
|
|
|
28.
|
|
|
|
29.
|
О восстановимости дискретных моделей генных сетей А. В. Комаров, А. А. Евдокимов, В. А. Лихошвай by Комаров, А. В | Евдокимов, Александр Андреевич | Лихошвай, Виталий Александрович. Source: Доклады VI Всероссийской конференции с международным участием "Новые информационные технологии в исследовании сложных структур" - ICAM'06 (Шушенское, Национальный парк "Шушенский бор", 5-8 сентября 2006 г.)Material type: Article; Format:
print
; Literary form:
Not fiction
; Audience:
Specialized;
Availability: No items available :
|
|
|
30.
|
|
|
|
31.
|
|
