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

Search

Your search returned 7 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.	Системы числового программного управления Электронный ресурс [учебное пособие для студентов вузов по направлению 550200 "Автоматизация и управление", специальности 210200 "Автоматизация технологических процессов и производств" и магистерской программе 550207 "Распределенные компьютерные информационно-управляющие системы"] В. Л. Сосонкин, Г. М. Мартинов by Сосонкин, Владимир Лазаревич \| Мартинов, Георгий Мартинов. Series: Новая университетская библиотекаMaterial type: Text; Format: electronic available online ; Literary form: Not fiction Publication details: Москва Логос 2005Online 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 Other title: Comparison of methods for RNA extraction from potato plants for real-time PCR.Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	4.	Встраиваемые системы. Проектирование приложений на микроконтроллерах семейства 68НС12 / НСS12 с применением языка С Баррет С. Ф.,Пак Д. Д. by Баррет С. Ф \| Пак Д. Д. Material type: Text; Format: electronic ; Audience: General; Language: Russian Publication details: Москва ДМК Пресс 2010Online access: Click here to access online \| Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	5.	Четыре измерения искусства Ю. В. Пухначев ; предисл. Б. В. Раушенбаха by Пухначев, Юрий Васильевич, 1941-2005. Series: Из наследия мировой философской мыслиEdition: Изд. 2-еMaterial type: Text; Format: print ; Nature of contents: ; Literary form: Not fiction ; Audience: Specialized; Language: Russian Publication details: Москва ЛИБРОКОМ 2011Availability: No items available : Log in to add tags Add to cart (remove)
	6.	No cover image available Real waiting time in single-server resource queue with Markovian arrival process A. A. Nazarov, A. N. Moiseev, I. L. Lapatin [et al.] by Nazarov, Anatoly A \| Moiseev, Alexander N \| Lapatin, Ivan L \| Paul, Svetlana V \| Lizyura, Olga D \| Pristupa, Pavel V \| Peng, Xi \| Chen, Li \| Bai, Bo. Source: Information Technologies and Mathematical Modelling. Queueing Theory and Applications : 21st International Conference, ITMM 2022, Karshi, Uzbekistan, October 25-29, 2022 : revised selected papersMaterial type: Article; Format: electronic available online ; Literary form: Not fiction ; Audience: Specialized; Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	7.	UML. Проектирование систем реального времени, параллельных и распределенных приложений Гома Х. by Гома Х. Material type: Text; Format: electronic ; Audience: General; Language: Russian Publication details: Москва ДМК Пресс 2007Online access: Click here to access online \| Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)