Факультетские библиотеки

Карточный/Имидж каталог

Your search returned 6 results.

Results
	1.	No cover image available Организация онтологических баз знаний и программное обеспечение для описания информационных ресурсов в молекулярной спектроскопии диссертация на соискание ученой степени кандидата технических наук : 05.13.11 Привезенцев Алексей Иванович ; науч. рук. Фазлиев А. З. ; СО РАН, Ин-т оптики атмосферы by Привезенцев, Алексей Иванович \| Фазлиев, Александр Зарипович [ths] \| Институт оптики атмосферы (Томск). Material type: Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: Томск [б. и.] 2009Availability: No items available : Place hold Log in to add tags Add to cart (remove)
	2.	Моделирование и верификация цифровых систем на языке VHDL [учебное пособие для студентов учреждения высшего образования по специальностям "Электронные вычислительные средства", "Вычислительные машины, системы и сети", "Программное обеспечение информационных технологий"] П. Н. Бибило, Н. А. Авдеев by Бибило, Петр Николаевич \| Авдеев, Николай Александрович. Material type: Text; Format: print ; Literary form: Not fiction Language: Russian Publication details: Москва Ленанд 2017Availability: No items available : Place hold Log in to add tags Add to cart (remove)
	3.	Введение в анализ информационных технологий [учебник для студентов, обучающихся по направлению 511900 "Информационные технологии"] В. А. Сухомлин by Сухомлин, Владимир Александрович. Material type: Text; Format: print ; Literary form: Not fiction Publication details: М. Горячая линия - Телеком 2003Availability: No items available : Place hold Log in to add tags Add to cart (remove)
	4.	Системная информатика Вып. 7 Сборник научных трудов Под ред. И. В. Поттосина; Рос. акад. наук, Сибирское отд-ние, Ин-т систем информатики им. А. П. Ершова by Поттосин, Игорь Васильевич, 1933-2001 [ред.]. Material type: Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: Новосибирск Наука 2000Other title: Проблемы теории и методологии создания параллельных и распределенных систем.Availability: No items available : Place hold Log in to add tags Add to cart (remove)
	5.	No cover image available Анализ и верификация SDL-спецификаций распределенных систем с помощью языка Dynamic-REAL В. А. Непомнящий, Е. В. Бодин, С. О. Веретнов by Непомнящий, Валерий Александрович \| Бодин, Евгений Викторович \| Веретнов, Сергей Олегович. Source: Вестник Томского государственного университета. Управление, вычислительная техника и информатикаMaterial type: Article; Format: electronic available online Other title: The analysis and verification of SDL-specifications of distributed systems using Dynamic-REAL language.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 Other title: Analysis of the methods for attribute-based access control.Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)