Бази даних

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

Mozilla Firefox Для швидкої роботи та реалізації всіх функціональних можливостей пошукової системи використовуйте браузер
"Mozilla Firefox"

Вид пошуку
у знайденому
Сортувати знайдені документи за:
авторомназвоюроком видання
Формат представлення знайдених документів:
повнийстислий
 Знайдено в інших БД:Наукова електронна бібліотека (7)Автореферати дисертацій (5)Книжкові видання та компакт-диски (230)Журнали та продовжувані видання (3)
Пошуковий запит: (<.>A=КОБИЛЯНСЬК$<.>)
Загальна кількість знайдених документів : 157
Представлено документи з 1 до 20
...

      
Категорія:    
1.

Кобилянський О. В. 
Охорона праці в робочій професії : Навч. посіб. для студ. електротехн. спец. / О. В. Кобилянський; Вінниц. держ. техн. ун-т. - Вінниця, 2001. - 127 c. - Бібліогр.: 26 назв. - укp.

Викладено основні аспекти законодавства про охорону праці в Україні. Висвітлено організаційні та технічні заходи, засоби електробезпеки та пожежної безпеки, правила надання першої допомоги у разі нещасних випадків. Наведено рекомендації щодо оснащення об'єктів первинними засобами пожежогасіння.


Індекс рубрикатора НБУВ: Х879(4УКР)24 я73 + Ж.н6 я73 + У9(4УКР)248 я73

Рубрики:

Шифр НБУВ: ВА606657 Пошук видання у каталогах НБУВ 

      
Категорія:    
2.

Кобилянський С. Д. 
Історія медицини Буковини. Цифри і факти / С. Д. Кобилянський, В. П. Пішак, Б. Я. Дробніс. - Чернівці : Медакад., 1999. - 248 c. - Бібліогр.: с. 230-236. - укp.

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


Індекс рубрикатора НБУВ: Р.г(4УКР)

Рубрики:

Шифр НБУВ: ВА594694 Пошук видання у каталогах НБУВ 

      
Категорія:    
3.

Кобилянський О. В. 
Безпека життєдіяльності : Навч. посіб. для студ. електротехн. спец. / О. В. Кобилянський; Вінниц. держ. техн. ун-т. - Вінниця, 2003. - 94 c. - Бібліогр.: 8 назв. - укp.

Викладено основні аспекти законодавства України про безпеку життєдіяльності людини в природному та виробничому середовищі, побуті, у разі надзвичайних ситуацій.

Изложены основные аспекты законодательства Украины о безопасности жизнедеятельности человека в природной и производственной среде, быту, в случае чрезвычайных ситуаций.


Індекс рубрикатора НБУВ: А734 я73

Шифр НБУВ: ВА640553 Пошук видання у каталогах НБУВ 

      
Категорія:    
4.

Кобилянський О. В. 
Охорона праці під час виконання спеціальних видів робіт в електроустановках : Навч. посіб. для студ. електротехн. спец. / О. В. Кобилянський; Вінниц. держ. техн. ун-т. - Вінниця, 2003. - 110 c. - Бібліогр.: с. 109. - укp.

Розглянуто основні положення проблеми профілактики виробничого травматизму, визначено фактори пожежної небезпеки. Викладено засоби та заходи системи пожежного захисту на енергетичних об'єктах. Наведено вимоги до абразивного та ельборового, ручного електрифікованого, слюсарно-ковальського інструментів, а також переносних електричних світильників. Описано особливості виконання робіт на висоті з застосуванням драбин, запобіжних поясів і страхувальних канатів, монтерського устаткування.

Рассмотрены основные положения проблемы профилактики производственного травматизма, определены факторы пожарной безопасности. Изложены меры и средства системы противопожарной защиты на энергетических объектах. Приведены требования к абразивному и эльборовому, ручному электрофицированному, слесарно-кузнечному инструментам, а также переносным электрическим светильникам. Освещены особенности выполнения работ на высоте с применением палок, вспомогательных поясов и страховочных канатов, монтерского оборудования.


Індекс рубрикатора НБУВ: З29-5н6я73-1

Рубрики:

Шифр НБУВ: ВА640537 Пошук видання у каталогах НБУВ 

      
Категорія:    
5.

Кобилянський О. В. 
Охорона праці при експлуатації електроустановок : Навч. посіб. для студ. електротехн. спец. / О. В. Кобилянський; Вінниц. держ. техн. ун-т. - Вінниця, 2003. - 125 c. - Бібліогр.: 16 назв. - укp.

Розглянуто основні проблеми профілактики виробничого травматизму, фактори пожежної небезпеки, заходи та засоби системи пожежного захисту на енергетичних об'єктах.

Рассмотрены основные проблемы профилактики производственного травматизма, факторы пожарной опасности, мероприятия и средства системы пожарной защиты на энергетических объектах.


Індекс рубрикатора НБУВ: З29-5 н6 я73-5

Рубрики:

Шифр НБУВ: ВА640550 Пошук видання у каталогах НБУВ 

      
Категорія:    
6.

Кобилянський О.  
Поняття "документ" у криміналістиці: сучасне розуміння / О. Кобилянський // Право України. - 2003. - № 10. - С. 82-85. - Бібліогр.: 20 назв. - укp.


Індекс рубрикатора НБУВ: Х894.15-01 + Х840-02

Рубрики:

Шифр НБУВ: Ж27747 Пошук видання у каталогах НБУВ 



      
Категорія:    
7.

Кофанов А. В. 
Криміналістична техніка : навч. посіб. Кн. 1 / А. В. Кофанов, О. Л. Кобилянський, О. С. Кофанова, О. В. Літвінова, О. Ф. Сулява, І. М. Ганджа; Навч.-наук. ін-т підготов. слідчих і криміналістів Київ. нац. ун-ту внутр. справ. - К. : КИЙ, 2006. - 456 c. - (Наук. б-ка криміналіста). - укp.

Висвітлено теоретичні та практичні проблеми криміналістичної техніки як галузі науки криміналістики. Охарактеризовано об'єкти та методи судово-оперативної та судово-дослідницької фотографії, судової балістики, дактилоскопічної експертизи. Розкрито криміналістичні критерії визначення холодної зброї. Наведено методичні рекомендації щодо експертного дослідження документів зі спеціальними засобами захисту. Розглянуто особливості застосування спеціальних знань для розслідування злочинів, пов'язаних з культурними цінностями.

Освещены теоретические и практические проблемы криминалистической техники как отрасли науки криминалистики. Охарактеризованы объекты и методы судебно-оперативной и судебно-исследовательской фотографии, судебной баллистики, дактилоскопической экспертизы. Раскрыты криминалистические критерии определения холодного оружия. Даны методические рекомендации по экспертному исследованию документов со специальными средствами защиты. Рассмотрены особенности применения специальных знаний для расследования преступлений, связанных с культурными ценностями.


Індекс рубрикатора НБУВ: Х894.1я73 + Х894.9(4УКР)я73

Рубрики:

Шифр НБУВ: В350627/1 Пошук видання у каталогах НБУВ 

      
Категорія:    
8.

Тюрменко І. І. 
Культурологія: теорія та історія культури : Навч. посіб. для студ. вищ. навч. закл. / І. І. Тюрменко, С. Б. Буравченкова, П. А. Рудик, С. І. Береговий, Є. Е. Кобилянський, В. О. Колосюк, Н. М. Левицька, Н. В. Терес, М. М. Рогожа, І. І. Сторожик; Нац. ун-т харч. технологій. - 2-е вид., переробл. та допов. - К. : Центр навч. л-ри, 2005. - 367 c. - укp.

Проаналізовано генезис культури, закономірності та тенденції її розвитку в контексті філософських, соціологічних та історичних аспектів. Висвітлено аполлонійську та діонісійську засади європейської культури, співвідношення культури і цивілізації. Вивчено світоглядні та художньо-естетичні особливості культури Месопотамії та Єгипту, традиції культури Стародавнього Риму, духовно-культурну спадщину Візантійської імперії, світоглядні засади культури Ренесансу, бароко та Просвітництва, головні напрями розвитку європейської культури ХІХ ст. Розкрито роль інтелігенції в національно-культурному відродженні України першої половини ХІХ ст. Розглянуто питання національного культуротворення від періоду подолання тоталітаризму до незалежності.

Проанализирован генезис культуры, а также закономерности и тенденции её развития в контексте философских, социологических и исторических аспектов. Освещены аполлонийская и диониссийская основы европейской культуры, соотношения культуры и цивилизации. Изучены мировоззренческие и художественно-эстетические особенности культуры Мессопотамии и Египта, традиции культуры Древнего Рима, духовно-культурное наследие Византийской империи, мировоззренческие основы культуры Ренессанса, барокко и Просветительства, главные направления развития европейской культуры ХІХ ст. Раскрыта роль интеллигенции в национально-культурном возрождении Украины первой половины ХІХ ст. Рассмотрены вопросы национального культурообразования от периода преодоления тоталитаризма до независимости.


Індекс рубрикатора НБУВ: Ч111я73-1 + Т3(0)0-7я73

Рубрики:

Шифр НБУВ: ВС41873 Пошук видання у каталогах НБУВ 

      
Категорія:    
9.

Кобилянський О. В. 
Основи охорони праці : навч. посіб.: в 2-х ч. Ч. 1 / О. В. Кобилянський; Вінниц. нац. техн. ун-т. - Вінниця, 2007. - 182 c. - Библиогр.: с. 182 - укp.

Висвітлено правові й організаційні питання охорони праці, засади фізіології, гігієни праці, виробничої санітарії, техніки безпеки та пожежної безпеки. Розкрито фізичну та біологічну сутність впливу шкідливих і небезпечних чинників виробничого середовища на організм людини. Розглянуто особливості виявлення та аналізу причин виробничого травматизму, професійних захворювань, можливих причин загорянь і пожеж, а також визначення шляхів запобігання цим явищам.

Освещены правовые и организационные вопросы охраны труда, основы физиологии, гигиены труда, производственной санитарии, техники безопасности и пожарной безопасности. Раскрыта физическая и биологическая сущность влияния вредных и опасных факторов производственной среды на организм человека. Рассмотрены особенности выявления и анализа причин производственного травматизма, профессиональных заболеваний, возможных причин возгораний и пожаров, а также определены пути предупреждения данных явлений.


Індекс рубрикатора НБУВ: У9(4УКР)248я73

Рубрики:

Шифр НБУВ: В350180/1 Пошук видання у каталогах НБУВ 

      
Категорія:    
10.

Охорона праці в електроенергетиці : Довід. для студ. / ред.: О. В. Кобилянський; Вінниц. нац. техн. ун-т. - Вінниця, 2005. - 164 c. - укp.

Викладено правила охорони праці під час експлуатації електронно-обчислювальних машин (ЕОМ), державні санітарні правила та норми роботи з візуальними дисплейними терміналами ЕОМ. Наведено гігієнічну класифікацію праці за показниками шкідливості та небезпечності факторів виробничого середовища. Визначено санітарні норми мікроклімату виробничих приміщень.

Изложены правила охраны труда в период эксплуатации электронно-вычислительных машин (ЭВМ), государственные санитарные правила и нормы работы с визуальными дисплейными терминалами ЭВМ. Приведена гигиеническая классификация труда по показателям вредности и опасности факторов производственной среды. Определены санитарные нормы микроклимата производственных помещений.


Індекс рубрикатора НБУВ: З2н6я2

Шифр НБУВ: ВА674507 Пошук видання у каталогах НБУВ 

      
Категорія:    
11.

Охорона праці у галузі : Довід. для студ. електротехн. спец. / уклад.: О. В. Кобилянський; Вінниц. нац. техн. ун-т. - Вінниця, 2005. - 140 c. - Бібліогр.: с. 138. - укp.

Розглянуто питання з охорони праці під час прийняття на роботу, а також атестації робочих місць, державної політики у даній галузі, реєстрації та обліку інструкцій на підприємстві. Викладено порядок проведення інструктажів для працівників, розробки, затвердження та введення інструкцій в дію. Запропоновано класифікацію виробництв за пожежо- та вибухонебезпекою, охарактеризовано класи умов праці за ступенем шкідливості та небезпечності, залежно від рівня шуму та вібрації.

Рассмотрены вопросы об охране труда при принятии на работу, а также аттестации рабочих мест, государственной политики в данной сфере, регистрации и учета инструкций на предприятии. Изложен порядок проведения инструктажа для работников, разработки, утверждения и введения инструкций в действие. Предложена классификация производств по пожаро- и взрывоопасным признакам, охарактеризованы классы условий труда по степени вредности и опасности, в зависимости от уровня шума и вибрации.


Індекс рубрикатора НБУВ: Ж.н6 я2 + У9(4УКР)305.851.512-648 я2

Рубрики:

Шифр НБУВ: ВА672812 Пошук видання у каталогах НБУВ 

      
Категорія:    
12.

Біленчук П. Д. 
Антитерористичні сили, засоби, технології безпеки: концептуальні основи запобігання та протидії тероризму : навч. посіб. / П. Д. Біленчук, А. В. Кофанов, О. Л. Кобилянський; Київ. нац. ун-т внутр. справ, Навч.-наук. ін-т підготов. слідчих і криміналістів, Європ. ун-т упр., безпеки та інформ.-прав. технологій. - К., 2009. - 46 c. - (Наук. б-ка криміналіста. Сер. "Безпека людини, сусп-ва, держави"). - Бібліогр.: с. 44-45. - укp.

Увагу приділено антитерористичним силам, методам, засобам і технологіям, які сприяють забезпеченню запобігання та протидії тероризму. Розкрито правові основи запобігання, протидії та розслідування терористичних актів в Україні. Запропоновано класифікацію автоматизованих систем, що використовуються судово-експертними установами. Проаналізовано діяльність Всесвітнього Антикримінального й Антитерористичного Форуму (WAAF).

Внимание уделено антитеррористическим силам, методам, средствам и технологиям для предупреждения и противодействия терроризму. Раскрыты правовые основы предупреждения, противодействия и расследования террористических актов в Украине. Предложена классификация автоматизированных систем, которые используются судебно-экспертными учреждениями. Проанализирована деятельность Всемирного Антикриминального и Антитеррористического Форума (WWAF).


Індекс рубрикатора НБУВ: Х883.9(4УКР)711.193 я7 + Х916.881.4 я7 + Х894.9(4УКР)311.93 я7

Рубрики:

Шифр НБУВ: Р113533 Пошук видання у каталогах НБУВ 

      
Категорія:    
13.

Біленчук П. Д. 
Безпека інформаційної аналітики: стратегія, тактика, мистецтво, технології : навч. посіб. / П. Д. Біленчук, А. В. Кофанов, О. Л. Кобилянський, В. Б. Міщенко; Київ. нац. ун-т внутр. справ, Європ. ун-т упр., безпеки та інформ.-прав. технологій. - К., 2009. - 68 c. - (Наук. б-ка криміналіста. Сер. "Безпека людини, сусп-ва, держави"). - Бібліогр.: с. 56-67. - укp.

Висвітлено питання програмного та технічного забезпечення телекомунікаційного середовища. Проаналізовано потенційні ризики, загрози та небезпеки в кіберпросторі. Надано характеристику злочинності в інформаційно-телекомунікаційній сфері.

Освещены вопросы программного и технического обеспечения телекоммуникационной среды. Проанализированы потенциальные риски, угрозы и опасности в киберпространстве. Дана характеристика преступности в информационно-телекоммуникационной сфере.


Індекс рубрикатора НБУВ: З970.40 я73-1

Рубрики:

Шифр НБУВ: ВА715103 Пошук видання у каталогах НБУВ 

      
Категорія:    
14.

Біленчук П. Д. 
Інформаційна аналітика в юриспруденції: автоматизовані системи і технології : навч. посіб. / П. Д. Біленчук, А. В. Кофанов, О. Л. Кобилянський, В. Б. Міщенко; Київ. нац. ун-т внутр. справ, Навч.-наук. ін-т підготов. слід. і криміналістів, Європ. ун-т упр., безпеки та інформ.-прав. технологій. - К., 2009. - 48 c. - (Наук. б-ка криміналіста. Сер. "Безпека людини, сусп-ва, держави"). - Бібліогр.: с. 45-46. - укp.

На підставі аналізу вітчизняних і зарубіжних матеріалів і документів розглянуто та класифіковано головні джерела загроз для основних властивостей інформації в електронній і традиційній формах. Запропоновано концепцію забезпечення безпеки інформації. Висвітлено особливості застосування автоматизованих систем і технологій в юридичній інформаційно-аналітичній діяльності. Увагу приділено автоматизації пошуку й аналітичній обробці інформації.

На основе анализа отечественных и зарубежных материалов и документов рассмотрены и классифицированы источники угроз для основных свойств информации в электронной и традиционной формах. Предложена концепция обеспечения безопасности информации. Освещены особенности применения автоматизированных систем и технологий в юридической информационно-аналитической деятельности. Внимание уделено автоматизации поиска и аналитической обработке информации.


Індекс рубрикатора НБУВ: Х.с11 я73

Рубрики:

Шифр НБУВ: Р113532 Пошук видання у каталогах НБУВ 

      
Категорія:    
15.

Біленчук П. Д. 
Інформаційне суспільство: управління, право, технології, безпека : навч. посіб. / П. Д. Біленчук, А. В. Кофанов, О. Л. Кобилянський, В. Б. Міщенко; Київ. нац. ун-т внутр. справ, Європ. ун-т упр., безпеки та інформ.-прав. технологій. - К., 2009. - 60 c. - (Наук. б-ка криміналіста. Сер. "Безпека людини, сусп-ва, держави"). - укp.

Висвітлено теоретичні, практичні та правові засади формування інформаційного суспільства. Проаналізовано розвиток мережі Інтернет в інформаційному просторі України. Охарактеризовано віртуальні системи управління знаннями та всесвітні телекомунікаційні мережі. Розкрито сутність інформаційної безпеки в телекомунікаційному просторі.

Освещены теоретические, практические и правовые основы формирования информационного общества. Проанализировано развитие сети Интернет в информационном пространстве Украины. Охарактеризованы виртуальные системы управления знаниями и всемирные телекоммуникационные сети. Раскрыта сущность информационной безопасности в телекоммуникационном пространстве.


Індекс рубрикатора НБУВ: Х849(4УКР) я73 + З970.312.1 я73

Рубрики:

Шифр НБУВ: ВА715100 Пошук видання у каталогах НБУВ 

      
Категорія:    
16.

Біленчук П. Д. 
Міжнародний тероризм: консолідований аналіз забезпечення безпеки : навч. посіб. / П. Д. Біленчук, А. В. Кофанов, О. Л. Кобилянський; Київ. нац. ун-т внутр. справ, Європ. ун-т упр., безпеки та інформ.-прав. технологій. - К., 2009. - 72 c. - (Наук. б-ка криміналіста. Сер. "Безпека людини, сусп-ва, держави"). - укp.

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

Освещены понятие, сущность, социально-правовые и криминолого-криминалистические основы современного международного терроризма. Рассмотрены виды, криминалистическая классификация, методики расследования террористических актов. Уделено внимание средствам и приемам предупреждения финансирования терроризма, финансовому контролю за легализацией (отмыванием) доходов, полученных преступным путем, взаимодействию органов правопорядка и спецслужб при расследовании международных террористических актов.


Індекс рубрикатора НБУВ: Х916.881.4 я7

Рубрики:

Шифр НБУВ: ВА715108 Пошук видання у каталогах НБУВ 

      
Категорія:    
17.

Біленчук П. Д. 
Україна - Франція: договірні основи взаємовідносин у гуманітарній та правовій сферах : навч. посіб. / П. Д. Біленчук, О. Я. Толочко, А. В. Кофанов, О. Л. Кобилянський; Київ. нац. ун-т внутр. справ, Європ. ун-т упр., безпеки та інформ.-прав. технологій. - К., 2009. - 81 c. - (Наук. б-ка криміналіста. Сер."Міжнар. співробітництво"). - укp.

Розкрито основні напрями та тенденції розвитку українсько-французьких договірних відносин в гуманітарній та правовій сферах. Розкрито особливості освітянського, наукового та криміналістичного забезпечення професійної діяльності національної поліції та жандармерії Франції. Висвітлено пріоритетні тенденції та шляхи поглиблення україно-французького співробітництва у сфері культури, освіти, науки.

Раскрыты основные направления и тенденции развития украинско-французских договорных отношений в гуманитарной и правовой сферах. Раскрыты особенности образовательного, научного и криминалистического обеспечения профессиональной деятельности национальной полиции и жандармерии Франции. Освещены приоритетные тенденции и пути углубления украинско-французского сотрудничества в сфере культуры, образования, науки.


Індекс рубрикатора НБУВ: Х914.9(4УКР)-(4ФРА) я73

Рубрики:

Шифр НБУВ: ВА715106 Пошук видання у каталогах НБУВ 

      
Категорія:    
18.

Біленчук П. Д. 
Ядерна злочинність: поняття, сутність, класифікація, характеристика, шляхи запобігання, протидії, розслідування : монографія / П. Д. Біленчук, А. В. Кофанов, О. Л. Кобилянський, О. В. Маслюк; Київ. нац. ун-т внутр. справ, Міжнар. ун-т криміналістики. - К., 2009. - 88 c. - (Наук. б-ка криміналіста. Сер. "Міжнар. і вітчизн. злочинність"). - Бібліогр.: с. 78-87. - укp.

Розглянуто правові та криміналістичні аспекти протидії ядерній злочинності. Наведено криміналістичні характеристики та класифікацію типів ядерної злочинності. Визначено характеристичні ознаки радіоактивних матеріалів для експертних методик ідентифікації, оцінки суспільної небезпеки та завданої шкоди у випадку їх несанкціонованого застосування. Увагу приділено проблемам розробки норм кримінальної відповідальності у справах ядерної злочинності.

Рассмотрены правовые и криминалистические аспекты противодействия ядерной преступности. Даны криминалистические характеристики и классификация типов данной преступности. Определены характеристические признаки радиоактивных материалов для экспертных методик идентификации, оценки общественной опасности и причиненного вреда при их несанкционированном применении. Уделено внимание проблемам разработки норм криминальной ответственности в делах ядерной преступности.


Індекс рубрикатора НБУВ: Х859(4УКР)021.12 + Х881.9(4УКР)129 + Х894.9(4УКР)312.9 + Х918.121-92

Рубрики:

Шифр НБУВ: ВА715107 Пошук видання у каталогах НБУВ 

      
Категорія:    
19.

Кобилянський Р. Р. 
Комп'ютерне дослідження поперечної термоЕРС у короткозамкнених термоелементах / Р. Р. Кобилянський // Термоелектрика. - 2006. - № 2. - С. 10-16. - Бібліогр.: 8 назв. - укp.


Індекс рубрикатора НБУВ: З252.4в641.8

Шифр НБУВ: Ж23042 Пошук видання у каталогах НБУВ 



      
Категорія:    
20.

Гуменецький Т. В. 
Комплексне надлужне алкілсаліцилатне мастило / Т. В. Гуменецький, Є. В. Кобилянський, Г. Г. Кравчук, О. О. Папейкін, Ю. Л. Іщук // Вісн. Нац. ун-ту "Львів. політехніка". - 2006. - № 553. - С. 289-294. - Бібліогр.: 13 назв. - укp.

Досліджено відмінності в будові та властивостях надлужних сульфонатних і алкілсаліцилатних мастил. Встановлено, що всі досліджені модельні системи надлужного алкілсаліцилатного мастила мають кальцитну модифікацію карбонату кальцію, а вміст алкілсаліцилату кальцію в надлужних алкілсаліцилатних системах вищий, ніж вміст сульфонату кальцію у відповідних сульфонатних системах, що пояснюється меншими розмірами міцел надлужного алкілсаліцилату кальцію.


Індекс рубрикатора НБУВ: Л543.6

Рубрики:

Шифр НБУВ: Ж29409/А Пошук видання у каталогах НБУВ 
...
 

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