Зведений каталог Житомирської обласної універсальної наукової бібліотеки ім. О. Ольжича та бібліотек Житомирської області

Про нас

Електронний депозитарій LIBO

Зведений каталог України

Бази даних

Електронний каталог ЖОУНБ ім. О. Ольжича- результати пошуку

Вид пошуку

Електронний каталог ЖОУНБ ім. О. Ольжича

Цінні та рідкісні видання ЖОУНБ ім. О. Ольжича

Звягельська бібліотека ЗМР

Зона пошуку

у знайденому

Формат представлення знайдених документів:
повний	інформаційний	короткий

Відсортувати знайдені документи за:
автором	назвою	роком видання	типом документа

Пошуковий запит: <.>K=формалізація<.>

Загальна кількість знайдених документів : 46
Показані документи с 1 за 20

1-20 21-40 41-46

    Богданович, В.
    Формалізація стратегічного планування у сфері державного управління [Текст] / В. Богданович, А. Семенченко // Економіка України : Політико-економічний журнал Мін-ства економіки України, Мін-ства фінансів України та Нац. Академії Наук України. - К. : Преса України, 2007. - N 2. - С. 13-26
Рубрики: Управління економікою: теорія і практика

Кл.слова (ненормовані):
Державне управління

Утримувачі документа:
ЖОУНБ

Дод.точки доступу:
Семенченко, А.

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

Знайти схожі

510.2
Т76

Трохимчук, Петро Павлович.
Математичні основи знань. Поліметричний підхід [] : монографія / Петро Трохимчук ; М-во освіти і науки України, Східноєвроп. нац. ун-т ім. Л. Українки. - Вид. 2-ге, випр. та допов. - Луцьк : Вежа-Друк, 2014. - 621, [3] с. : рис., табл. - Л-ра: с. 532-573. - Дод.: с. 574-600. - Предм.-ім. покажч.: с. 601-617. - ISBN 978-966-2750-01-7 : 50.00 грн

УДК

510.2

535

ББК 22.12 + 22.34
Рубрики: Математика--Наукові видання
Оптика--Наукові видання

Кл.слова (ненормовані):
оптимальна формалізація знань -- оптимальная формализация знаний -- поліметричний аналіз -- полиметрический анализ -- поліметричний метод -- полиметрический метод -- застосування поліметричного методу -- применение полиметрического метода -- релаксаційна оптика -- релаксационная оптика
Анотація: У монографії аналізується проблема оптимальної формалізації знань, наведено основи поліметричного методу, проаналізовано основи релаксаційної оптики.

Утримувачі документа:
ЖОУНБ ім. О. Ольжича

Дод.точки доступу:
Міністерство освіти і науки України; Східноєвропейський національний університет імені Лесі Українки
Примірників всього: 1
ЧЗ (1)
Свободны: ЧЗ (1)
Знайти схожі

Лєонов, С. В.
Формалізація функціональних обмежень діяльності інститутів спільного інвестування на основі порівняльного аналізу фінансових ринків країн групи FM CEEC [] / С. В. Лєонов, Т. А. Васильєва, Д. Л. Циганюк // Актуал. пробл. екон. : наук. економ. журнал. - 2012. - N 8. - С. 75-85. - Л-ра в кінці ст.
Рубрики: Інвестиції--Україна
Кл.слова (ненормовані):
інвестиційні фонди

Утримувачі документа:
ЖОУНБ ім. О. Ольжича

Дод.точки доступу:
Васильєва, Т. А.; Циганюк, Д. Л.

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

Знайти схожі

621.3.049.77
К-56

Коваль, Владимир Александрович.
Модели и методы обеспечения функциональной и технологической воспроизводимости интегральных микросхем [] / В. А. Коваль. - Л. : Вища шк., 1985. - 200 с. : рис., табл. - Лит.: с. 192-197. - 2.20 р.

УДК

621.3.049.77

ББК 32.844.1
Рубрики: Інтегральні мікросхеми--Моделювання--Наукові видання

Кл.слова (ненормовані):
конструктивные решения -- конструктивні рішення -- технологические процессы -- технологічні процеси -- технологическая воспроизводимость -- технологічна відтворюваність -- технологическая подготовка производства -- технологічна підготовка виробництва -- конструктивно-технологические рашения -- конструктивно-технологічні рішення -- идентификация параметров -- ідентифікація параметрів -- оптимальные конструкции -- оптимальні конструкції -- макромодели конструкций -- макромоделі конструкцій -- теплоэлектрическая совместимость параметров -- теплоелектрична сумістність параметрів -- формализация задачи назначения допусков -- формалізація задачі призначення допусків -- формализация методов принятия решений -- формалізація методів прйняття рішень
Анотація: Методы моделирования, анализа и принятия конструктивно-технологических решений на ЭВМ, обеспечивающие функционально-технологическую воспроизводимость ИМС.

Утримувачі документа:
ЖОУНБ ім. О. Ольжича
Примірників всього: 1
ВВ (1)
Свободны: ВВ (1)
Знайти схожі

621.7
П84

Процеси механічної обробки в машинобудуванні [Текст] : зб. наук. праць / М-во освіти і науки України, Житомир. держ. технол. ун-т ; [відп. ред. Г. М. Виговський]. - Житомир : ЖДТУ, 2005 - . - ISSN 1817-2997.
Вип. 14 / [редкол.: Мельничук П. П. (голов. ред.) та ін.]. - 2013. - 203, [1] с. : рис., табл. - Л-ра в кінці ст. - 29.00 грн

УДК

621.7

ББК 34.63
Рубрики: Машинобудування--Механічна обробка--Наукові видання

Кл.слова (ненормовані):
місцеві видання -- местные издания -- металічні сплави -- металлические сплавы -- інтегровані САПР -- интегрированные САПР -- інтерактивна формалізація -- интерактивная формализация -- зубошліфування -- зубошлифование -- зубчасті колеса -- зубчатые колеса -- абразивна обробка -- абразивная обработка -- інструментальні матеріали -- инструментальные материалы -- точіння загартованої сталі -- точение закаленной стали -- вуглеродні сплави -- углеродистые сплавы -- зносостійкий чавун -- износостойкий чугун -- свердління -- сверление -- метрологічне забезпечення -- метрологическое обеспечение -- оптичне виробництво -- оптическое производство -- кіборит -- киборит
Анотація: Статті провідних науковців України (в т.ч. Житомирського державного технологічного університету) та зарубіжжя з питань стану, перспектив та концепцій розвитку процесів механічної обробки.

Утримувачі документа:
ЖОУНБ ім. О. Ольжича

Дод.точки доступу:
Виговський, Г. М. \ред.\; Мельничук, П. П. \ред.\; Лоєв, В. Ю. \ред.\; Верезуб, М. В. \ред.\; Виноградов, О. О. \ред.\; Наукове життя краю 11; Міністерство освіти і науки України; Житомирський державний технологічний університет
Примірників всього: 1
КР (1)
Свободны: КР (1)
Знайти схожі

007(035)
И 85

Искусственный интеллект [Текст] : справочник : в 3 т. - М. : Радио и связь, 1990. - ISBN 5-256-00756-4.
Кн. 2 : Модели и методы / под ред. Д. А. Поспелова. - 1990. - 304 с. : рис., табл. - Лит.: с. 257-303. - ISBN 5-256-00368-2 (кн. 2) : 1.80 р.

УДК

007(035)

ББК 32.813я2
Рубрики: Системи штучного інтелекту--Моделі--Довідкові видання

Кл.слова (ненормовані):
логические модели -- логічні моделі -- сетевые модели -- мережеві моделі -- продукционные модели -- продукційні моделі -- формализация знаний -- формалізація знань -- пополнение знаний -- поповнення знань -- машинное творчество -- машинна творчість -- когнитивная компьютерная графика -- когнетивна комп'ютерна графіка -- распознавание образов -- розпізнаання образів -- зрительное восприятие человека -- зорове сприйняття людини -- восприятие двухмерных изображений -- сприйняття двомірних зображень -- восприятие трехмерных сцен -- сприйняття трьохмірних сцен -- модели обучения -- моделі навчання -- планирование решения задач -- планування вирішення завдань
Анотація: Направления теории интеллектуальных систем: представление знаний, логический вывод на знаниях, языки общения, понимание текстов, модели обучения.

Утримувачі документа:
ЖОУНБ ім. О. Ольжича

Дод.точки доступу:
Поспелов, Д. А. \ред.\
Примірників всього: 1
ВВ (1)
Свободны: ВВ (1)
Знайти схожі

Кузьмін, О. Є.
Система контролю діяльності промислового підприємства: формування та формалізація [] / О. Є. Кузьмін, М. В. Кізло // Актуал. пробл. екон. : наук. економ. журнал. - 2012. - N 4. - С. 184-194. - Л-ра в кінці ст.
Рубрики: Підприємства--Управління--Україна

Утримувачі документа:
ЖОУНБ ім. О. Ольжича

Дод.точки доступу:
Кізло, М. В.

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

Знайти схожі

Сухіна, О. М.
Методологічний підхід до визначення розміру екологічної ренти [] / О. М. Сухіна // Регіон. екон. - 2018. - N 1. - С. 85-93. - Бібліогр. в кінці ст. . - ISSN 1562-0905
Рубрики: Природокористування--Податки--Україна
Кл.слова (ненормовані):
екологічна рента -- формалізація оцінки -- інноваційна методологія оцінки -- екологічний рентний платіж

Утримувачі документа:
ЖОУНБ ім. О. Ольжича

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

Знайти схожі

007
О-79

Осуга, Сэцуо.
Обработка знаний [] / С. Осуга ; пер. с англ. В. И. Этовой. - М. : Мир, 1989. - 293 с. : рис., табл. - ISBN 4-274-07321-1 : 1.10 р.

УДК

007

ББК 32.813
Рубрики: Штучний інтелект--Наукові видання
Кл.слова (ненормовані):
системи обработки информации -- системи обробки інформації -- полезность знаний -- корисність знань -- инженерия знаний -- інженерія знань -- логика предикатов -- логіка предикатів -- теория множеств -- теорія множин -- интерпретация аксиом -- інтерпритація аксіом -- формализация проблемы -- формалізація проблеми -- описание проблемы -- опис проблем -- описание моделей -- опис моделей -- декларативные языки -- декларативні мови -- универсальные модели -- універсальні моделі
Анотація: Исследования по искусственному интеллекту, методы представления знаний в экспертных системах.

Утримувачі документа:
ЖОУНБ ім. О. Ольжича

Дод.точки доступу:
Этова, В. И. \пер.\
Примірників всього: 2
ВВ (1), ФОНД (1)
Свободны: ВВ (1), ФОНД (1)
Знайти схожі

10.

621.81.04
Б72

Боброва, Инна Васильевна.
Основы автоматизированного проектирования технологических процессов электрофизических и электрохимических методов обработки [] : учеб. пособие / И. В. Боброва, А. С. Столбунов ; Центр. правление Всесоюз. науч.-техн. о-ва машиностроителей, Ун-т техн. прогресса в машиностроении. - Москва : Машиностроение, 1990. - 40 с. : рис., табл. - Лит.: с. 38. - ISBN 5-217-00786-9 : 2.00 крб

УДК

621.81.04

ББК 34.55
Рубрики: Деталі машин--Електрообробка--Автоматизоване проектування--Навчальні видання для підвищення кваліфікації

Кл.слова (ненормовані):
формализация технологических знаний -- формалізація технологічних знань -- математическое моделирование проектирования технологий -- математичне моделювання проектування технологій -- автоматизированное проектирование -- автоматизоване проектування -- электроэрозионная обработка -- електроерозійна обробка
Анотація: Изложены основы построения системы автоматизированного проектирования технологии электрофизических и электрохимических методов обработки как интегрированной системы.

Утримувачі документа:
ЖОУНБ ім. О. Ольжича

Дод.точки доступу:
Столбунов, Анатолий Семенович; Центральное правление Всесоюзного научно-технического общества машиностроителейУниверситет технического прогресса в машиностроении
Примірників всього: 1
ВВ (1)
Свободны: ВВ (1)
Знайти схожі

11.

004.652
М45

Мейер, Давид.
Теория реляционных баз данных [] = The Theory of Relational Databases : монография / Д. Мейер ; пер. c англ.: М. К. Валиева, С. М. Ефимовой, И. С. Захаревича ; под ред. М. Ш. Цаленко. - Москва : Мир, 1987. - 608 с. : рис., табл. - Лит.: с. 579-597. - Предм. указ.: с. 598-603. - 2.80 р.

УДК

004.652

ББК 32.973
Рубрики: Реляційні бази даних--Теорія--Наукові видання

Кл.слова (ненормовані):
реляционные операторы -- реляційні оператори -- формализация отношений -- формалізація відносин -- функциональные зависимости -- функціональні залежності -- многозначные зависимости -- багатозначні залежності -- зависимости соединения -- залежності з'єднання -- теория представлений -- теорія зображень -- системы запросов -- системи запитів -- модификация запросов -- модифікація запитів -- неопределенные значения -- невизначені значення -- неоднородная информация -- неоднорідна інформація -- семантика баз данных -- семантика баз даних -- ациклические схемы баз данных -- ациклічні схеми баз даних -- реляционные языки запросов -- реляційні мови запитів -- границы реляционной алгебры -- кордони реляційної алгебри
Анотація: Теоретические результаты по математическому моделированию баз данных: исследования, базы данных с частичной информацией, их семантика, зависимость данных.

Утримувачі документа:
ЖОУНБ ім. О. Ольжича

Дод.точки доступу:
Валиев, М. К. \пер.\; Ефимова, С. М. \пер.\; Захаревич, И. С. \пер.\; Цаленко, М. Ш. \ред.\
Примірників всього: 2
ВВ (1), ФОНД (1)
Свободны: ВВ (1), ФОНД (1)
Знайти схожі

12.

    Хорунжак, Надія.
    Формалізація моделі мотивації працівників і оцінки її ефективності [] / Н. Хорунжак // Вісник Тернопільського національного економічного університету : наук. журнал. - 2018. - N 1. - С. 85-97. - Бібліогр. в кінці ст. . - ISSN 1993-0240
Рубрики: Підприємства--Управління
   Персонал--Заробітна плата
Кл.слова (ненормовані):
мотивація -- оплата праці -- мотиваційна модель -- формалізація -- програмний модуль

Утримувачі документа:
ЖОУНБ ім. О. Ольжича

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

Знайти схожі

13.

    Обушина, Н. І.
    Передумови становлення та розвитку інституту публічного аудиту в Україні: об'єктивна необхідність та формалізація [] / Н. І. Обушина // Вісник Національної академії державного управління при Президентові України. - 2017. - N 3. - С. 52-59. - Бібліогр. в кінці ст.
Рубрики: Аудит--Розвиток--Україна
   Державне управління--Україна
   Фінансовий контроль--Україна
Кл.слова (ненормовані):
публічне управління -- демократичне врядування

Утримувачі документа:
ЖОУНБ ім. О. Ольжича

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

Знайти схожі

14.

Малік, Микола Йосипович.
Інституційна формалізація розвитку сімейних фермерських господарств в Україні [] / М. Й. Малік, О. Г. Шпикуляк, В. А. Мамчур // Економіка АПК. - 2018. - N 10. - С. 72-85 : рис. - Бібліогр. в кінці ст.
Рубрики: Фермерське господарство--Україна
Кл.слова (ненормовані):
інституціоналізація -- особисті селянські господарства

Утримувачі документа:
ЖОУНБ ім. О. Ольжича

Дод.точки доступу:
Шпикуляк, Олександр Григорович; Мамчур, Володимир Анатолійович

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

Знайти схожі

15.

32.973.235
Г85

Грицик, Володимир Володимирович.
Моделювання та синтез складних зображень симетричної структури [] / В. В. Грицик, К. М. Березька, О. М. Березький ; під ред. В. В. Грицика ; Держ. ком. зв'язку та інформатизації України, Нац. акад. наук України, Держ. н.-д. ін-т інформ. інфраструктури. - Л. : УАД - ДНДІІІ, 2005. - 140 с. : рис., табл., фот. кол. - Дод.: с. 103-138. - ISBN 966-322-028-7 : 25.00 грн

ББК 32.973.235
Рубрики: Комп'ютерна графіка--Оптичні зображення--Наукові видання
Комп'ютерна графіка--Моделювання--Симетрія--Наукові видання

Кл.слова (ненормовані):
аналіз предметної області -- анализ предметной области -- українська народна вишивка -- украинская народная вышивка -- архівування складних зображень -- архивирование сложных изображений -- мова опису елементарного рисунка -- язык описания элементарного рисунка -- формалізація рапортів груп перетворень -- формализация рапортов групп преобразований -- моделювання зображень-орнаментів -- моделирование изображений-узоров -- розробка редактора зображень-орнаментів -- разработка редактора изображений-узоров -- програмно-апаратний комплекс -- программно-аппаратный комплекс -- моделювання елементарного рисунка -- моделирование элементарного рисунка -- ефективність архівування зображень-орнаментів -- эффективность архивирования изображений-узоров
Анотація: Розроблено метод опису та моделювання складних зображень, який базується на запропонованій мові опису структурних частин зображень-орнаментів та розроблених алгоритмів синтезу та моделювання.

Утримувачі документа:
ЖОУНБ ім. О. Ольжича

Дод.точки доступу:
Березька, Катерина Миколаївна; Березький, Олег Миколайович; Грицик, Володимир Володимирович \ред.\; Державний комітет зв'язку та інформатизації України; Національна академія наук України; Державний науково-дослідний інститут інформаційної інфраструктури
Примірників всього: 1
ВВ (1)
Свободны: ВВ (1)
Знайти схожі

16.

004.415(075.8)
Я22

Яворський, Назарій Борисович.
Комп'ютерні методи в інженерії мікроелектромеханічних систем [] : навч. посібник / Н. Б. Яворський, В. М. Теслюк, Є. І. Литвинова ; М-во освіти і науки України, Нац. ун-т "Львів. політехника". - Львів : Вид-во Львів. політехніки, 2016. - 302, [2] с. : рис., табл., фот. - Л-ра в кінці розд. - ISBN 978-617-607-892-0 : 165.00 грн

УДК

004.415(075.8)

ББК 32.973я73
Рубрики: Електромеханічні системи--Мікроелектроніка--Проектування--Моделювання--Навчальні видання
Математична фізика--Комп'ютеризація--Інженерія--Навчальні видання

Кл.слова (ненормовані):
ієрархічне проектування -- формалізація задач -- метод скінченних елементів -- методи Бубнова-Гальоркіна -- фізичні аналогії скінченних елементів -- декомпозиція обчислень -- інтерполяція вищих порядків -- симплекс-елементи -- лінійна інтерполяція -- криволінійні елементи -- методи знаходження псевдообернених матриць -- методи генерації тестів -- діагнозопридатне проектування -- багаторівневе діагностування цифрових систем -- дедуктивний аналіз дефектів -- моделі примітивів стимулятора -- моделі діагностування несправностей
Анотація: Комп'ютерні методи в моделюванні та проектуванні мікроелектромеханічних систем, компонентній рівень проектування, що передбачає аналіз фізичних процесів у МЕМС.

Утримувачі документа:
ЖОУНБ ім. О. Ольжича

Дод.точки доступу:
Теслюк, Василь Миколайович; Литвинова, Євгенія Іванівна; Міністерство освіти і науки України; Національний університет "Львівська політехника"
Примірників всього: 1
ВВ (1)
Свободны: ВВ (1)
Знайти схожі

17.

Кравченко, М. О.
Формалізація концепції економічної стійкості підприємства з позицій системно-структурної економічної теорії [] / М. О. Кравченко // Економіка та держава. - 2015. - N 12. - С. 31-34. - Бібліогр. в кінці ст.
Рубрики: Підприємства--Стійкість--Економічний аналіз

Утримувачі документа:
ЖОУНБ ім. О. Ольжича

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

Знайти схожі

18.

Бужин, О. А.
Управління птахівничими господарствами: формалізація собівартості яєць репродуктивного стада з урахуванням амортизації птиці [] / О. А. Бужин // Формування ринкових відносин в Україні. - 2011. - N 9. - С. 131-134. - Л-ра в кінці ст.
Рубрики: Птахівничі господарства--Україна
Кл.слова (ненормовані):
собівартісить яєць -- інкубаційні яйця -- репродуктивне стадо -- амортизація птиці

Утримувачі документа:
ЖОУНБ ім. О. Ольжича

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

Знайти схожі

19.

    Мартиненко, Валентина.
    Специфіка управління власними доходами місцевих бюджетів в умовах фінансової децентралізації [] / В. Мартиненко // Вісник Тернопільського національного економічного університету : наук. журнал. - 2019. - N 3. - С. 51-61. - Бібліогр. в кінці ст. . - ISSN 1993-0240
Рубрики: Фінанси--Децентралізація--Україна
   Місцевий бюджет--Доходи--Управління--Україна
Кл.слова (ненормовані):
органи місцевої влади -- територіально-адміністративна одиниця -- фіскальна політика -- формалізація

Утримувачі документа:
ЖОУНБ ім. О. Ольжича

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

Знайти схожі

20.

Кручок, Н.
Стандартизація вимог до бізнес-плану та формалізація його оцінки в процесі визначення кредитоспроможності потенційного позичальника [] / Н. Кручок // Вісник Національного банку України. - 2010. - N 1. - С. 14-17. - Л-ра в кінці ст.
Рубрики: Банки--Україна

Утримувачі документа:
ЖОУНБ ім. О. Ольжича

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

Знайти схожі

1-20 21-40 41-46

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