Головна Спрощенний режим Посібник користувача
Авторизація
Прізвище
Пароль
 

Бази даних


Електронний каталог бібліотеки- результати пошуку

Вид пошуку

Зона пошуку
у знайденому
 Знайдено у інших БД:Мережеві ресурси (2)Наукові періодичні видання Університету (1)
Формат представлення знайдених документів:
повнийінформаційнийкороткий
Відсортувати знайдені документи за:
авторомназвоюроком виданнятипом документа
Пошуковий запит: (<.>K=верифікація<.>)
Загальна кількість знайдених документів : 23
Показані документи с 1 за 10
 1-10    11-20   21-23 
1.
Шифр: П739395/2015/1
   Журнал

Поліграфія і видавнича справа [Текст] : наук.-техн. зб./ Укр. акад. друкарства. - Львів, 1964 - . - ISSN 0554-4866. - Виходить двічі на рік
2015р. N 1
Зміст:
Дурняк, Б. В. Моделі планування навчального процесу спеціальності вищого навчально¬го закладу / Б. В. Дурняк, В. М. Сеньківський, О. В. Литовченко. - С.11-17. - Бібліогр. в кінці ст.
Кл.слова: навчальний план, навчальна дисципліна, ВНЗ
Гавенко, С. Ф. Імітаційне моделювання процесу руйнування оболонок аромокапсул при використанні аромопродукції / С. Ф. Гавенко, П. Б. Петрик. - С.18-24. - Бібліогр. в кінці ст.
Кл.слова: аромовідбитки, аромокапсули, процеси тертя
Дурняк, Б. В. Модифікація моделей прогнозування / Б. В. Дурняк, М. М. Кляп. - С.25-33. - Бібліогр. в кінці ст.
Кл.слова: інформаційне розширення, система прогнозування, модель прогнозу
Сеньківський, В. М. Дослідження процесу зміщення сторінок книжкових зошитів при комплектуванні підбиранням / В. М. Сеньківський, Т. С. Голубник. - С.34-. - Бібліогр. в кінці ст.
Кл.слова: дослідження, зміщення, сторінки зошита
Дурняк, Б. В. Моделі визначення величини ризику на основі використання ймовірнісних підходів / Б. В. Дурняк, T. М. Майба. - С.42-50. - Бібліогр. в кінці ст.
Кл.слова: ризик, атака, об'єкт
Kulishova, N. Ye. Application of the neuro-fuzzy system for data interpolation during metameric colors reproduction / N. Ye. Kulishova. - С.51-59. - Бібліогр. в кінці ст.
Кл.слова: нейро-фаззі система, нерегулярна інтерполяція, метамірні кольори
Дурняк, Б. В. Особливості використання методів шифрування в задачах захисту інформаційних соціальних мереж / Б. В. Дурняк, T. М. Хомета. - С.60-68. - Бібліогр. в кінці ст.
Кл.слова: інформаційні соціальні системи ICS, верифікація, ідентифікаційні дані
Піх, І. В. Вибір альтернативної системи для формування навчальних електронних ресурсів / І. В. Піх, P. Р. Андріїв. - С.69-76. - Бібліогр. в кінці ст.
Кл.слова: CMS-система, MVC фреймворк, HMVC фреймворк
Гілета, І. В. Моделі прийняття рішень при проектуванні електронного видання / І. В. Гілета. - С.77-83. - Бібліогр. в кінці ст.
Кл.слова: характеристика електронних видань, критерії реалізації бізнес-процесів, лінгвістичні змінні
Bartashevich, S. A. Development of experimental ultrasound device for modification of flexographic photopolymer printing plates / S. A. Bartashevich, S. К. Grudo, S. A. Khokhriakov. - С.84-92. - Бібліогр. в кінці ст.
Кл.слова: фотополімерна друкарська форма, ультразвукова модифікація, півхвильова кливальна система
Казьмірович, O. P. Інформаційно-керуючий пристрій фальцювальних машин з використанням програмованих логічних контролерів / O. P. Казьмірович, P. B. Казьмірович. - С.93-. - Бібліогр. в кінці ст.
Кл.слова: фальцювальні машини, автоматизація, лічильно-групувальний пристрій
Ковпак, В. А. Матриця ідеї нації : соціокомунікативний вимір / В. А. Ковпак. - С.101-110. - Бібліогр. в кінці ст.
Кл.слова: націотворчий дискурс, інформаційно-комунікативна діяльність, національна ідея
Івасенко, Л. О. Науковий стиль як об’єкт дослідження вітчизняних вчених / Л. О. Івасенко. - С.111-120. - Бібліогр. в кінці ст.
Кл.слова: науковий стиль, монографія, дисертація
Рижко, І. В. Мережева наукова періодика в інформаційному просторі України: тенденції та актуальні завдання / І. В. Рижко. - С.121-130. - Бібліогр. в кінці ст.
Кл.слова: електронна наукова періодика, мережовий науковий простір, онлайнові наукові ресурси
Полєжаєв, Ю. Г. Тревел-журналістика як об’єкт наукового осмислення: сфери інтересу та дискусійні проблеми (на матеріалі зарубіжного досвіду) / Ю. Г. Полєжаєв. - С.131-140. - Бібліогр. в кінці ст.
Кл.слова: тревел-журналістика, туризм, лайфстайл-журналізм
Гарматій, О. В. Інформаційні жанри як пріоритетні у практиці інформагентств / О. В. Гарматій. - С.141-148. - Бібліогр. в кінці ст.
Кл.слова: інформаційні агенства, замітка, блискавка
Лозинський, А.-Л. Р. Компіляція у літературі: форми реалізації та проблема плагіату / А.-Л. Р. Лозинський. - С.149-154. - Бібліогр. в кінці ст.
Кл.слова: автор-упорядник, енциклопедія, збірник
Є примірники у відділах:
ГП ЧЗ (19.11.2015р. Прим. 1 - ) (вільний)

Знайти схожі
Перейти до описів статей

2.
72.64я73
О-64


   
    Організація наукових досліджень, написання та захист магістерської дисертації : навчальний посібник / А. Ю. Берко [та ін.] ; за наук. ред. В. В. Пасічника ; М-во освіти і науки України. - Львів : Новий Світ-2000, 2012. - 282 с. - (Комп’ютинґ). - ISBN 978-966-418-116-4 : 110.00 грн.
Паралельні видання: Є повнотекстові версії (для доступу потрібна авторизація) :
ДРНТІ
ББК 72.64я73 + 74.480

Рубрики: Педагогіка--Вища школа--магістерська дисертація

   Наука--Дослідження--Навчальні видання для вищих навчальних закладів


Кл.слова (ненормовані):
магістерська дисертація -- наукова робота -- модульне програмування -- онтології -- інтелектуальні системи -- верифікація даних


Дод.точки доступу:
Берко, Андрій Юліанович
Буров, Євген Вікторович
Верес, Олег Михайлович
Катренко, Анатолій Васильович
Кравець, Петро Олексійович
Нікольський, Юрій Володимирович
Пасічник, Володимир Володимирович
Пасічник, Володимир Володимирович \ред.\
Міністерство освіти і науки України


Примірників всього: 1
Вул. Левка Лук'яненка, 13-Б Абонемент (1)
Вільні:
Вул. Левка Лук'яненка, 13-Б Абонемент (1)

Знайти схожі

3.


    Салапатов, В.
    Перспективи розвитку наукових досліджень ФОТІУС / В. Салапатов, Б. Онищенко, І. Осауленко // Вища школа : наук.-практ. видання. - 2016. - № 4. - С. 26-30. - Бібліогр. в кінці ст. 5 назв. . - ISSN 1682-2366

Рубрики: Підготовка ІТ-фахівців

Кл.слова (ненормовані):
напрями наукових досліджень -- підготовка фахівців з інформатики та комп'ютерних наук
Анотація: Наводиться довідка з історії створення факультету обчислювальної техніки, інтелектуальних та управляючих систем. Висвітлюються основні наукові напрями, за якими на факультеті ведуться дослідження, зокрема автоматні моделі систем, їх верифікація та створення.
Дод.точки доступу:
Онищенко, Б.
Осауленко, І.
Черкаський національний університет ім. Б. Хмельницького \про нього\


Є примірники у відділах:
Ф3 (26.04.2016р. Прим. 3 - ) (вільний)
Ф2 (26.04.2016р. Прим. 4 - ) (вільний)


Знайти схожі

4.
Шифр: І426210053/2016/6
   Журнал

Імідж сучасного педагога [Текст] : всеукраїнський науково-практичний освітньо-популярний журнал. - Полтава : АСМІ, 1999 - . - ISSN 2221-6316. - Виходить 10 раз на рік
2016р. № 6
Зміст:
Палкин, В. А. Книга и Интернет в жизни современного школьника / В. А. Палкин. - С.3-7
Кл.слова: виртуальная культура, цивилизация
Сілаєва, І. Є. Реалізація диференційного підходу у системі післядипломної освіти педагогів професійної школи / І. Є. Сілаєва. - С.8-11
Кл.слова: інноваційна діяльність, науково-методична компетентність, андрагогічні принципи
Стрельніков, В. Ю. Удосконалення форм навчання у сучасній вищій школі: верифікація ідей Михайла Остроградського / В. Ю. Стрельніков. - С.12-16
Кл.слова: інтенсивне навчання
Стрельніков, М. В. Побудова змісту підготовки магістрів бізнес-адміністрування на основі ідей Михайла Остроградського / М. В. Стрельніков. - С.17-21
Кл.слова: змістові модулі, проектний підхід
Лебедик, Л. В. Педагогічні ідеї М. В. Остроградського як методологічна основа підготовки викладачів вищих навчальних закладів споживчої кооперації / Л. В. Лебедик. - С.22-25
Кл.слова: проектування, навчання, сучасні технології
Щукіна, О. В. Особливості позааудиторної діяльності студентів ВНЗ / О. В. Щукіна. - С.26-30
Кл.слова: професійна підготовка, виховна робота, студентське самоврядування
Момот, О. О. Сутність поняття "здоров'язбережувальне середовище" вищого навчального закладу / О. О. Момот. - С.31-33
Кл.слова: знання, складові здоров'я
Ратушко, В. А. Зміст і структура моделі експертного оцінювання управлінської культури керівника ЗНЗ / В. А. Ратушко. - С.34-37
Кл.слова: керівники шкіл
Одайський, С. І. Сучасні підходи до управління педагогічним персоналом ПТНЗ: регіональний аспект / С. І. Одайський. - С.38-43
Кл.слова: педагогічний менеджмент, регіональний розвиток, ключові проблеми
Шумейко, Н. В. Законодавче забезпечення процесу іншомовної підготовки фахівців гуманітарного профілю в університетах Словаччини / Н. В. Шумейко. - С.44-47
Кл.слова: Болонська декларація
Асадчих, О. В. Теоретико-методичні засади інтегративної системи навчання японської мови для академічних цілей / О. В. Асадчих. - С.48-52
Кл.слова: інтеграція
Береза, Л. О. Модель формування лінгвокраїнознавчої компетентності студентів технічних спеціальностей у процесі навчання української мови як іноземної / Л. О. Береза. - С.53-58
Кл.слова: міжкультурна комунікація, принципи навчання, засоби навчання
Грегоращук, Ю. В. Дослідження формування іншомовної комунікативної компетенції / Ю. В. Грегоращук. - С.59-61
Кл.слова: іноземна мова, комунікативний метод, комунікативно-орієнтоване навчання
Дмитренко, О. В. Шляхи реалізації естетичного виховання на уроках іноземної мови / О. В. Дмитренко, Л. В. Бабаш, О. І. Комарова. - С.62-65
Кл.слова: країнознавча мотивація, міжпредметні зв'язки, емоційний фон
Компаній, О. В. Робота над тволром за картиною в початковій школі на основі принципу наступності / О. В. Компаній
Є примірники у відділах: всього 1 : Ф2 (1)
Вільні: Ф2 (1)

Знайти схожі
Перейти до описів статей

5.
Шифр: П706540/2017/6
   Журнал

Право України [Текст] : юридичний журнал/ Національна академія правових наук україни, Нац. акад. наук України, Ін-т держави і права ім. В.М.Корецького, Нац. ун-т "Юридична академія України імені Ярослава Мудрого. - Київ : Право України, 1922 - . - ISSN 1026-9932. - Виходить щомісячно
2017р. № 6
Зміст:
Пархоменко, Н. Концептуальні основи теорії джерел права / Н. Пархоменко. - С.9-16. - Библиогр. в конце ст.
Кл.слова: право, джерело, класифікація, тенденції, нормативно-правовий акт
Теплюк, М. До проблеми якості закону України як джерела права / М. Теплюк, О. Ющик. - С.17-26. - Библиогр. в конце ст.
Кл.слова: законодавчий акт, чинність закону, верховенство права, диспозиція, юридична техніка
Тополевський, Р. Система джерел права України: сучасний стан і перспективи розвитку / Р. Тополевський. - С.27-33. - Библиогр. в конце ст.
Кл.слова: джерела права, система джерел права, футурологія права
Малишев, Б. В. Судова правотворчість у контексті судової реформи в Україні / Б. В. Малишев. - С.34-38. - Библиогр. в конце ст.
Кл.слова: правова система України, судова правотворність, судовий прецкндент
Скрипнюк, О. Актуальні проблеми теорії джерел конституційного права України (аксіологічні, гносеологічні та онтологічні аспекти) / О. Скрипнюк, О. Батанов. - С.39-52. - Библиогр. в конце ст.
Кл.слова: Конституція України, парламенські акти, правова доктрина, правовий звичай
Майданик, Р. Вчення про джерела цивільного права України / Р. Майданик. - С.53-63. - Библиогр. в конце ст.
Кл.слова: цивільне законодавство, квазіпрецендент, локальні правові акти
Ярошенко, О. До питання про місце майбутнього Трудового кодексу України в системі джерел трудового права / О. Ярошенко. - С.64-71. - Библиогр. в конце ст.
Кл.слова: соціальна держава, Трудовий кодекс України, роботодавець
Коломоєць, Т. Джерела адміністративного права: проблемні питання доктринального визначення, класифікації та системного аналізу / Т. Коломоєць. - С.72-79. - Библиогр. в конце ст.
Кл.слова: адміністративне право, класифікація, системний аналіз, критерії, підходи
Панов, М. Джерела кримінального права: поняття, види, правове значення / М. Панов. - С.80-89. - Библиогр. в конце ст.
Кл.слова: кримінальне право, субсидіарні джерела, кримінальна відповідальність
Смирнова, К. Джерела права Європейського Союзу: новітні тенденції розвитку / К. Смирнова. - С.90-97. - Библиогр. в конце ст.
Кл.слова: Європейський Союз, Лісабонський договір, регламент, директива
Щокін, Ю. Конституційна норма щодо міжнародно-правових звичаїв: обґрунтування доцільності і змісту / Ю. Щокін. - С.98-105. - Библиогр. в конце ст.
Кл.слова: локальні звичаї, міжнародно-правовий звичай, норми міжнародного права
Дроздов, О. Non bis in idem — європейський орієнтир для забезпечення сталості та єдності судової практики Верховним Судом (за матеріалами практики Європейського суду з прав людини) / О. Дроздов. - С.110-132. - Библиогр. в конце ст.
Кл.слова: Європейський суд, кримінальне провадження, правопорушення, покарання
Джунь, В. Доктрина установчої влади народу: історичний поступ / В. Джунь. - С.133-144. - Библиогр. в конце ст.
Кл.слова: легітимність, конституційний референдум, суверенітет
Катеринчук, К. Специфіка об’єктивної сторони окремих складів злочинів при посяганнях на здоров’я особи / К. Катеринчук. - С.145-151. - Библиогр. в конце ст.
Кл.слова: побої, мордування, катування, дія, бездіяльність
Марченко, М. Кримінологічний портрет сучасного корупціонера в Україні / М. Марченко. - С.152-158. - Библиогр. в конце ст.
Кл.слова: корупція, злочинець, кримінологічний портрет
Ващук, О. Питання верифікації та валідації у кримінальному провадженні: методи пізнання невербальної інформації / О. Ващук. - С.159-163. - Библиогр. в конце ст.
Кл.слова: верифікація, валідація, кримінальне провадження, досудове розслідування, криміналістика
Фролов, О. Реформа національного процесуального законодавства: пропозиції до законопроекту № 6232 в частині міжнародного комерційного арбітражу / О. Фролов. - С.164-192. - Библиогр. в конце ст.
Кл.слова: арбитраж, банкрутство, арбітражний трибунал, приватизація, державні потреби
Перейти до зовнішнього ресурсу До змісту
Є примірники у відділах: всього 2 : ГП ЧЗ (1), Ф3 (1)
Вільні: ГП ЧЗ (1)
Прим.2 (Ф3) зайнятий

Знайти схожі
Перейти до описів статей

6.
Шифр: К499224528/2017/6
   Журнал

Кибернетика и системный анализ [Текст] : міжнародний науково-теоретичний журнал. - Київ : Інститут кібернетики ім. В. М. Глушкова НАН України, 1995 - . - ISSN 0023-1274. - Виходит раз на два місяця
2017р. № 6
Зміст:
Летичевский, А. А. Кибер-физические системы / А. А. Летичевский, В. Г. Скобелев, В. А. Волков. - С.3-19. - Бібліогр. в кінці ст.
Кл.слова: кібер-фізичні системи, гібридні автомати, верифікація
Анисимов, А. В. Кодирование деревьев с помощью линейных рекуррентных последовательностей / А. В. Анисимов. - С.20-32. - Бібліогр. в кінці ст.
Кл.слова: бінарні дерева, лінійні рекурентні послідовності, числа Фібоначчі
Кривонос, Ю. Г. Методы построения систем анализа и синтеза коммуникационной информации / Ю. Г. Кривонос, Ю. В. Крак, А. В. Бармак. - С.33-43. - Бібліогр. в кінці ст.
Кл.слова: синтез, моделювання, жестова мова
Донець, Г. П. Графовий підхід до розв’язання задач комбінарного розпізнавання / Г. П. Донець. - С.44-53. - Бібліогр. в кінці ст.
Кл.слова: обмежена вибірка, граф пошуку, активні кулі
Проворат, О. І. Достовірність в нечітких системах логічного виведення / О. І. Проворат, О. О. Провотар. - С.54-63. - Бібліогр. в кінці ст.
Кл.слова: нечітка множина, достовірність, ймовірність нечіткої дії
Коваленко, И. Н. Вклад вероятностно-статистической школы Бориса Владимировича Гнеденко в развитие кибернетики и информатики / И. Н. Коваленко. - С.64-72. - Бібліогр. в кінці ст.
Кл.слова: Гнэденко Борис Володимирович, Шор Наум Зуселевич
Сергиенко, И. В. Технология ядра для решения задач дискретной оптимизации / И. В. Сергиенко. - С.73-83. - Бібліогр. в кінці ст.
Кл.слова: технологія ядра, обчислювальний експеримент, порівняльне дослідження алгоритмів
Згуровский, М. З. Общая концепция периодического развития системных мировых конфликтов / М. З. Згуровский. - С.84-95. - Бібліогр. в кінці ст.
Кл.слова: системні світові конфлікти, структурний аналіз, метричні підходи
Ильченко, М. Е. Формирование телекоммуникационных стратегий на основе сценариев в информационном сообществе / М. Е. Ильченко, Л. А. Урывский, А. В. Мошинская. - С.96-106. - Бібліогр. в кінці ст.
Кл.слова: інформаційна послуга, ресурси телекомунікацій
Королюк, Д. В. Різницева дифузійна модель з двома рівноважними станами / Д. В. Королюк, В. С. Королюк. - С.107-117. - Бібліогр. в кінці ст.
Кл.слова: еволюційний процес, класифікація еквілібріумів, стохастична апроксимація
Гупал, А. М. Байесовские процедуры распознавания гематологических заболеваний / А. М. Гупал, Н. А. Гупан, А. Л. Тарасов. - С.118-124. - Бібліогр. в кінці ст.
Кл.слова: баевські процедури, еритроцитози, комбінація показників
Козин, И. В. Фрагментарные структуры в закладах дискретной оптимизации / И. В. Козин, Н. К. Максишко, В. А. Перепелица. - С.125-131. - Бібліогр. в кінці ст.
Кл.слова: локальний алгоритм, еволюційний алгоритм, дискретна оптимізація
Химич, А. Н. Гибридные алгоритмы решения алгебраической проблемы собственных значений с разреженными матрицами / А. Н. Химич, А. В. Попов, А. В. Чистяков. - С.132-146. - Бібліогр. в кінці ст.
Кл.слова: гібридний алгоритм, метод інтерації на підпросторі, гібридна архітектура
Довгий, С. О. Алгоритми методу дискретних особливостей для обчислювальних технологій / С. О. Довгий, С. І. Ляшко, Д. І. Черній. - С.147-159. - Бібліогр. в кінці ст.
Кл.слова: метод дискретних вихорів, обчислювальні технології
Андон, Ф. И. Отображение дескриптивной логики в реляционную модель данных / Ф. И. Андон, В. А. Резниченко, И. С. Чистякова. - С.160-175. - Бібліогр. в кінці ст.
Кл.слова: інтеграція даних, семантичний веб, дескриптивна логіка
Задирака, В. К. Новые модели и методы определения стойкости систем защиты информации / В. К. Задирака, А. М. Кудин. - С.176-184. - Бібліогр. в кінці ст.
Кл.слова: криптологія, стеганографія, радіус інформації
Палагин, А. В. Функционально-ориентированный подход в исследовательском проектировании / А. В. Палагин. - С.185-192. - Бібліогр. в кінці ст.
Кл.слова: дослідницьке проектування, маркетингове дослідження, штучний інтелект
Є примірники у відділах: всього 1 : ГП ЧЗ (1)
Вільні: ГП ЧЗ (1)

Учбова література:
ФІТМ / ІКБ / 122 / Методи реалізації криптографічних механізмів / 9 / ОСН
Знайти схожі
Перейти до описів статей

7.


    Дурняк, Б. В.
    Особливості використання методів шифрування в задачах захисту інформаційних соціальних мереж [Текст] / Б. В. Дурняк, T. М. Хомета // Поліграфія і видавнича справа. - Львів, 2015. - N 1. - С. 60-68. - Бібліогр. в кінці ст.

Кл.слова (ненормовані):
інформаційні соціальні системи ICS -- верифікація -- ідентифікаційні дані
Дод.точки доступу:
Хомета, T. М.


Є примірники у відділах:
ГП ЧЗ (19.11.2015р. Прим. 1 - ) (вільний)


Знайти схожі

8.


    Стрельніков, В. Ю.
    Удосконалення форм навчання у сучасній вищій школі: верифікація ідей Михайла Остроградського [Текст] / В. Ю. Стрельніков // Імідж сучасного педагога. - Полтава, 2016. - № 6. - С. 12-16

Кл.слова (ненормовані):
інтенсивне навчання

Є примірники у відділах: всього 1 : Ф2 (1)
Вільні: Ф2 (1)


Знайти схожі

9.


    Ващук, О.
    Питання верифікації та валідації у кримінальному провадженні: методи пізнання невербальної інформації [Текст] / О. Ващук // Право України. - Київ : Право України, 2017. - № 6. - С. 159-163. - Библиогр. в конце ст.

Кл.слова (ненормовані):
верифікація, валідація, кримінальне провадження -- досудове розслідування -- криміналістика

Є примірники у відділах: всього 2 : ГП ЧЗ (1), Ф3 (1)
Вільні: ГП ЧЗ (1)
Прим.2 (Ф3) зайнятий


Знайти схожі

10.


    Летичевский, А. А.
    Кибер-физические системы [Текст] / А. А. Летичевский, В. Г. Скобелев, В. А. Волков // Кибернетика и системный анализ. - Київ : Інститут кібернетики ім. В. М. Глушкова НАН України, 2017. - № 6. - С. 3-19. - Бібліогр. в кінці ст.

Кл.слова (ненормовані):
кібер-фізичні системи -- гібридні автомати -- верифікація
Дод.точки доступу:
Скобелев, В. Г.
Волков, В. А.


Є примірники у відділах: всього 1 : ГП ЧЗ (1)
Вільні: ГП ЧЗ (1)


Знайти схожі

 1-10    11-20   21-23 
 
© Міжнародна Асоціація користувачів і розробників електронних бібліотек і нових інформаційних технологій
(Асоціація ЕБНІТ)