Scientific Library of Tomsk State University

   Digital catalogue        

Refine your search

Your search returned 10 results.

1.
Соответствие между ошибками в программных реализациях протоколов и расширенных автоматах А. В. Коломеец, С. А. Прокопенко

by Коломеец, Антон Владимирович | Прокопенко, Светлана Анатольевна.

Source: Доклады IV Сибирской научной школы-семинара с международным участием "Проблемы компьютерной безопасности и криптография" - SYBECRYPT'05 (Томск, ТГУ, 6-9 сентября 2005 г.)Material type: Article Article; Format: print ; Literary form: Not fiction ; Audience: Specialized; Availability: No items available :
2.
Проверка переходов в расширенном автомате на основе срезов Ю. В. Михайлов, А. В. Коломеец

by Михайлов, Юрий Владимирович | Коломеец, Антон Владимирович.

Source: Вестник Томского государственного университета. Управление, вычислительная техника и информатикаMaterial type: Article Article; Format: electronic available online remote Online access: Click here to access online Availability: No items available :
3.
Коды, исправляющие ошибки Ч. 1 учебно-методическое пособие Том. гос. ун-т, Радифизический факультет ; сост. Н. В. Евтушенко, А. В. Коломеец

by Евтушенко, Нина Владимировна [com] | Коломеец, Антон Владимирович [com] | Томский государственный университет Радиофизический факультет.

Material type: Text Text; Format: print ; Literary form: Not fiction Publication details: Томск [б. и.] 2004Other title: Линейные коды.Availability: Items available for loan: (34).
4.
Синтез цифровых узлов схем управления многофазными инверторами А. В. Коломеец, М. Л. Громов, С. В. Жарикова, Д. Д. Попов

by Коломеец, Антон Владимирович | Громов, Максим Леонидович | Жарикова, С. В | Попов, Дмитрий Дмитриевич.

Source: Труды 1-й конференции студенческого научно-исследовательского инкубатора, Томск, 15 февраля 2005 г.Material type: Article Article; Format: print ; Literary form: Not fiction ; Audience: Specialized; Availability: No items available :
5.
Алгоритмы синтеза проверяющих тестов для управляющих систем на основе расширенных автоматов диссертация на соискание ученой степени кандидата технических наук : 05.13.01 Коломеец Антон Владимирович ; науч. рук. Евтушенко Н. В. ; Том. гос. ун-т

by Коломеец, Антон Владимирович | Евтушенко, Нина Владимировна [ths] | Томский государственный университет.

Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: Томск [б. и.] 2010Availability: Items available for loan: (1).
6.
К синтезу тестов по мутационному автомату М. Л. Громов, М. Ю. Дорофеева, А. В. Коломеец

by Громов, Максим Леонидович | Дорофеева, Маргарита Юрьевна | Коломеец, Антон Владимирович | Томский государственный университет Радиофизический факультет Публикации студентов и аспирантов РФФ.

Source: Доклады VI Всероссийской конференции с международным участием "Новые информационные технологии в исследовании сложных структур" - ICAM'06 (Шушенское, Национальный парк "Шушенский бор", 5-8 сентября 2006 г.)Material type: Article Article; Format: electronic available online remote; Literary form: Not fiction Online access: Click here to access online Availability: No items available :
7.
Алгоритмы синтеза проверяющих тестов для управляющих систем на основе расширенных автоматов автореферат диссертации на соискание ученой степени кандидата технических наук : 05.13.01

by Коломеец, Антон Владимирович | Томский государственный университет Радиофизический факультет Кафедра информационных технологий в исследовании дискретных структур.

Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction ; Audience: Specialized; Publication details: Томск [б. и.] 2010Online access: Click here to access online Availability: Items available for loan: (2).
8.
Метод синтеза проверяющих тестов для расширенных автоматов без построения эквивалентного конечного автомата А. В. Коломеец, С. А. Прокопенко

by Коломеец, Антон Владимирович | Прокопенко, Светлана Анатольевна | Томский государственный университет Радиофизический факультет Научные подразделения РФФ | Томский государственный университет Радиофизический факультет Кафедра информационных технологий в исследовании дискретных структур.

Source: Доклады VI Всероссийской конференции с международным участием "Новые информационные технологии в исследовании сложных структур" - ICAM'06 (Шушенское, Национальный парк "Шушенский бор", 5-8 сентября 2006 г.)Material type: Article Article; Format: electronic available online remote; Literary form: Not fiction ; Audience: Specialized; Online access: Click here to access online Availability: No items available :
9.
Коды, исправляющие ошибки Электронный ресурс учебно-методический комплекс Евтушенко Н. В., Коломеец А. В., Попов Д. Д. ; Том. гос. ун-т, Ин-т дистанционного образования

by Евтушенко, Нина Владимировна | Коломеец, Антон Владимирович | Попов, Дмитрий Дмитриевич | Томский государственный университет Институт дистанционного образования.

Material type: Computer file Computer file; Format: electronic available online remote Publication details: Томск ИДО ТГУ 2007Online access: Click here to access online Availability: No items available :
10.
Синтез диагностических тестов для программного обеспечения по срезам расширенного автомата С. А. Прокопенко, М. В. Жигулин, А. В. Коломеец, Н. В. Евтушенко

by Жигулин, Максим Владимирович | Коломеец, Антон Владимирович | Евтушенко, Нина Владимировна | Прокопенко, Светлана Анатольевна | Томский государственный университет Радиофизический факультет Кафедра информационных технологий в исследовании дискретных структур | Томский государственный университет Радиофизический факультет Научные подразделения РФФ.

Source: Известия высших учебных заведений. ФизикаMaterial type: Article Article; Format: electronic available online remote Online access: Click here to access online Availability: No items available :