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

Search

Your search returned 2 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 Разработка автоматизированного средства для доказательства свойств программ А. О. Жуковская, Д. А. Стефанцов 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)