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

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

Your search returned 8 results.

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 : Place hold Log in to add tags Add to cart (remove)
	2.	No cover image available UML. Проектирование систем реального времени, параллельных и распределенных приложений Электронный ресурс Гома Х. by Гома, Х. Material type: Text; Format: electronic available online Publication details: Москва ДМК Пресс 2007Online access: ЭБС Лань \| ЭБС Лань Availability: No items available : Log in to add tags Add to cart (remove)
	3.	Системы числового программного управления Электронный ресурс [учебное пособие для студентов вузов по направлению 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)
	4.	No cover image available Встраиваемые системы. Проектирование приложений на микроконтроллерах семейства 68НС12 / НСS12 с применением языка С Электронный ресурс Баррет С. Ф., Пак Д. Д. by Баррет, С. Ф \| Пак. Material type: Text; Format: electronic available online Publication details: Москва ДМК Пресс 2010Online access: ЭБС Лань \| ЭБС Лань Availability: No items available : Log in to add tags Add to cart (remove)
	5.	No cover image available UML. Проектирование систем реального времени, параллельных и распределенных приложений Электронный ресурс Гома Х. by Гома, Х. Material type: Text; Format: electronic available online Publication details: Москва ДМК Пресс 2007Online access: ЭБС Лань \| ЭБС Лань Availability: No items available : Log in to add tags Add to cart (remove)
	6.	Четыре измерения искусства Ю. В. Пухначев ; предисл. Б. В. Раушенбаха 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 : Place hold Log in to add tags Add to cart (remove)
	7.	No cover image available Встраиваемые системы. Проектирование приложений на микроконтроллерах семейства 68НС12 / НСS12 с применением языка С Электронный ресурс Баррет С. Ф., Пак Д. Д. by Баррет, С. Ф \| Пак. Material type: Text; Format: electronic available online Publication details: Москва ДМК Пресс 2010Online access: ЭБС Лань \| ЭБС Лань Availability: No items available : Log in to add tags Add to cart (remove)
	8.	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)