Научная библиотека ТГУ catalog › Results of search for 'su:"коммуникационные протоколы"'

Search

Your search returned 6 results.

	1.	Верификация моделей программ: Model Checking Эдмунд М. Кларк, мл. , Орна Грамберг, Дорон Пелед; Пер. с англ. В. Захаров и др. ; Под ред. Р. Смелянского by Кларк, Эдмунд М. младший \| Грамберг, Орна \| Пелед, Дорон \| Смелянский, Руслан Леонидович [edt]. Material type: Text; Format: print ; Audience: Specialized; Language: Russian Original language: English Publication details: М. МЦНМО 2002Other title: Model Checking.Availability: No items available : Log in to add tags Add to cart (remove)
	2.	No cover image available Глобальные спутниковые системы связи и сети ЭВМ by Виноградов, Б. Н. Series: Технологии электронных коммуникацийMaterial type: Text; Format: print ; Literary form: Not fiction Publication details: М. 1993Availability: No items available : Log in to add tags Add to cart (remove)
	3.	Операционные системы [Т.] 2 [в 2 т.] Х. М. Дейтел, П. Дж. Дейтел, Д. Р. Чофнес ; пер. с англ. под ред. С. М. Молявко by Дейтел, Харви М, 1945- \| Дейтел, Пол Дж, 1969- \| Чофнес, Дэвид Р. Edition: 3-е изд.Material type: Text; Format: print ; Literary form: Not fiction Language: Russian Publication details: Москва БИНОМ 2007Other title: Распределенные системы, сети, безопасность \| Operating systems.Availability: No items available : Log in to add tags Add to cart (remove)
	4.	Введение в распределенные алгоритмы Жерар Тель ; пер. с англ. В. А. Захарова by Тель, Жерар. Material type: Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: Москва Изд-во МЦНМО 2009Other title: Introduction to Distributed Algorithms.Availability: No items available : Log in to add tags Add to cart (remove)
	5.	No cover image available Метод функционально-структурного тестирования программных реализаций коммуникационных протоколов О. Б. Бекназаров, В. Н. Тренькаев by Бекназаров, О. Б \| Тренькаев, Вадим Николаевич. Source: Доклады IV Сибирской научной школы-семинара с международным участием "Проблемы компьютерной безопасности и криптография" - SYBECRYPT'05 (Томск, ТГУ, 6-9 сентября 2005 г.)Material type: Article; Format: print ; Literary form: Not fiction ; Audience: Specialized; Availability: No items available : Log in to add tags Add to cart (remove)
	6.	No cover image available Информатика от абака до Интернета Электронный ресурс Ч. 3 учебно-методический комплекс Том. гос. ун-т, Ин-т дистанционного образования by Гладких, Борис Афанасьевич \| Томский государственный университет Институт дистанционного образования. Material type: Computer file; Format: electronic available online Publication details: Томск ИДО ТГУ 2007Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)