Бази даних

Наукова електронна бібліотека - результати пошуку

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

Вид пошуку
у знайденому
Формат представлення знайдених документів:
повнийстислий
 Знайдено в інших БД:Віртуальна довідка (18)Тематичний інтернет-навігатор (1)Автореферати дисертацій (1184)Реферативна база даних (11792)Книжкові видання та компакт-диски (3527)Журнали та продовжувані видання (171)
Пошуковий запит: (<.>K=ТОП$<.>+<.>K=МЕНЕДЖЕР$<.>)
Загальна кількість знайдених документів : 1062
Представлено документи з 1 до 20
...

   Тип видання:   наукове видання   
1.

Колмогоров, Андрей Николаевич.
Избранные труды. Математика и механика [Електронний ресурс] / А. Н. Колмогоров. - М. : Наука, 1985. - 470 с.

Рубрики:

  Повний текст доступний у читальних залах НБУВ


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



Кл.слова:
математична логіка -- диференціальне рівняння

   Тип видання:   наукове видання   
2.

Дамьяновски, Владо.
CCTV. Библия охранного телевидения [Електронний ресурс] : пер. с англ. / Вадо Дамьяновски. - М. : ISSpress, 2002. - 323 с.

Рубрики:

  Повний текст доступний у читальних залах НБУВ


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



Кл.слова:
безпека -- сигналізація

   Тип видання:   наукове видання   
3.


Вопросы подповерхностной радиолокации [Електронний ресурс] / под ред. А. Ю. Гринёва. - М. : Радиотехника, 2005. - 416 с.

Рубрики:

  Повний текст доступний у читальних залах НБУВ


Рассмотрены различные методы восстановления радиоизображений, обработки сигналов и изображений подповерхностной области и объектов, зондируемых сверхширокополосными (СШП) сигналами для их обнаружения и интерпретации, проводимые в интересах мониторинга и диагностики подземных коммуникаций, грунтов под строительные площадки, дорожных покрытий, локальных неоднородностей в грунте, мин, утечек из подземных хранилищ топлива, уровня грунтовых вод, а также при проведении геофизических, археологических исследований; рассмотрена специфика распространения СШП-сигналов в средах с ярко выраженным затуханием и дисперсией; описаны различные подходы к решению обратных задач подповерхностного зондирования, в том числе базирующихся на решении прямых задач рассеяния методом конечных разностей во временной области и процедуре минимизации на основе генетических алгоритмов; приведены различные организации программного обеспечения радаров подповерхностного зондирования (РПЗ) и методики их использования оператором; рассмотрены основные характеристики современных РПЗ, особенности построения радаров серий ОКО, ГЕРАД, ДЕФЕКТОСКОП, ГРОТ, ДРЛ, а также результаты их применения для решения ряда научных и инженерно-физических задач.



Кл.слова:
сигнал -- обробка

   Тип видання:   монографія   
4.

Вишневский, В. М.
Теоретические основы проектирования компьютерных сетей [Електронний ресурс] / В. М. Вишневский ; Российская академия наук, Институт проблем передачи информации. - М. : Техносфера, 2003. - 506 с.

Рубрики:

  Повний текст доступний у читальних залах НБУВ


В монографии рассматриваются методы анализа и синтеза компьютерных сетей. Приводятся точные и приближенные математические методы исследования систем и сетей очередей, а также эффективные вычислительные алгоритмы расчета таких сетей. С позиций теории сетей очередей описываются различные аспекты проектирования компьютерных сетей. Рассматриваются стохастические сетевые модели анализа задержек, управления потоками и расчета узлов коммутации пакетов. Систематизируются и исследуются алгоритмы выбора оптимальных маршрутов в сетях пакетной коммутации и динамической маршрутизации в ATM сетях. Дается описание комбинаторного алгоритма синтеза топологической структуры корпоративных компьютерных сетей. Приводятся новые результаты в области проектирования и оценки производительности беспроводных компьютерных сетей под управлением протокола IEЕЕ 802.11.



Кл.слова:
мережі ПК -- метод -- алгоритм

   Тип видання:   науково-популярне видання   
5.

Хант, Рикки.
Как создать Интеллектуальную организацию [Електронний ресурс] : пер. с англ. / Рокки Хант, Тони Базан. - М. : Инфра-М, 2002. - 230 с.. - (Серия "Менеджмент для лидера")

Рубрики:

  Повний текст доступний у читальних залах НБУВ


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



Кл.слова:
економіка -- технологія -- тренінг

   Тип видання:   наукове видання   
6.

Барр, Стивен.
Россыпи головоломок [Електронний ресурс] : пер. с англ. / Стивен Барр. - Изд. 3, стер.. - М. : Мир, 1987. - 415 с.

Рубрики:

  Повний текст доступний у читальних залах НБУВ


Сборник, составленный из трех небольших книжек по занимательной математике известного американского писателя и популяризатора Стивена Барра: "Россыпи головоломок", "Новые россыпи головоломок" и "Топологические эксперименты".



Кл.слова:
заморока -- математична задача

   Тип видання:   підручник   
7.

Босс, В.
Лекции по математике [Електронний ресурс] : в 13 т. / В. Босс. - М. : [б. в.], 2004-2009

Рубрики:

  Повний текст доступний у читальних залах НБУВ

Т. 1 : Анализ. - Изд-во: Едиториал УРСС. - 2004. - 216 с.

Т. 2 : Дифференциальные уравнения. - Изд-во: Едиториал УРСС. - 2004. - 208 c.

Т. 3 : Линейная алгебра. - Изд-во: КомКнига. - 2005. - 224 с.

Т. 4 : Вероятность, информация, статистика. - Изд-во: КомКнига. - 2006. - 218 с.

Т. 5 : Функциональный анализ. - Изд-во: КомКнига. - 2005. - 216 с.

Т. 6 : От Диофанта до Тьюринга. - Изд-во: КомКнига. - 2006. - 208 с.

Т. 7. : Оптимизация. - Изд-во: КомКнига. - 2007. - 216 с.

Т. 8 : Теория групп. - Изд-во: КомКнига. - 2007. - 216 с.

Т. 9 : ТФКП. - Изд-во: ЛКИ. - 2007. - 216 с.

Т. 10 : Перебор и эффективные алгоритмы. - Изд-во: ЛКИ. - 2008. - 216 с.

Т. 11 : Уравнения математической физики. - Изд-во: Либроком. - 2009. - 224 с.

Т.12 : Контрпримеры и парадоксы. - Изд-во: Либроком. - 2009. - 216 с.

Т. 13 : Топология. - Изд-во: Либроком. - 2009. - 216 с.


Т.1. Значительное внимание уделяется мотивации результатов. Помимо классических разделов теории вероятностей освещается ряд новых направлений: нелинейный закон больших чисел, асимптотическое агрегирование. Изложение сопровождается большим количеством примеров и парадоксов, способствующих рельефному восприятию материала.

Т. 2. Значительное внимание уделяется мотивации результатов и укрупненному видению. Помимо обычной для дифференциальных уравнений тематики рассматриваются: аттракторы и детерминированный хаос, бифуркации и катастрофы, солитоны. Просто и достаточно полно излагается теория устойчивости.

Т. 3. Значительное внимание уделяется мотивации результатов и прикладным аспектам. Даже в устоявшихся темах ощущается свежий взгляд, в связи с чем преподаватели найдут для себя немало интересного. Книга легко читается.

Т. 4. Помимо классических разделов теории вероятностей освещается ряд новых направлений: нелинейный закон больших чисел, асимптотическое агрегирование. Изложение сопровождается большим количеством примеров и парадоксов, способствующих рельефному восприятию материала. Затрагиваются многие прикладные области: управление запасами, биржевые игры, массовое обслуживание, страховое дело, стохастическая аппроксимация, обработка статистики. Несмотря на краткость, достаточно полно излагается теория информации с ответвлениями "энтропийно-термодинамического" характера.

Т. 5. Охват материала соответствует курсам функционального анализа, изучаемым в университетах. Помимо функциональных пространств и линейных отображений рассматриваются также: теория меры, интеграл Лебега, элементы нелинейного анализа, положительные операторы.

Т. 7. Книга охватывает классические разделы теории экстремальных задач: условная и безусловная оптимизация, выпуклые задачи, вариационное исчисление, принцип максимума, динамическое программирование. Рассматриваются также нетрадиционные для оптимизации области: бифуркации, катастрофы, теория игр. Отдельного упоминания заслуживают методы асимптотического агрегирования для задач большой размерности.

Т. 8. В настоящей книге изложение преследует цель перевести теорию групп из разряда узкоспециализированных дисциплин в диапазон общеобразовательных математических предметов за счет иной расстановки акцентов, повышения доступности идеологии и освещения прикладных аспектов. Проблематика охватывается довольно широко, от обычных основ до теории Галуа и групп Ли. Делается особый упор на приложения к динамическим системам. Рассматриваются также сопутствующие вопросы из общей алгебры.

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



Кл.слова:
рівняння -- алгебра

   Тип видання:   підручник   
8.


Механизмы обмена в экономике переходного периода [Електронний ресурс] / В. Н. Бурков, В. И. Зинченко, С. В. Сочнев, Г. С. Хулан ; Российская академия наук, Институт проблем управления. - М. : [б. и.], 1999. - 70 с.

Рубрики:

Географічні рубрики:
  

  Повний текст доступний у читальних залах НБУВ


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



Кл.слова:
економіка -- механізми обміну

   Тип видання:   монографія   
Категорія: Математика   
9.

Васильев, В. А.
Ветвящиеся интегралы [Електронний ресурс] / В. А. Васильев. - М. : Изд-во МЦНМО, 2000. - 432 с.. - (Новые математические дисциплины)

Рубрики:

  Повний текст доступний у читальних залах НБУВ


Монография находится на стыке нескольких классических разделов математики: теории особенностей, топологии, алгебраической и интегральной геометрии, комплексного анализа, уравнений математической физики. Она содержит введение в теорию Пикара-Лефшеца и локальную теорию особенностей, которые управляют качественным поведением функций, заданных интегральными преобразованиями. Приводятся оригинальные приложения к проблемам интегральной геометрии, теории гиперболических операторов в частных производных, теории потенциала и обобщениям гипергеометрических функций. В частности: для функций объема доказаны многомерные обобщения теоремы Ньютона о неинтегрируемости плоских овалов; для гиперболических уравнений в частных производных доказана гипотеза Атии-Ботта-Гординга об эквивалентности резкости волновых фронтов и локального топологического условия Петровского; в теории потенциала доказана алгебраичность потенциала гиперболической гиперповерхности степени d в R. при d=2 или n=2 и отсутствие такой алгебраичности при других d, n; для общих гипергеометрических функций Гельфанда-Аомото указано число независимых решений гипергеометрических уравнений. Для студентов, аспирантов и научных работников, специализирующихся в области комплексного анализа, уравнений математической физики, теории особенностей, алгебраической геометрии, интегральной геометрии и топологии.



Кл.слова:
топологія -- геометрія

   Тип видання:   навчальний посібник   
10.

Гринченко, Светлана Викторовна.
Экономика недвижимости [Електронний ресурс] : конспект лекций / С. В. Гринченко ; Таганрогский государственный радиотехнический университет. - Таганрог : Изд-во ТРТУ, 2004. - 107 с.

Рубрики:

Географічні рубрики:

  Повний текст доступний у читальних залах НБУВ


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



Кл.слова:
економіка -- нерухомість

   Тип видання:   наукове видання   
11.


Системы экологического менеджмента для практиков [Електронний ресурс] / Под ред. С. Ю. Даймана. - М. : Изд-во РХТУ им. Д.И. Менделеева, 2004. - 248 с.

Рубрики:

  Повний текст доступний у читальних залах НБУВ


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



Кл.слова:
аудит -- спостереження

   Тип видання:   підручник   
12.

Матвеев, С. В.
Лекций по топологии [Електронний ресурс] / С. В. Матвеев. - Челябинск : Изд-во Челябинского гос. ун-та, 2000. - 22 с.

Рубрики:

  Повний текст доступний у читальних залах НБУВ


Конспект лекций по разделу "Топология" высшей геометрии включает следующие темы (лекции): Метрические пространства; Топологические пространства; Замкнутые множества; Аксиомы отделимости; Компакты; Поверхности; Различность модельных поверхностей.



Кл.слова:
топологія

   Тип видання:   підручник   
13.

Милнор, Д.
Дифференциальная топология [Електронний ресурс] : начальный курс : пер. с англ. / Д. Милнор, А. Уоллес. - М. : Мир, 1972. - 280 с.

Рубрики:

  Повний текст доступний у читальних залах НБУВ


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



Кл.слова:
геометрія -- топологія

   Тип видання:   підручник   
14.

Милнор, Д.
Особые точки комплексных гиперповерхностей [Електронний ресурс] : пер. с англ. / Д. Милнор. - М. : Мир, 1971. - 66 с.

Рубрики:

  Повний текст доступний у читальних залах НБУВ


Автор, известный американский математик, уже знаком советскому читателю по переводам книг «Теория Морса» и «Теорема об fr-кобордизме» («Мир», 1965 и 1969). Его новая книга посвящена изучению топологической структуры поверхностей уровня аналитической функции нескольких комплексных переменных в окрестности точки, в которой градиент функции обращается в нуль. Такая задача возникает в различных областях математики, а также в теоретической физике. Обилие примеров, наличие рисунков, наглядность и геометричность изложения делают книгу доступной студентам старших курсов.



Кл.слова:
гіперповерхня -- топологія

   Тип видання:   словник   
15.

Мурашкевич, А. М.
Англо-русский словарь сокращений по авиационной и ракетно-космической технике [Електронний ресурс] : около 30 000 сокращений / А. М. Мурашкевич, О. Н. Владимиров. - М. : Воениздат, 1981. - 621 с.

Рубрики:

  Повний текст доступний у читальних залах НБУВ


Словарь содержит около 30 000 сокращений с их расшифровкой и переводом на русский язык и охватывает следующую тематику: конструкции и специальное оборудование летательных аппаратов, технология самолето- и ракетостроения, авиационные и ракетные топлива, аэродромное и стартовое оборудование, воздушная и космическая навигация, руководящие органы и научно-исследовательские организации по проектированию объектов авиационной и ракетно-космической техники. В словаре представлены также наиболее употребительные в данной области техники сокращения из аэродинамики, автоматики, адиоэлектроники, вычислительной техники, связи, метеорологии и т. п.



Кл.слова:
скорочення -- правопис

   Тип видання:   підручник   
16.

Портни, С. И.
Управление проектами для "чайников" [Електронний ресурс] / С. И. Портни. - М. : Вильямс, 2005 . - 352 с.

  Повний текст доступний у читальних залах НБУВ


Одна из последних тенденций в деловом мире — проектная система организации работ; в последние годы навыки управления проектами требуется от менеджеров практически любого уровня. В этой книге вы найдете информацию о различных подходах к планированию и управлению проектами, научитесь составлять планы, графики работ и бюджет, а также правильно организовывать и контролировать процесс выполнения проекта. Вы узнаете о значении хороших взаимоотношений с людьми — теми, кто выполняет проект с вами, и теми, для кого он выполняется. Теоретический материал сопровождается примерами, схемами и рисунками, подсказками и полезными советами, которые облегчат планирование и реализацию проекта. Прочитав книгу Управление проектами для "чайников", вы научитесь выявлять и преодолевать проблемы, которые мешают успешному применению эффективных методов. Эту книгу найдут для себя полезной как начинающие, так и опытные менеджеры, а также все, кто интересуется современными подходами к организации труда.



Кл.слова:
комп'ютер -- план -- проект -- управління

   Тип видання:   підручник   
17.

Прасолов, В. В.
Наглядная топология [Електронний ресурс] / В. В. Прасолов. - М. : Изд-во МЦНМО, 1995. - 111 с.

Рубрики:

  Повний текст доступний у читальних залах НБУВ


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



Кл.слова:
топологія

   Тип видання:   підручник   
18.

Прасолов, В. В.
Элементы комбинаторной и дифференциальной топологии [Електронний ресурс] / В. В. Прасолов. - М. : Изд-во МЦНМО, 2004. - 352 с.

Рубрики:

  Повний текст доступний у читальних залах НБУВ


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



Кл.слова:
топологія

   Тип видання:   підручник   
19.

Прасолов, В. В.
Элементы теории гомологии [Електронний ресурс] / В. В. Прасолов. - М. : [б. в.], 2005. - 503 с.

Рубрики:

  Повний текст доступний у читальних залах НБУВ


Эта книга является непосредственным продолжением книги «Элементы комбинаторной и дифференциальной топологии». Она начинается с определения симплициальных гомологий и когомологий; приводятся многочисленные примеры их вычисления и их приложений. Затем обсуждается умножение Колмогорова-Александера на когомологиях. Значительная часть книги посвящена различным приложениям (симплициальных) гомологий и когомологий. Многие из них связаны с теорией препятствий. Одним из таких примеров служат характеристические классы векторных расслоений. Сингулярные гомологии и когомологии определяются во второй половине книги. Затем рассматривается ещё один подход к построению теории когомологий — когомологии Чеха и тесно связанные с ними когомологии де Рама. Книга завершается различными приложениями теории гомологий в топологии многообразий. В книге приведено много задач (с решениями) и упражнений для самостоятельного решения. Для студентов старших курсов и аспирантов математических и физических специальностей; для научных работников.



Кл.слова:
гомологія

   Тип видання:   підручник   
20.

Сидоров, Д. В.
Розничные сети [Електронний ресурс] : секреты эффективности и типичные ошибки при работе с ними / Д. В. Сидоров. - М. : Вершина, 2007. - 229 с.

Рубрики:

Географічні рубрики:
  

  Повний текст доступний у читальних залах НБУВ


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



Кл.слова:
мережа -- комп'ютер
...
 

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