Бази даних

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

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

Вид пошуку
у знайденому
Сортувати знайдені документи за:
авторомназвоюроком видання
Формат представлення знайдених документів:
повнийстислий
 Знайдено в інших БД:Наукова електронна бібліотека (2)Автореферати дисертацій (6)Книжкові видання та компакт-диски (50)Журнали та продовжувані видання (3)
Пошуковий запит: (<.>A=СТРЕЛЬЧЕНК$<.>+<.>A=НАТАЛІЯ$<.>+<.>A=МИКОЛАЇВНА$<.>)
Загальна кількість знайдених документів : 67
Представлено документи з 1 до 20
...

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

Бакка М. Т. 
Основи ведення сільського господарства та охорона земель : Навч. посіб. / М. Т. Бакка, В. П. Стрельченко, П. Т. Божок; Житомир. інж.-технол. ін-т. - Житомир, 2000. - 366 c. - Бібліогр.: 31 назв. - укp.

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


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

Рубрики:

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

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

Горовая А. І. 
Цитогенетична оцінка мутагенної дії хлориду кадмію і хлориду алюмінію та модифікуючої дії селеніту натрію у кореневих меристемах iPisum sativum/i L. / А. І. Горовая, Є. Д. Стрельченко, С. С. Руденко // Цитология и генетика. - 1999. - 33, № 3. - С. 52-56. - Бібліогр.: 17 назв. - укp.


Індекс рубрикатора НБУВ: Е50*441.226

Рубрики:

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



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

Крапівіна К.  
Стан гемодинаміки у жінок репродуктивного віку під впливом аеробних та аеробно-анаеробних навантажень [Електронний ресурс] / К. Крапівіна, В. Цимбал, Н. Лисак, Т. Лідовська, Г. Нагорнюк, А. Стрельченко, С. Хома, І. Савка // Теорія і методика фіз. виховання і спорту. - 2002. - № 2-3. - С. 62-63. - Бібліогр.: 7 назв. - укp. - Режим доступу: /articles/2002/

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

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

Studies of the impact of dynamic work in aerobic and aerobic-anaerobic modes at one session demonstrate possibility to increase training effect of cardiovascular system. However, delayed recovery after loads could overstrain the circulatory system.


Ключ. слова: гемодинаміка, репродуктивний вік, навантаження
Індекс рубрикатора НБУВ: Ч510.46 + Е70*738.7

Рубрики:

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

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

Вороніна Л. М. 
Вивчення антиоксидантних властивостей екстракту "Локорин" в умовах in vitro та in vivo / Л. М. Вороніна, Л. В. Галузинська, К. В. Стрельченко // Клініч. фармація. - 2006. - 10, № 1. - С. 40-44. - Библиогр.: 23 назв. - укp.


Ключ. слова: Протизапальна активність, антиоксидантно-прооксидантний статус, антиоксидантна дія, перекисне окиснення ліпідів, поліфенольні сполуки, екстракт "Локорин"
Індекс рубрикатора НБУВ: Р281.703-2

Рубрики:

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



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

Загайко А. Л. 
Метаболічний синдром: механізми розвитку та перспективи антиоксидантної терапії : моногр. / А. Л. Загайко, Л. М. Вороніна, К. В. Стрельченко. - Х. : Вид-во НФаУ; Золоті сторінки, 2007. - 216 c. - Бібліогр.: с. 163-203. - укp.

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

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


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

Рубрики:

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

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

Стрельченко О. С. 
Фінансова математика : навч. посіб. / О. С. Стрельченко, М. А. Вайнтрауб, І. Г. Стрельченко. - К. : Вид. Т.Клочко, 2007. - 168 c. - укp.

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

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


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

Рубрики:

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

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

Стрельченко О. С. 
Фінансова математика : [навч. посіб.] / О. С. Стрельченко, М. А. Вайнтрауб, І. Г. Стрельченко. - К. : Вид. Т. Клочко, 2008. - 168 c. - укp.

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

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


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

Рубрики:

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

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

Каліман П. А. 
Метаболізм гему та гемопротеїнів і деякі показники антиоксидантної системи в еритроцитах і тканинах щурів при фенілгідразиновій анемії / П. А. Каліман, К. В. Стрельченко, Т. В. Бараннік, І. В. Нікітченко, Н. М. Іншина, О. В. Павиченко, В. П. Филимоненко // Фізіол. журн. - 2003. - 49, № 2. - С. 66-72. - Бібліогр.: 27 назв. - укp.

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


Індекс рубрикатора НБУВ: Р411.033-29

Рубрики:

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

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

Руденко С. С. 
Особливості впливу хімічних та фізичних чинників на цитогенетичні показники кореневих меристем IPisum sativumDL. / С. С. Руденко, Т. В. Морозова, С. С. Костишин, Є. Д. Стрельченко // Цитология и генетика. - 2002. - 36, № 3. - С. 22-27. - Бібліогр.: 9 назв. - укp.


Індекс рубрикатора НБУВ: П213-264.11

Рубрики:

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



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

Стрельченко Н. М. 
Забезпечення конкурентоспроможності підприємств-виробників трикотажної продукції : Автореф. дис... канд. екон. наук / Н. М. Стрельченко; Київ. нац. торг.-екон. ун-т. - К., 2006. - 22 c. - укp.

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

  Скачати повний текст


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

Рубрики:

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

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

Стрельченко О. Г. 
Заохочення як метод управління у сфері охорони здоров'я : автореф. дис... канд. юрид. наук : 12.00.07 / О. Г. Стрельченко; Київ. нац. ун-т внутр. справ. - К., 2008. - 17 c. - укp.

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

  Скачати повний текст


Індекс рубрикатора НБУВ: Х819(4УКР)14 п + Х879(4УКР)824 + Р11(4УКР) к

Рубрики:

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

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

Стрельченко К. В. 
Регуляція гемоксигеназної активності в печінці, нирках та селезінці щурів при введенні солей важких металів та інших гемолітичних агентів : Автореф. дис... канд. біол. наук: 03.00.04 / К. В. Стрельченко; Харк. нац. ун-т ім. В.Н.Каразіна. - Х., 2003. - 19 c. - укp.


Індекс рубрикатора НБУВ: Е60*801.1-64

Рубрики:

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



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

Стрельченко І. І. 
Система моделей динаміки валютних курсів на основі інтегральних рівнянь : автореф. дис... канд. екон. наук : 08.00.11 / І. І. Стрельченко; Держ. вищ. навч. закл. "Київ. нац. екон. ун-т ім. В.Гетьмана". - К., 2009. - 19 c. - укp.

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

  Скачати повний текст


Індекс рубрикатора НБУВ: У9(4УКР)262.6-18 в611

Рубрики:

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

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

Стрельченко Є. В. 
Забезпечення безпечного вимкнення рідинних ракетних двигунів з допаленням окислювального генераторного газу при повному виробленні компонентів палива з баків ракети-носія : автореф. дис... канд. техн. наук: 05.05.03 / Є. В. Стрельченко; Нац. аерокосм. ун-т ім. М.Є. Жуковського "Харк. авіац. ін-т". - Х., 2009. - 20 c. - укp.

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

  Скачати повний текст


Індекс рубрикатора НБУВ: О651.11-07

Рубрики:

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

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

Кузьменко О. В. 
Феномен адміністративно-правового заохочення : монографія / О. В. Кузьменко, О. Г. Стрельченко; Київ. нац. ун-т внутр. справ. - Л. : Львів. кн. ф-ка "Атлас", 2010. - 201 c. - укp.

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

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


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

Рубрики:

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

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

Загайко А. Л. 
Функціональна біохімія : навч. посіб. / А. Л. Загайко, Л. М. Вороніна, М. В. Волощенко, Г. Б. Кравченко, О. А. Красільнікова, І. В. Сенюк, К. В. Стрельченко, О. В. Файзуллін, Н. А. Шоно; Нац. фармац. ун-т. - Х., 2010. - 220 c. - Бібліогр.: с. 6-7 - укp.

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


Індекс рубрикатора НБУВ: Р252.0я73-1 + Е70*72я73

Рубрики:

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

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

Стрельченко Л. М. 
Зміст занять оздоровчим фітнесом для дітей молодшого шкільного віку / Л. М. Стрельченко, Ю. Б. Арєшина // Фіз. виховання, спорт і культура здоров'я у сучас. сусп-ві. - 2011. - № 1. - С. 28-32. - Бібліогр.: 8 назв. - укp.

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


Індекс рубрикатора НБУВ: Ч511.49 + Ч510.41

Рубрики:

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

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

Стрельченко Д. В. 
Мовні засоби англомовного рекламного дискурсу / Д. В. Стрельченко // Філол. трактати. - 2012. - 4, № 1. - С. 115-118. - Бібліогр.: 8 назв. - укp.

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


Індекс рубрикатора НБУВ: Ш143.21-716

Рубрики:

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

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

Лук'янченко Н. Д. 
Управління конфліктами : підруч. для студ. екон. спец. ВНЗ / Н. Д. Лук'янченко, Л. Л. Бунтовська, Н. А. Балтачеєва, С. Ю. Бунтовський, Д. І. Стрельченко; Донец. нац. ун-т. - Донецьк : ДонНУ, 2012. - 299 c. - Бібліогр.: с. 290-299 - укp.

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


Індекс рубрикатора НБУВ: Ю951.08-953.6 я73-1 + А4 я73-1 + У9(4УКР)290-642.18 я73-1

Рубрики:

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

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

Управление конфликтами : учеб. для студентов экон. спец. ВУЗ : пер. с укр. / Н. Д. Лукьянченко, Л. Л. Бунтовская, Н. А. Балтачеева, С. Ю. Бунтовский, Д. И. Стрельченко; Донец. нац. ун-т. - Донецк : ДонНУ, 2012. - 308 c. - Библиогр.: с. 301-308 - рус.

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


Індекс рубрикатора НБУВ: Ю951.08-953.6 я73-1 + А4 я73 + У529.0-642.18 я73-1 + У9(4УКР)290-642.18 я73-1

Рубрики:

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

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