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

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

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

Підтеми:

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

Документи:

• Інформаційна технологія автоматизованого тестування користувацьких інтерфейсів програмних продуктів в умовах багатопродуктових компаній [Текст] : автореф. дис. ... канд. техн. наук : 05.13.06 / Ремінний Олександр Андрійович ; М-во освіти і науки України, Вінниц. нац. техн. ун-т. — Вінниця, 2014. — 20, [1] с.
• Інформаційна технологія проектування електронних видань для планшетних комп"ютерів [Текст] : автореф. дис. ... канд. техн. наук : 05.13.06 / Ратушняк Юрій Володимирович ; М-во освіти і науки України, Укр. акад. друкарства. — Львів, 2014. — 24 с.
• Інформаційна технологія та інструментальні засоби ефективного опрацювання формул алгоритмів [Текст] / О.В. Овсяк ; М-во культури України, Київ. нац. ун-т культури і мистецтв. — Львів : Видавництво Української академії друкарства, 2013. — 227, [1] с. : іл., табл.
• Інформаційне суспільство: когнітивний креатив постнекласичних досліджень [Текст] : Монографія / О.М. Рубанець. — Київ : Парапан, 2006. — 420с.
• Каталог: диалоговых систем [Текст] / Сергиенко И.В. — Киев, 1986. — 231 с.
• Каталог программных средств [Текст]. — Москва, 1990. — 15 с.
• Каталог программных средств: фонд алгоритмов и программ НИВЦ АН СССР: Информационный материал [Текст] / Акинин Е.Н. — Пущино, 1989. — 32 с.
• Кафедра теорії та технології програмування [Текст] / [Київ. нац. ун-т ім. Тараса Шевченка, Ф-т кібернетики ; уклад. І.А. Антонова]. — Київ : Науковий світ, 2012. — 191, [1] с. : іл., табл.
• Класи функцій та чисел, що визначаються трансформаційними та генеруючими моделями обчислень [Текст] : Автореф. дис. ... канд. фіз.-мат. наук:01.01.08 / Карнаух Т.О.; КНУТШ. — Київ, 2005. — 16с.
• Класи функцій та чисел, що визначаються трансформаційними та генеруючими моделями обчислень [Текст] : Дис. ... канд. фізико-математичних наук. Спец. 01.01.08- математична логіка, теорія алгоритмів і дискретна математика / Карнаух Т.О.; КНУТШ. — Київ, 2005. — 188л. + Додатки: л. 151-188.
• Классика программирования: Алгоритмы, языки, автоматы, компиляторы [Текст] / О. Мозговой. — К. : НіТ, 2005. — 320.
• Компиляторы [Текст] = Compilers.Principles,techniguts,and tools : Принципы, технологии, документы / Пер.с англ. Красикова И.В. — Москва : Вильямс, издательский дом, 2001. — 768с.
• Композиційні методи специфікації та верифікації програмних систем [Текст] : Автореф. дис. ...канд. фіз.-мат.наук: Спец.01.05.03 / Тарас Володимирович Панченко; КНУТШ. — Київ, 2006. — 17с.
• Композиційні методи специфікації та верифікації програмних систем [Текст] : Дис. ... канд. фізико-матем. наук: 01.05.03- математичне та програмне забезпечення обчислювальних машин і систем / Панченко Т.В.; КНУТШ. — Київ, 2006. — 177 л. + Додатки: л. 156-161.
• Компьютер победил человека в игре го [Текст] : компьютер против го. Сфера // GEO : Непознанный мир: Земля. — Москва, 2006. — № 7. — С. 35.
• Комп"ютерна інженерія [Текст] : метод. рек. до виконання диплом. проектів для студентів освіт.-кваліфікац. рівня "Бакалавр" напряму підгот. 6.050102 "Комп"ютерна інженерія" / М-во освіти і науки України, Нац. авіац. ун-т ; [уклад.: І.А. Жуков, М.М. Проценко]. — Київ : НАУ, 2015. — 42, [2] с. : табл.
• Конфигурации программ. Рецепты безболезненных изменений [Текст] / М.М. ГорбуновПосадов. — 2-е изд., испр. и допол. — Москва : Малип, 1994. — 272с.
• Краткие описания программных средств ЭВМ НИИЯФ МГУ [Текст] / Саврин В.И. — Москва, 1989. — 87 с.
• Краткое руководство по Turbo Pascal 5.5 [Текст]. — Москва : И.В.К. - СОФТ, 1991. — 84 с.
• Курс программирования для ГАММА [Текст] / Шура-Бура М.Р. — Москва, 1962. — 309 с.
• КУ-технология разработки многоязыковых диалоговых транслирующих систем [Текст] : Автореф... кан. физ.-мат.наук: 01.01.10 / Бостан Георгий Александрович; АН УССР. Ин-т кибернетики. — К., 1980. — 20л.
• Лабораторний практикум з об"єктно-орієнтованих технологій розробки прикладних програм [Текст] : навч. посібник / Литвинов В.В. [та ін.] ; М-во освіти і науки України. — Чернігів : Видавництво Чернігівського державного інституту економіки і управління, 2014. — 348, [1] с. : іл., табл.
• Лабораторные работы на ЭВМ по алгоритмическому языку АЛГОЛ-60 [Текст] / Овсюков С.В. — Рига, 1974. — 36 с.
• Лабораторные работы на ЦВН [Текст]. — Киев, 1976. — 64 с.
• Лекции по программированию [Текст] / Д. Карр. — Москва, 1963. — 288 с.
• Линейная алгебра и программирование [Текст] / И.Л. Калихман. — Москва, 1967. — 427 с.
• Логико-термальная эквивалентность схем программ [Текст] : Автореф. дис. ... канд. физ.-мат. наук : 01.01.09 / Иткин В.Э. ; АН СССР, Сиб. отд., Вычислит. центр. — Новосибирск, 1974. — 20 с.
• Логические и языковые аспекты планирования действий на ЭВМ [Текст] : Автореф. дис. ... канд. физ.-мат. наук : 01.01.09 / Юрчишин Василий Владимирович ; КГУ. — Киев, 1988. — 14 с.
• Логическое программирование в системе 360 [Текст] / Д. Стэбли. — 2-е изд., стереотип. — Москва : Мир, 1979. — 752с.
• Логическое программирование в системе 360. [Текст] / Д. Стэбли. — Москва : Мир, 1974. — 752 с.
• Логическое программирование и базы данных [Текст] / С. Чери. — Москва, 1992. — 351с.
• Локализованная версия Paradox 4.0 [Текст] / С.А. Каратыгин, А.Ф. Тихонов. — Киев : Диалектика, 1994. — 480 с.
• Математическая логика в программировании [Текст] / Захарьящев М.В. — Москва, 1991. — 408 с.
• Математическое программирование [Текст] / И.С. Карандаев. — Куйбышев, 1966. — 272 с.
• Математическое программирование [Текст] / Канторович Л.В. — Москва, 1966. — 135 с.
• Математическое программирование [Текст]. — Москва, 1968. — 72 с.
• Математичне та лінгвістичне забезпечення автоматизації написання програм восьмирозрядних мікроконтролерів [Текст] : автореф. дис. ... канд. техн. наук : 05.13.12 / Малий Олександр Юрійович ; М-во освіти і науки, молоді та спорту України ; Нац. ун-т "Львівська політехніка". — Львів, 2012. — 20 с.
• Метамодельні методи підвищення ефективності програмних систем [Текст] : автореф. дис. ... канд. техн. наук : спец.: 03.05.03 - математ. та прог. забезпечення обчислювальнних машин і систем / Карпусь І.В. ; КНУТШ. — Київ, 2008. — 21 с.
• Метамодельні методи підвищення ефективності програмних систем [Текст] : Дис. ... канд. технічних наук. Спец. 01.05.03 - математичне та програмне забезпечення обчислювальних машин і систем / Карпусь І.В.; Волинський національний ун-т ім. Лесі Українки каф-ра вищої математики та інформатики. — Луцьк, 2008. — 170л. + Додатки: л.149-170.
• Методи зборки прикладних систем з функціональних та інтерфейсних об"єктів зі стандартними та згенерованими даними [Текст] : автореф. дис. ... канд. техн. наук : 01.05.03 / Стеняшин Андрій Юрійович ; М-во освіти і науки України, Київ. нац. ун-т ім. Тараса Шевченка. — Київ, 2016. — 22 с.
• Методи зборки прикладних систем з функціональних та інтерфейсних об"єктів зі стандартними та згенерованими даними [Текст] : дис. ... канд. техн. наук : 01.05.03 / Стеняшин Андрій Юрійович ; М-во освіти і науки України, Київ. нац. ун-т ім. Тараса Шевченка. — Київ, 2016. — 125 арк.
• Методи і засоби забезпечення та контролю якості програмних систем [Текст] : автореф. дис. ... канд. техн. наук : 01.05.03 / Яцишин В.В. ; Нац. авіаційний ун-т. — Київ, 2011. — 20 с.
• Методи і засоби прогнозування часу виконання програм в спеціалізованих комп"ютерних системах [Текст] : автореф. дис. ... канд. техн. наук : 05.13.05 / Цибаєв Євгеній Ігорович ; М-во освіти і науки України, Нац. техн. ун-т України "Київ. політехн. ін-т". — Київ, 2015. — 20 с.
• Методи і засоби розробки спеціального програмного забезпечення для систем розподілу ресурсів [Текст] : Автореф. дис. ... канд. техн. наук: 01.05.03 / Ісса Айман Сарем; Нац. техн. ун-тет України "КПІ". — Київ, 2003. — 20с.
• Методика вдосконалення контролю захищенності комп"ютерної мережі автоматизованої системи управління військового призначення [Текст] : Автореф. дис. ... канд. технічних наук; 20. 02. 12 / Мазулевський О. Є.; КНУТШ. Військовий інститут. — Київ, 2006. — 20с.
• Методи оцінки та засоби підвищення надійності програмного забезпечення [Текст] : Автореф. дис. ... канд. технічних наук: 05.13.06 / Дідковська М.В.; Нац. технічний ун-т України "Київський політехнічний інститут". — Київ, 2006. — 19 с.
• Методи розробки алгоритмів [Текст] : Тексти лекцій / Мін-во освіти і науки України. — Львів : Львівський національний університет ім. І.Франка, 2002. — 98 с.
• Методи та засоби аналізу надійності функціонування програмного забезпечення з урахуванням етапів життєвого циклу [Текст] : автореф. дис. ... д-ра техн. наук : 01.05.03 / Яковина Віталій Степанович ; М-во освіти і науки України, Нац. ун-т "Львів. політехніка". — Львів, 2016. — 40 с.
• Методи та засоби побудови програмних систем на основі онтологічних моделей задач [Текст] : автореф. дис. ... д-ра техн. наук : 01.05.03 / Буров Євген Вікторович ; Нац. ун-т "Львів. політехніка". — Львів, 2015. — 40 с.
• Методи та засоби реінженерії мобільних застосувань із графічним інтерфейсом [Текст] : Автореф. дис. ... канд.техн. наук: 01.05.03 / Пантелеймонов А.А.; Національний технічний університет КПІ. — Київ, 2004. — 20с.

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