Библиотека диссертаций Украины Полная информационная поддержка
по диссертациям Украины
  Подробная информация Каталог диссертаций Авторам Отзывы
Служба поддержки




Я ищу:
Головна / Технічні науки / Елементи та пристрої обчислювальної техніки та систем керування


Зайченко Сергій Олександрович. Моделі й методи функціональної верифікації цифрових систем на основі темпоральних асерцій : Дис... канд. наук: 05.13.05 - 2011.

Мистецтвознавство
Геолого-мінералогічні
Сільськогосподарські 		Економічні
Історичні
Філософські 		Юридичні
Філологічні
Географічні 		Педагогічні
Медичні
Фармацевтичні 		Математичні
Ветеринарні
Архітектура		 Психологічні
Військові
Соціологічні 		Технічні
Політичні
Право 		Фізика
Хімічні
Біологічні 		Фізичне виховання
Державне управління
Національна безпека
Договор публичной оферты. © Электронная библиотека диссертаций. Скачать диссертацию. 2007-2018.