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

Про нас

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

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

Бази даних

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

Вид пошуку

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

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

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

Зона пошуку

у знайденому

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

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

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

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

1-20 21-36

004:330.341.1
Г55

Гмошинский, Всеволод Георгиевич.
Инженерное прогнозирование [] / В. Г. Гмошинский. - М. : Энергоиздат, 1982. - 208 с. : рис., табл. - Лит.: с. 198-206. - 0.60 р.

УДК

004:330.341.1

ББК 30
Рубрики: Програмування--Прогнозування--Практичні посібники
Науково-технічний прогрес--Прогнозування--Практичні посібники

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

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

621.3.049.77
А22

Автоматизированное проектирование СБИС на базовых кристаллах [] / [А. И. Петренко и др.; редкол.: С. С. Булгаков и др.]. - М. : Радио и связь, 1988. - 160 с. : рис., табл. - (Массовая библиотека инженера "Электроника"). - Авт. указ. на оборот. тит. л. - Лит.: с. 153-160. - ISBN 5-256-00138-8 : 0.65 р.

УДК

621.3.049.77

ББК 32.844.1
Рубрики: Інтегральні мікросхеми--Практичні посібники

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

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

Дод.точки доступу:
Петренко, Анатолий Иванович; Лошаков, Вячеслав Николаевич; Тетельбаум, Александр Яковлевич; Шрамченко , Борис Лазаревич; Булгаков, С. С. \ред.\; Борзаков, Ю. И. \ред.\; Бедрековский, М. А. \ред.\; Горбунова , Г. Г. \ред.\
Примірників всього: 1
ВВ (1)
Свободны: ВВ (1)
Знайти схожі

621.3.049.77
А22

Автоматизация проектирования БИС [Текст] : в 6 кн. / под ред.: Г. Г. Казеннова. - М. : Высш. шк., 1990.
Кн. 1 : Принципы и методология построения САПР БИС / Г. Г. Казеннов, А. Г. Соколов [авт.]. - 1990. - 142 с. : рис., табл. - Лит.: с. 141. - ISBN 5-06000092-3 : 0.40 р.

УДК

621.3.049.77

ББК 32.844.1
Рубрики: Інтегральні мікросхеми--Практичні посібники

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

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

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

342.9:339.543](477)(094)
У45

   Україна. Закони.

    Митний кодекс України [] ; Закон України про митну справу в Україні ; Закон України про єдиний митний тариф : (станом на 1 жовт. 1998 р.) / Верховна Рада України. - Офіц. вид. - Київ : Парлам. вид-во, 1998. - 71, [1] с. - (Бібліотека офіційних видань). - ISBN 966-7288-55-2 : 07.39 грн

УДК

342.9:339.543](477)(094)

ББК 67.9(4УКР)301.165
Рубрики: Митний кодекс--Україна--Керівні й законодавчі матеріали

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

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

Дод.точки доступу:
Верховна Рада України
Примірників всього: 1
БГ (1)
Свободны: БГ (1)
Знайти схожі

30ц
С33

Сертифікація в Україні [Текст] : нормат. акти та ін. документи : [в 2 т.] / Держстандарт України, Укр. НДІ стандартизації, сертифікації та інформатики. - Київ : Основа, 1998.
Т. 1. - 368 с. : табл. - ISBN 966-7233-01-4 : 11.82 грн

87.3(7СПО)6-63
Т40

   Тиллих, Пауль
    Систематическая теология [Текст] = Systematic theology : [пер. с англ.] / П. Тиллих. - М. ; С.Пб. : Унив. кн., 2000. - (Университетская библиотека: Философия / ред. сер. Л. В. Скворцов) (Книга света). - ISBN 5-7914-0023-3.
   [Т. 3]. - 409 с. - ISBN 5-7914-0008-2 : 20.54 грн

ББК 87.3(7СПО)6-63
Рубрики: Філософія--Історія--Наукові видання
Кл.слова (ненормовані):
систематическая теология -- систематична теологія -- разум и откровение -- розум і одкровення -- истина и верификация -- істина і верифікація -- бытие и Бог -- буття і Бог -- бытие и конечность -- буття і кінцівка -- реальность Христа -- реальність Христа -- христологическая догмата -- христологічна догмата
Анотація: Пауль Тиллих (1886-1965) - немецко-американских христианский мыслитель, философ культуры. В этой книге рассматриваются Тиллихом проблемы в терминах онтологии и антропологии, культурологии и философии истории, христологии и библейской герменевтики.

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

87.3(7СПО)6-63
Т40

   Тиллих, Пауль (1886-1965)
    Систематическая теология [Текст] : [пер. с англ.] / П. Тиллих ; П. Триллих. - М.; СПб. : Унив. кн., 2000 - . - (Университетская библиотека: Философия). - ISBN 5-7914-0023-3.
   [Т. 1-2] : Systematic theology / ред. сер. Л. В. Скворцов. - 463 с. - (Книга света). - Примеч.: с. 445. - Комент.: с. 446-450. - Указ. имен: с.451-453. - Предм. указ.: с.454-457. - Пер. вид. : Systematic theology / Paul Tillich. - ISBN 5-7914-0053-8 : 28.02 грн

ББК 87.3(7СПО)6-63
Рубрики: Філософія --історії філософії--Наукові видання
Кл.слова (ненормовані):
систематическая теология -- систематична теологія -- разум и откровение -- розум і одкровення -- истина и верификация -- істина і верифікація -- бытие и Бог -- буття і Бог -- бытие и конечность -- буття і кінцівка -- существование -- існування -- реальность Христа -- реальність Христа -- христологическая догмата -- христологічна догмата
Анотація: В етой книге рассматриваются Тиллихом проблемы в терминах онтологии и антропологии, культурологии и философии истории, христологии и библейской герменевтики.

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

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

004.774:339
Ш 26

Шарма, Вивек.
Разработка Web-серверов для электронной коммерции [] = Developing e-Commerce Sites. An Integrated Approach : комплекс. подход : учеб. пособие / Вивек Шарма, Раджив Шарма ; [пер. с англ. А. В. Журавлева ; под ред. В. В. Журавлева] . - Москва ; Санкт-Петербург ; Киев : Вильямс, 2000. - 400 с. : рис. - Прил.: с. 376-389. - Предм. указ.: с. 390-397. - ISBN 5-8459-0129-4 : 32.30 грн

УДК

004.774:339

ББК 32.973.202-1
Рубрики: Електронна торгівля--Комп'ютеризація--Наукові видання
Web-сервери--Розробка--Наукові видання
Мови програмування--Наукові видання
Кл.слова (ненормовані):
Web-серверы -- електронная торговля -- языки программирования -- электронная коммерция -- електрона торгівля -- технології Internet -- технологии Internet -- HTML -- Java -- Javascript -- SQL -- JDBC -- XML -- верификация кредитных карточек -- верифікація кредитних карточок -- сервисные программы -- сервісні програми -- система управления заказами -- система управління заказами -- система управления доставкой товаров -- система управління доставкою товарів -- система создания отчетов -- система створення звітів -- исходный код рассматриваемых систем -- вихідний код розглянутих систем
Анотація: Обзор различных языков программирования, которые можно эффективно использовать при разработке приложений для электронной коммерции.

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

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

342.9:339.543](477)(094)
У45

   Україна. Кодекси.

    Митний кодекс України [] / Верховна Рада України. - Офіц. вид. - Київ : Парлам. вид-во, 2002. - 146, [2] с. - (Бібліотека офіційних видань). - ISBN 966-611-184-5 : 09.45 грн

УДК

342.9:339.543](477)(094)

ББК 67.9(4УКР)301.165
Рубрики: Митний кодекс--Україна--Керівні й законодавчі матеріали

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

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

Дод.точки доступу:
Верховна Рада України
Примірників всього: 1
БГ (1)
Свободны: БГ (1)
Знайти схожі

10.

342.9:339.543](094)
У45

   Україна. Кодекси.

    Митний кодекс України [] : від 11 липня 2002 р. - Київ : Атіка, 2002. - 160 с. - ISBN 966-8074-21-1 : 7.20 грн

УДК

342.9:339.543](094)

ББК 67.9(4УКР)301.165
Рубрики: Митний кодекс--Україна--Керівні й законодавчі матеріали
Кл.слова (ненормовані):
митний контроль -- митне оформлення -- митний кордон -- митні процедури -- митний режим -- оподаткування товарів -- інтелектуальна власність -- митна вартість товарів -- митні пільги -- митна статистика -- верифікація сертифікатів -- контрабанда -- митні органи
Анотація: [Митний Кодекс України, що набрав чинності з 1 січня 2003 року].

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

11.

338.246.95
Г54

Глівенко, Сергій Володимирович.
Економічне прогнозування [] / С. В. Глівенко, М. О. Соколов, О. М. Теліженко = Economic Forecasting / S.V. Glivenko, M. O.Sokolov, O. M. Telizhenko : навч. посіб. - 3-тє вид., допов. - Суми : Унів. кн., 2004. - 207 с. : табл., рис. - Дод.: с. 199-202. - Літ.: с. 203-204. - ISBN 966-680-144-2 : 15.00 грн

УДК

338.246.95

ББК 65.9(4УКР)237
Рубрики: Економічне прогнозування--Україна--СРСР--Навчальні видання

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

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

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

12.

342.9:339.543](477)(094)
У45

   Україна. Кодекси.

    Митний кодекс України [] : за станом на 1 лип. 2004 р. / Верховна Рада України. - Офіц. вид. - Київ : Парлам. вид-во, 2004. - 166, [6] с. - (Бібліотека офіційних видань). - ISBN 966-611-313-9 : 09.45 грн

УДК

342.9:339.543](477)(094)

ББК 67.9(4УКР)301.165
Рубрики: Митний кодекс--Україна--Керівні й законодавчі матеріали

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

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

Дод.точки доступу:
Верховна Рада України
Примірників всього: 1
БГ (1)
Свободны: БГ (1)
Знайти схожі

13.

664(03)
М 69

Михальські, Торстен
Управління якістю у харчовій промисловості із врахуванням Європейського харчового кодексу і міжнародно визнаних стандартів [] / Торстен Михальські, Франк Ліліє, Анжеліка Досін. - Л. : ПАІС, 2006. - 336 с. : рис., табл. - Перелік ключ. слів.: с. 321-326 . - ISBN 966-7651-44-4 : 200.00 грн

УДК

664(03)

341.951:664(03)

ББК 36-9я2 + 67.301.147я2
Рубрики: Харчове виробництво
Якість продукції

Кл.слова (ненормовані):
критерії якості -- Європейський харчовий кодекс -- стандарти на продукти харчування -- системи управління якістю -- система якості НАССР -- верифікація
Анотація: Європейське законодавство стосовно продуктів харчування, практичні рекомендації зі створення систем управління якістю.

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

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

14.

616-001
Б35

Бебешко, В. Г.
Гострий радіаційний синдром і його наслідки [] : (за матеріалами 15-річного спостереження за станом здоров'я осіб, потерпілих у зв'язку з Чорнобильською катастрофою) / В. Г. Бебешко, О. М. Коваленко, Д. О. Білий. - Тернопіль : Укрмедкнига, 2006. - 424, [3] с. : іл., табл. - Дод.: с. 334-373. - Л-ра: с. 374-420. - ISBN 966-673-080-4 : 82.50 грн.

УДК

616-001

616-001.28

ББК 28.901.25
Рубрики: Радіаційна медицина--Променева хвороба--Навчальні видання для вищої школи
Кл.слова (ненормовані):
іонізуюче випромінення -- променеві ураження -- умови опромінення -- ретроспективна верифікація -- гострий радіаційний синдром -- реабілітація
Анотація: У книзі наведені відомості щодо стану здоров'я найбільш потерпілої групи осіб внаслідок аварії на Чорнобильській АЕС у динаміці 15 післяаварійних років. У монографії викладені матеріали, що стосуються змін основних органів і систем та показників гомеостазу організму, які визначають його життєздатність і адаптаційну спроможність. Для вчених і фахівців, які цікавляться проблемами радіаційної медицини та радіобоіології.

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

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

15.

613.648.4:614.876
С 42

Скалецький, Юрій Миколайович.
Реконструкція і верифікація доз опромінення військових ліквідаторів [] / Ю. М. Скалецький ; Рада нац. безпеки і оборони України, Ін-т проблем нац. безпеки. - К. : Логос, 2007. - 223 с. : рис., табл. - Л-ра: с. 175-203. - Дод.: с. 204-220. - ISBN 978-966-581-983-7 : 020.00 грн

УДК

613.648.4:614.876

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

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

Дод.точки доступу:
Рада національної безпеки і оборони України; Інститут проблем національної безпеки
Примірників всього: 1
ФОНД (1)
Свободны: ФОНД (1)
Знайти схожі

16.

Шифр: nrsu/2009/1
Журнал

Наука. Релігія. Суспільство [Текст]. - Донецьк : ІПШІ "Наука і освіта", 2000 - . - ISSN 1728-3671. - Виходить кожного кварталу
2009р. N 1

Зміст:
Бредіхін, А. В. Співробітництво Європейського Союзу з країнами Латинської Америки у 1990-і роки / А. В. Бредіхін. - С.3-5. - Л-ра в кінці ст.
Долгова, В. Н. Культурно-политический диалог России и Великобритании на рубеже ХІХ-ХХ веков / В. Н. Долгова. - С.6-13. - Лит. в конце ст.
Завадський, В. М. Виконання країнами Балтії критеріїв членства у ЄС - досвід для України / В. М. Завадський. - С.14-18. - Л-ра в кінці ст.
Кузнєцов, П. В. Історія еволюції наукових та технічних ідей при вирішенні проблеми зв'язаного азоту / П. В. Кузнєцов. - С.19-24. - Л-ра в кінці ст.
Месіч, Т. І. Чисельність та розміщення німецького населення Донбасу та Поволжя у 20-і роки ХХ ст.: порівняльний аналіз / Т. І. Месіч. - С.25-32. - Л-ра в кінці ст.
Подоляка, Т. А. Діяльність Зенона Кузелі в Українському Науковому Інституті в Берліні (1926-1945 рр.) / Т. А. Подоляка. - С.33-37. - Л-ра в кінці ст.
Рощина, Л. О. Благодійна діяльність українських братств / Л. О. Рощина. - С.38-42. - Л-ра в кінці ст.
Сітарчук, Р. А. Обрядовість і місіонерство адвентистів у перші роки їх діяльності в українських землях / Р. А. Сітарчук. - С.43-50. - Л-ра в кінці ст.
Семеняк, Н. П. Про витоки міст Півдня України в радянській історіографії / Н. П. Семеняк. - С.51-55. - Л-ра в кінці ст.
Смирнова, І. Є. Міжнародні політичні зв'язки Хозарського каганату в VІІ-Х ст. / І. Є. Смирнова. - С.56-60. - Л-ра в кінці ст.
Волошин, В. В. Мистический опыт: определение, эпистемология / В. В. Волошин. - С.61-70. - Лит. в конце ст.
Журавлев, В. И. Вакуумная картина мироздания - универсальный регулятив автотрофно-космологического мировидения / В. И. Журавлев. - С.71-77. - Лит. в конце ст.
Пантелеева, И. А. Влияние античной декламации на формирование музыкальных основ Европейского религиозного дискурса / И. А. Пантелеева. - С.78-84. - Лит. в конце ст.
Папаяні, І. В. Проблема концептуалізації релігійної ідентичності / І. В. Папаяні. - С.85-92. - Л-ра в кінці ст.
Попов, В. Ю. Діалектика тотожності у діалогах Платона / В. Ю. Попов. - С.93-99. - Л-ра в кінці ст.
Руснак, О. А. Релігійно-філософська концепція Етьєна Жільсона у контексті розвитку Західної філософії / О. А. Руснак. - С.100-104. - Л-ра в кінці ст.
Туренко, О. С. Державний суверенітет: соціально-філософська верифікація страхом / О. С. Туренко. - С.105-110. - Л-ра в кінці ст.
Артюхов, М. Н. Обновление веры или поиск чистоты / М. Н. Артюхов. - С.111-118. - Лит. в конце ст.
Кисельов, О. С. Вивчення мусульмансько-християнських відносин в Україні: завдання, методи та проблеми / О. С. Кисельов. - С.119-122. - Л-ра в кінці ст.
Шлапак, В. П. Алегорична наука як вершина світової геніальності Великого і Святого пророка мойсея / В. П. Шлапак. - С.123-133. - Л-ра в кінці ст.
Ямчук, П. Братські школи та їхня роль у формуванні релігійно-духовного світогляду українців доби пізнього Середньовіччя та бароко / П. Ямчук. - С.134-139. - Л-ра в кінці ст.
Балакай, О. Б. Концептуальные основы устойчивого общественного развития / О. Б. Балакай. - С.140-143. - Лит. в конце ст.
Терзі, О. С. Роль політичних партій України у формуванні Конституційного Суду України (1992-1996 рр.) / О. С. Терзі, О. С. Колесник. - С.144-148. - Л-ра в кінці ст.
Тодоров, І. Я. Українська зовнішня політика в 2008 році / І. Я. Тодоров. - С.149-157. - Л-ра в кінці ст.
Чепіга, Г. Г. Слов'яносербія та її роль в заселенні Південно-Східної України: історіографія проблеми / Г. Г. Чепіга. - С.158-166. - Л-ра в кінці ст.
Є примірники у відділах: всього 1 : ПЧЗ (1)
Вільні: ПЧЗ (1)

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

17.

    Туренко, О. С.
    Державний суверенітет: соціально-філософська верифікація страхом [] / О. С. Туренко // Наука. Релігія. Суспільство. - 2009. - N 1. - С. 105-110. - Л-ра в кінці ст. . - ISSN 1728-3671
Рубрики: Філософія політики
   Філософія права
   Теорія політики
   Теорія права

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

Знайти схожі

18.

004.89(075)
Г 56

Гнучкі комп'ютерно-інтегровані системи: планування, моделювання, верифікація, управління [] : комплекс підручників / Л. С. Ямпольский [и др.]. - Житомир : ЖДТУ, 2010. - 786 с. : рис. - Л-ра: с. 757-769. - Предм. покажч.: с.770. - ISBN 978-966-683-273-6 : 101.00 грн

УДК

004.89(075)

ББК 32.973.2-018я73
Рубрики: Обчислювальна техніка--Інформаційні системи--Навчальні видання
   Обчислювальні системи--Навчальні видання
   Інтегровані системи--Навчальні видання
   Інтелектуальні інформаційні системи--Навчальні видання

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

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

Дод.точки доступу:
Ямпольский, Л. С.; Мельничук, П. П.; Остапченко, К. Б.; Лісовиченко, О. І.
Примірників всього: 2
ФОНД (1), КР (1)
Свободны: ФОНД (1), КР (1)
Знайти схожі

19.

621.39(075.8)
В 68

Волочій, Богдан Юрійович.
Системотехнічне проектування телекомунікаційних мереж. Практикум [] : навч. посібник / Б. Ю. Волочій, Л. Д. Озірковський. - Л. : Вид-во Львів. політехніки, 2012. - 128 с. : рис., портр. - Л-ра: с.107-108. - Дод.: с.109-124. - ISBN 978-617-607-328-4 : 34.00 грн

УДК

621.39(075.8)

ББК 32.88я73
Рубрики: Телекомунікаційні мережи--Проектування--Розробка--Навчальні видання для вищої школи

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

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

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

20.

004.052:004.413
М74

Моделі, методи та засоби аналізу надійності програмних систем [] : монографія / [В. С. Яковина та ін.] ; М-во освіти і науки України, Нац. ун-т "Львів. політехніка". - Львів : Вид-во Львів. політехніки, 2015. - 218, [2] с. : рис., табл. - Авт. зазначено на звороті тит. арк. - Л-ра: с. 204-218. - ISBN 978-617-607-814-2 : 100.00 грн

УДК

004.052:004.413

ББК 32.973
Рубрики: Програмне забезпечення--Програмні системи--Надійність--Наукові видання

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

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

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

1-20 21-36

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