Научная библиотека ТГУ 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.	Компьютерные сети принципы, технологии, протоколы : [учебное пособие для вузов по направлению 552800-"Информатика и вычислительная техника" и по специальностям 220100 "Вычислительные машины, комплексы, системы и сети", 220200-"Автоматизированные системы обработки информации и управления" и 220400- "Программное обеспечение вычислительной техники и автоматизированных систем"] В. Г. Олифер, Н. А. Олифер by Олифер, Виктор Григорьевич \| Олифер, Наталья Алексеевна. Series: Учебник для вузовEdition: 3-е изд.Material type: Text; Format: print ; Literary form: Not fiction Publication details: СПб. [и др.] Питер 2007Availability: No items available : Log in to add tags Add to cart (remove)
	3.	Методы, модели, средства хранения и обработки данных учебник : [для бакалавров и магистрантов всех специальностей, аспирантов] Э. Г. Дадян, Ю. А. Зеленков ; Финансовый ун-т при Правит. Рос. Фед. by Дадян, Эдуард Григорьевич \| Зеленков, Юрий Александрович. Series: Вузовский учебник \| Электронно-библиотечная система "Znanium.com"Material type: Text; Format: print ; Literary form: Not fiction Publication details: Москва Вузовский учебник [и др.] 2017Availability: No items available : Log in to add tags Add to cart (remove)
	4.	Компьютерные сети Принципы, технологии, протоколы: [Учебное пособие для вузов по направлению "Информатика и вычислительная техника" и по специальности "Вычислительные машины, комплексы, системы и сети", "Программное обеспечение вычислительной техники и автоматизированных систем"] В. Г. Олифер, Н. А. Олифер by Олифер, Виктор Григорьевич \| Олифер, Наталья Алексеевна. Material type: Text; Format: print ; Literary form: Not fiction Publication details: Санкт-Петербург [и др. ] Питер 2002Availability: No items available : Log in to add tags Add to cart (remove)
	5.	Компьютерные сети Принципы, технологии, протоколы: Учебное пособие для вузов по направлению "Информатика и вычислительная техника" и по специальности "Вычислительные машины, комплексы, системы и сети", "Программное обеспечение вычислительной техники и автоматизированных систем" В. Г. Олифер, Н. А. Олифер by Олифер, Виктор Григорьевич \| Олифер, Наталья Алексеевна. Material type: Text; Format: print ; Literary form: Not fiction Publication details: СПб. [и др. ] Питер 2001Availability: No items available : Log in to add tags Add to cart (remove)
	6.	Введение в надежное и безопасное распределенное программирование Качин К.,Гуерру Р.,Родригес Л. by Качин К \| Гуерру Р \| Родригес Л. Material type: Text; Format: electronic ; Audience: General; Language: Russian Publication details: Москва ДМК Пресс 2016Online access: Click here to access online \| Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)