Научная библиотека ТГУ catalog › Results of search for 'an:"114451"'

Search

Your search returned 6 results.

	1.	No cover image available Экспериментальные исследования влияния логической дихотомии на скорость сколемизации булевых формул с кванторами Н. П. Шатилов, М. Л. Громов by Шатилов, Никита Петрович \| Громов, Максим Леонидович \| Томский государственный университет Радиофизический факультет Публикации студентов и аспирантов РФФ \| Томский государственный университет Радиофизический факультет Кафедра информационных технологий в исследовании дискретных структур. Source: Известия высших учебных заведений. ФизикаMaterial type: Article; Format: electronic available online Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	2.	No cover image available Проверка свойств конечных автоматов с помощью набора инструментов mCRL2 М. Л. Громов, А. В. Лапутенко by Громов, Максим Леонидович \| Лапутенко, Андрей Владимирович \| Томский государственный университет Радиофизический факультет Кафедра информационных технологий в исследовании дискретных структур \| Томский государственный университет Радиофизический факультет Публикации студентов и аспирантов РФФ. Source: Известия высших учебных заведений. ФизикаMaterial type: Article; Format: electronic available online Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	3.	No cover image available К упрощению сколемовых функций в булевых формулах с кванторами Н. П. Шатилов, М. Л. Громов by Шатилов, Никита Петрович \| Громов, Максим Леонидович \| Томский государственный университет Радиофизический факультет Публикации студентов и аспирантов РФФ \| Томский государственный университет Радиофизический факультет Кафедра информационных технологий в исследовании дискретных структур. Source: Известия высших учебных заведений. ФизикаMaterial type: Article; Format: electronic available online Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	4.	No cover image available Программный комплекс моделирования телекоммуникационной сети Е. П. Оленюк, М. Л. Громов by Оленюк, Евгения Петровна \| Громов, Максим Леонидович \| Томский государственный университет Радиофизический факультет Публикации студентов и аспирантов РФФ \| Томский государственный университет Радиофизический факультет Кафедра информационных технологий в исследовании дискретных структур. Source: Известия высших учебных заведений. ФизикаMaterial type: Article; Format: electronic available online Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	5.	No cover image available К синтезу тестов по мутационному автомату М. Л. Громов, М. Ю. Дорофеева, А. В. Коломеец 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 : Log in to add tags Add to cart (remove)
	6.	No cover image available Различающие эксперименты с неинициальными недетерминированными автоматами М. Л. Громов, Н. Г. Кушик, Н. В. Евтушенко by Громов, Максим Леонидович \| Кушик, Наталья Геннадьевна \| Евтушенко, Нина Владимировна \| Томский государственный университет Радиофизический факультет Кафедра информационных технологий в исследовании дискретных структур \| Томский государственный университет Радиофизический факультет Публикации студентов и аспирантов РФФ. Source: Вестник Томского государственного университета. Управление, вычислительная техника и информатикаMaterial type: Article; Format: electronic available online Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)