РЕФЕРАТИВНА БАЗА ДАНИХ "УКРАЇНІКА НАУКОВА"
Abstract database «Ukrainica Scientific»
НОВІ
НАДХОДЖЕННЯ
ПОШУК
РУБРИКАТОР

Бази даних

Реферативна база даних - результати пошуку

Книжкові видання та компакт-диски
Журнали та продовжувані видання
Автореферати дисертацій
Реферативна база даних
Наукова періодика України
Тематичний навігатор
Авторитетний файл імен осіб
Вид пошуку
у знайденому
Сортувати знайдені документи за:
авторомназвоюроком виданнявидом документа
 Знайдено в інших БД:Книжкові видання та компакт-диски (38)Автореферати дисертацій (3)Наукова періодика України (94)
Пошуковий запит: (<.>A=Тарасюк О$<.>)
Загальна кількість знайдених документів : 72
Представлено документи з 1 до 20
...
1.

Воєводка А.  Формування параметрів імпульсу вибуху в подовжених зарядах сумішевих вибухових речовин. — 2001 // Пробл. охорони праці в Україні.
2.

Тарасюк О. О. Носійство Streptococcus pneumoniae у дітей за різних екологічних умов проживання та чутливість виділених штамів до антибіотиків. — 2005 // Клинич. антибиотикотерапия.
3.

Харченко В. С. Метод и инструментальные средства комплексной метрико-вероятностной оценки надежности программного обеспечения. — 2005 // Электрон. моделирование.
4.

Тарасюк О. М. Анализ и профилирование классификационных схем требований к программному обеспечению. — 2005 // Системи оброб. інформації.
5.

Тарасюк О. М. Методика нормализации статистических данных тестирования программного обеспечения. — 2007 // Радіоелектрон. і комп'ют. системи.
6.

Харченко В. С. Модель и метричная оценка качества научных работ. — 2005 // Системи оброб. інформації.
7.

Білинський Й. Й. Оптико-електронна система дослідження діабетичної стопи. — 2005 // Оптико-електрон. інформ.-енерг. технології.
8.

Бабий С. М. Отыскание законов распределения логических функций от случайных аргументов методом статистических испытаний. — 2008 // Радіоелектрон. і комп'ют. системи.
9.

Мокієнко А. В. Поліовіруси у питній воді: стан проблеми та оцінка діоксиду хлору як засобу вирішення. — 2008 // Мед. перспективи.
10.

Тарасюк О. М. Методи та інструментальні засоби метрико-ймовірнісної оцінки якості програмного забезпечення інформаційно-управляючих систем критичного застосування : Автореф. дис... канд. техн. наук : 05.13.06. — Х., 2004
11.

Тарасюк О. К. Психосоматичні порушення у вагітних з загрозою переривання вагітності, які страждали безпліддям : автореф. дис... канд. мед. наук. — Вінниця, 2008
12.

Тарасюк О. Є. Наукове обгрунтування оптимальних обсягів нормативної бази в галузі радіаційної гігієни : автореф. дис. ... канд. мед. наук: 14.02.01. — К., 2010
13.

Тарасюк О. М. Формальные методы разработки критического программного обеспечения : лекции. — Х., 2009 - (Проект TEMPUS-MASTAC (JEP_26008_2005) MSc and PhD Studies in Aerospace Critical Computing).
14.

Тарасюк О. М. Анализ избыточности протоколов стека TCP/IP. — 2009 // Системи оброб. інформації.
15.

Тарасюк О. М. Комплексирование формальных методов разработки и анализа надежности Event-B и FME(C)A. — 2010 // Мат. машини і системи.
16.

Мохамед Саид Газал Метод проектирования беспроводных компьютерных сетей с учетом требований к пропускной способности. — 2010 // Системи оброб. інформації.
17.

Тарасюк О. М. Насколько формальны формальные методы?. — 2011 // Мат. машини і системи.
18.

Газал Мохамед Саид Повышение производительности беспроводных сетей на основе управления порогом фрагментации пакетов данных. — 2009 // Зб. наук. пр. Харк. ун-ту Повітр. сил.
19.

Тарасюк О. О. Психоемоційні аспекти туберкульозу. — 2011 // Туберкульоз, легеневі хвороби, ВІЛ-інфекція.
20.

Тарасюк О. М. Пример комплексного использования формальных методов спецификации требований и анализа надежности компьютерных систем управления. — 2010 // Системи оброб. інформації.
...
 
Національна бібліотека України імені В. І. Вернадського
Відділ наукового формування національних реферативних ресурсів
Інститут проблем реєстрації інформації НАН України

Всі права захищені © Національна бібліотека України імені В. І. Вернадського