Зведений каталог бібліотек Києва

• Класифікатори та каталоги
• Електронні обчислювальні машини та пристрої дискретної дії. Цифрові ЕОМ

Програмування

Підтеми:

• Графічне програмування
• Захист інформації
• Паралельні обчислення
• Мови програмування
• Системне програмування. Операційні системи
• Проектування

Документи:

• Библиотека программ на фортране [Текст]. — Москва, 1971. — 239 с.
• Библиотека программ решения экстремальных задач [Текст] / Танаев В.С. — Минск, 1977. — 71 с.
• Библиотека программ решения экстремальных задач [Текст] / Танаев В.С. — Минск, 1979. — 94 с.
• Библиотека стандартных программ [Текст]. — Москва, 1961. — 228 с.
• Библиотеки и фреймворки языка Ада, предназначенные для разработки информационных систем [Текст] : практикум по дисциплине: "Разработка больших программных систем" для студ. фак. компьютер. наук по специальности "Информационные управляющие системы и технологии" / В.М. Годунко, В.О. [и др.] ; М-во образования и науки Украины, Харьк. нац. ун-т им. В.Н. Каразина. — Харьков : Харьковский национальный университет им. В.Н. Каразина, 2014. — 39, [1] с. : ил.
• Быстрая и качественная разработка программного обеспечения [Текст] / Энди Кармайкл, Дэн Хейвуд; Пер. с англ. О.А. Лещинского. — Москва : Вильямс, издательский дом, 2003. — 400 с.
• Быстрое тестирование [Текст] / Роберт Капбертсон, Крис Браун, Гэри Кобб; Пер. с англ. — Москва : Вильямс, издательский дом, 2002. — 384 с.
• Введение в логическое программирование [Текст] / К. Хоггер. — Москва : Мир, 1988. — 348с.
• Введение в методы программных решений [Текст] : учеб. пособие / [Яновский В.В. и др. ; под ред. В.М. Куклина] ; М-во образования и науки, молодежи и спорта Украины ; Харьк. нац. ун-т им. В.Н. Каразина. — Харьков : ХНУ им. В.Н. Каразина, 2011. — 305, [3] с. : ил., табл.
• Введение в программирование на языке С++ [Текст] : Учеб. пособие / С.А. Калоеров. — Донецк : ДонГТУ, 1999. — 184с.
• Введение в специальность программиста [Текст] : учебник для студентов образовательных учреждений среднего профессионального образования / В.А. Гвоздева. — 2-е изд., исправл. и доп. — Москва : ИД "ФОРУМ"; ИНФРА-М, 2007. — 208с.
• Введение в тестирование программного обеспечения [Текст] / Луиза Тамре. — Москва : Вильямс, издательский дом, 2003. — 368с.
• Введение в языки программирования [Текст] : Пер. с англ. / Д. Баррон. — Москва : Мир, 1980. — 190 с.
• Введение в язык программирования С [Текст] / А.Н. Маслов. — Москва : Память, 1991. — 64с.
• Введение в язык SQL [Текст] / А.В. Карабегов, Т.М. ТерМикаэлян. — Москва : Радио и связь, 1993. — 184с.
• Введение в Rational Unified Process [Текст] / Филипп Крачтен. — 2-е изд. — Москва : Вильямс, издательский дом, 2002. — 240с.
• Взаимодействующая система автоматизации решения задач на ЭВМ [Текст] : Автореф... канд. физ.-мат.наук: 01.01.10 / Бежанова Майя Михайловна; АН СССР. Сиб. отд-ние. Секция кибернетики Объедин. учен. совет по физ.-мат. и техн. наукам. — Новосибирск, 1974. — 22л.
• Вибрані питання програмології [Текст] : праці наукового семінару "Програмологія та її застосування" : збірник, присвячений 70-річчю з дня народження академіка В.Н. Редька / КНУТШ; Факультет кібернетики ; [наук. ред. Д.Б. Буй, М.С. Нікітченко]. — Київ, 2007. — 216с.
• Внутренний мир Visual J ++ [Текст] / Пер.с англ. — Київ : ДиаСофт, 1997. — 528с.
• Вопросы вычислительной математики и техники [Текст] : материалы науч. семинаров / АН УССР, Физико-техн. ин-т низких температур ; [отв. ред. К.В. Маслов ; ред. А.И. Кузьменко]. — Киев : Наукова думка, 1976. — 175, [1] с. : ил.
• Вопросы организации вычислительного процесса в неоднородном многомашинном комплексе [Текст] : Автореф... канд. физ.-мат.наук: 007 / Вельбицкая О.Н.; АН УССР. Ин-т кибернетики. — Киев, 1969. — 12л.
• Вопросы построения интерпретирующих систем малых ЭВМ для инженерных расчетов [Текст] : Автореф... канд. физ.-мат.наук: 009 / Клименко В.П.; АН УССР. Ин-тут кибернетики. — К., 1970. — 21л.
• Вопросы синтеза программ [Текст] / Любимский Э.З. — Москва, 1987. — 148 с.
• Вопросы системного программирования [Текст] / Жоголев Е.А. — Москва, 1975. — 80 с.
• Вопросы системного программирования [Текст] / Жоголев Е.А. — Москва, 1976. — 140 с.
• Вопросы системного программирования [Текст] / Жоголев Е.А. — Москва, 1978. — 94 с.
• Вопросы системного программирования [Текст] / Ющенко Е.Л. — Киев, 1977. — 100 с.
• Вопросы теоретического и прикладного программирования [Текст] / Королев Л.Н. — Москва, 1980. — 139 с.
• Вступ до методів створення програмних продуктів [Текст] : навч. посіб. для студ. ВНЗ / С.Л. Кривий ; М-во освіти і науки, молоді та спорту України, Київ. нац. ун-т ім. Тараса Шевченка. — Чернівці ; Київ : Букрек, 2012. — 423, [1] с. : іл., табл.
• Вычислительная геометрия и компьютерная графика на С++ [Текст] / Пер.с англ. В.Львова. — Москва : БИНОМ, 1997. — 304с.
• Вычислительные методы и программирование для ЭВМ "Урал-2","Урал-4" [Текст] / Богомолов А.М.,Коробов Б.В. — Саратов, 1966. — 506 с.
• Грамматики инверсно-квазирекурсивного типа и синтаксические проблемы языков программирования [Текст] : Автореф. дис. ... канд. физ.-мат. наук : 01.01.09 / Бойко Б.И. ; КГУ им. Тараса Шевченко. — Киев, 1974. — 12 с.
• Графы в программировании: обработка, визуализация и применение [Текст] / В.Н. Касьянов, В.А. Евстигнеев. — Санкт-Петербург : БХВ-Петербург, 2003. — 1104 с. : ил., табл.
• Диалоговая вычислительная система АПЛ/ВЦАН [Текст] / А.В. Кондрашев. — М, 1985. — 65с.
• Дискретная математика [Текст] : Алгоритмы и программы. Полный курс / Б.Н. Иванов. — Москва : Физматлит, 2007. — 408 с.
• Дослідження абстрактних систем із входами та виходами як частковими функціями часу [Текст] : автореф. дис. ... канд. фіз.-мат. наук : 01.05.01 / Іванов Євген В"ячеславович ; М-во освіти і науки України, Київ. нац. ун-т ім. Тараса Шевченка. — Київ, 2014. — 20 с.
• Дослідження властивостей цифрових дерев з адаптивним гілкуванням [Текст] : Автореф. дис. ... канд. фіз.-мат. наук: 01.05.03 / Резнік Ю.А.; КНУТШ. — Киев, 2005. — 20с. + Приложение: л. 117 - 149.
• Дослідження композиційно-номінативних модальних та темпоральних логік [Текст] : автореф. дис. ... канд. фіз.- мат. наук : 01.05.01 / Шкільняк О.С. ; КНУТШ. — Київ, 2011. — 19 с.
• Дослідження композиційно-номінативних модальних та темпоральних логік [Текст] : дис. ... канд. фіз.- мат. наук : 01.05.01 / Шкільняк О.С. ; КНУТШ. — Київ, 2011. — 143 л.
• Дослідження методів захисту інформації в динамічних рівноправних групових середовищах [Текст] : автореф. ... канд. фіз.-мат. наук : 01.05.03 / Іванов І.Ю. ; КНУТШ. — Київ, 2009. — 19 с.
• Дослідження пірамідально-сітьової обробки інформації для паралельних обчислювальних структур нейроподібного типу [Текст] : Автореф... канд. політехн.наук: 05.13.16 / Фурдіяк Наталія Юхимівна; Вінницький політехн. ін-тут. — Вінниця, 1993. — 22л.
• Дослідження та розробка алгоритмів перевірки виконуваності в логіках композиційно-номінативного типу [Текст] : автореф. дис. ... канд. фіз.-мат. наук : 01.05.03 / Тимофєєв Валентин Георгійович ; М-во освіти і науки України, Київ. нац. ун-т ім. Тараса Шевченка. — Київ, 2013. — 19 с.
• Дослідження та розробка алгоритмів перевірки виконуваності в логіках композиційно-номінативного типу [Текст] : дис. ... канд. фіз.-мат. наук : 01.05.03 / Тимофєєв Валентин Георгійович ; М-во освіти і науки України, Київ. нац. ун-т ім. Тараса Шевченка. — Київ, 2013. — 165 л.
• Эквивалентные преобразованя в алгебрах структур данных [Текст] : Автореф. дис. ... канд. физ.-атом. наук : 01.01.09 / Горшков П. В. ; КГУ им. Тараса Шевченко. — Киев, 1979. — 18 с.
• Експериментальні методи оцінки часової та функціональної ефективності алгоритмів у програмно-апаратних середовищах [Текст] : автореф. дис. ... д-ра техн. наук : 01.05.03 / Шинкаренко В.І. ; КНУТШ. — Київ, 2010. — 33 с.
• Экспериментальные исследования алгоритмов в программно-аппаратных средах [Текст] : монография / В.И. Шинкаренко ; М-во транспорта и связи Украины ; Днепропетровский нац. ун-т ж.-д. транспорта им. В. Лазаряна. — Днепропетровск : Днепропетровский национальный ун-т железнодорожного транспорта им. акад. В. Лазаряна, 2009. — 276 с. : илл., табл.
• Экспериментальные методы оценки временной и функциональной эффективности алгоритмов в программно-аппаратных средах [Текст] : дисс. д-ра технических наук : 01.05.03 / Шинкаренко В.И. ; Днепропетров. нац. ун-т ж.-д. транспорта им. акад. В. Лазаряна. — Днепропетровск, 2010. — 357л.
• Експлікативне програмування у макрокомпозиційних середовищах [Текст] : автореф. дис. ... канд. фіз.-мат. наук : 01.05.03 / Парфірова Т.С. ; КНУТШ. — Київ, 2011. — 19 с.
• Експлікативне програмування у макрокомпозиційних середовищах [Текст] : дис. ... фіз.- мат. наук : 01.05.03 / Парфірова Т.С. ; КНУТШ. — Київ, 2011. — 116 л.
• Эксплуатация Windows NT. Проблемы и решения [Текст] / Пер. с англ. — Санкт-Петербург : BHV, 1998. — 592с.

1    2   3    4    5    6    7    8    9    10    11    12