Зведений каталог бібліотек Тернополя

• Класифікатори та каталоги
• 68

Програмне забезпечення

Документи:

• Інструментальні засоби програмування [Текст] : навчальний посібник для студ. вузів, які навч. за спец. "Прикладна математика" / Ю.А. Бєлов, В.С. Проценко, П.Й. Чаленко. — К. : Либідь, 1993. — 248 с.
• Інтелектуалізація засобів вимірювання [Текст] / О. Березький, Н. Васильків, М. Чирка // Вісник Тернопільського державного технічного університету [Текст]. — с.71-77.
• Інформатика [Текст] : навч. посіб. для студ. пед. ін-тів / за ред. М. І. Шкіля. — К. : Вища шк., 1991. — 319 с.
• Как понять программу. Характеристичный анализ современных подходов к спецификации программ [Текст] / Л.П. Бабенко // Кибернетика и системный анализ : Международный научно-теоретический журнал. — К. : Институт кибернетики НАН Украины, 2012. — №2. — с.140-150.
• Комплекс циклічного відтворення оцифрованих фраз "PARROT-8" [Текст] / В. Тимчишин // Вісник Тернопільського державного технічного університету [Текст]. — с.84-92.
• Композиционное универсальное хеширование по кривым Ферма в простом поле [Текст] / Г.З. Халимов // Радиотехника : Всеукраинский межведомственный научно-технический сборник. — Харьков : ПФ "Колегіум", 2013. — №1. — с.97-103.
• Композиційно-номінативні модальні логіки функціонально-екваційного рівня [Текст] / О.С. Шкільняк // Проблеми програмування : Науковий журнал. — К. : Інститут програмних систем НАН України, 2010. — №3. — с.42-47.
• Компьютеры и автоматизация инженерного труда [Текст] / Автор предисловия О.М.Белоцерковский. — М. : Наука, 1990. — 144 с.
• Конструирование и функционирование программного обеспечения для АСУ [Текст] / Г.П. Выпов, Л.И. Саламатина. — К. : Наукова думка, 1990. — 153 с.
• Конструювання та верифікація програм на основі специфікацій у композиційно-номінативній мові CNLS [Текст] / М.А. Безверха, П.П. Процик // Проблеми програмування : Науковий журнал. — К. : Інститут програмних систем НАН України, 2010. — №3. — с.340-348.
• Кривые Эдвардса почти простого порядка над расширениями малых простых полей [Текст] / А.В. Бессалов, А.И. Гурьянов, А.А. Дихтенко // Прикладная радиоэлектроника : Научно-технический журнал. — Харків : ТОВ "Друкарня Мадрид", 2012. — №2. — с.225-227.
• Логика, алгебра и базы данных [Текст] : пер. с англ. / П. Грэй. — М. : Машиностроение, 1989. — 368 с.
• Макроассемблер для СМ1700 [Текст] / Г.П. Остапенко, Н.А. Толмачева, В.Е. Горский. — М. : Финансы и статистика, 1990. — 240 с.
• Математические методы и ЭВМ в стандартизации и управления качеством [Текст] / Б.В. Осипов, Е.А. Мировская. — М. : Изд-во стандартов, 1990. — 168 с.
• Метод нульового простору для сліпої ідентифікації функції розсіювання точки зображення [Текст] / Р.Н. Квєтний, О.Ю. Софина, Ю.А. Буняк // Інформаційні технології та комп’ютерна інженерія : Міжнародний науково-технічний журнал. — Вінниця : ВНТУ, 2012. — №2. — с.72-77.
• Методы компъютерной алгебры в задачах механики [Текст] : Монография / Д.М. Климов, В.М. Руденко. — М. : Наука, 1989. — 215 с.
• Механизмы обеспечения вариабельности в семействах программных систем [Текст] / А.Л. Коленик // Проблеми програмування : Науковий журнал. — К. : Інститут програмних систем НАН України, 2010. — №1. — с.56-65.
• Механизмы обеспечения вариабельности в семействах программных систем [Текст] / А.Л. Колесник // Проблеми програмування : Науковий журнал. — К. : Інститут програмних систем НАН України, 2010. — №1. — с.56-65.
• Мобильная операционная система [Текст] : Справочник / М.И. Беляков, Ю.И. Рабовер, А.Л. Фридман. — М. : Радио и связь, 1991. — 208с.
• Мобильные приложения для виртуального взаимодействия врача и пациента при дистанционном мониторинге сердечной деятельности [Текст] / Л.С. Файнзильберг, Т.В. Сорока // Кибернетика и вычислительная техника : Научный журнал. — К. : "Академперіодика" НАН України, 2016. — №2. — с.8-24.
• Моделювання метрологічних характеристик інтелектуальних засобів вимірювання на стадії системотехнічного проектування [Текст] / О. Березький, К. Березька // Вісник Тернопільського державного технічного університету [Текст]. — с.135-140.
• Моделювання радіовипромінювань від комп’ютено - ергатичних систем [Текст] / Б. Яворський // Вісник Тернопільського державного технічного університету [Текст]. — с.115-122.
• Московские олимпиады по программированию [Текст] / под ред. Б. Н. Наумова. — Изд. 2-е, перераб. и доп. — М. : Наука, 1990. — 208 с.
• Мультимножества: обзор библиографии, построение решетки мультимножеств [Текст] / Ю.А. Богатырёва // Проблеми програмування : Науковий журнал. — К. : Інститут програмних систем НАН України, 2010. — №3. — с.68-71.
• Нагромаджувач для спеціалізованих комп'ютерних систем [Текст] / В. Тимчишин // Вісник Тернопільського державного технічного університету [Текст]. — с.117-121.
• Надежность программной продукции [Текст] / Е.Я. Карповский, С.А. Чижов. — К. : Тэхника, 1990. — 160 с.
• Начала информатики [Текст] / С.А. Абрамов, Е.В. Зима. — М. : Наука, 1989. — 256 с.
• Начала информатики. Язык Лого [Текст] / под ред. Б. Сендова, пер. с болг. Э. Паскалевой. — М. : Наука, 1989. — 176 с.
• Некласична двозначна алгебра логіки. Теорема про функціональну повноту булевих систем [Текст] / О. Дуда, М. Дуда // Вісник Тернопільського державного технічного університету [Текст]. — с.117-127.
• Нечеткие модели мультиагентных систем в распределённой среде [Текст] / И.Н. Парасюк, С.В. Ершов // Проблеми програмування : Науковий журнал. — К. : Інститут програмних систем НАН України, 2010. — №3. — с.330-339.
• Об’єктно-орієнтована БД Neodatis: розгортання, програмування запитів, порівняння з реляційними базами даних [Текст] / Д.Б. Буй, С.В. Компан // Проблеми програмування : Науковий журнал. — К. : Інститут програмних систем НАН України, 2010. — №3. — с.395-400.
• Объективно-ориентированное проектирование с примерами применения [Текст] / Г. Буч. — М. : Конкорд, 1992. — 519 с.
• Один з підходів до забезпечення взаємодії середовищ VISUAL STUDIO і ECLIPSE [Текст] / І.О. Радецький // Проблеми програмування : Науковий журнал. — К. : Інститут програмних систем НАН України, 2011. — №2. — с.43-49.
• О некорректности стандартного условия для MOV-атаки на эллиптические кривые [Текст] / А.В. Бессалов // Прикладная радиоэлектроника : Научно-технический журнал. — Харків : ТОВ "Друкарня Мадрид", 2012. — №2. — с.238-239.
• Онтологічне моделювання предметної області з проблематикою e-SCIENCE [Текст] / В.М. Зінькович // Проблеми програмування : Науковий журнал. — К. : Інститут програмних систем НАН України, 2011. — №3. — с.30-37.
• Операционная система ДЕМОС [Текст] : Инструментальные средства программиста / В.П. Тихомиров, М.И. Давидов. — М. : Финансы и статистика, 1988. — 206 с.
• Операционная система ОСРВ СМ ЭВМ [Текст] : справ. изд. / под ред. Г. А. Егорова. — Изд. 2-е, перераб. и дополн. — М. : Финансы и статистика, 1990. — 304 с.
• Операционная система СР/М - 86 [Текст] : Руководство для пользователей / Дж. Сейш. — М. : Радио и связь, 1988. — 464 с.
• Операционная система OS/2. [Текст] / Дж. Кранц, Э. Майзелл, Р. Уилльмз. — М. : Мир, 1991. — 351 с.
• Оптимизация вокруг нас [Текст] / Б.Я. Курицкий. — Ленинград : Машиностроение, 1989. — 144 с.
• Оптимізація запитів при конвертації DL/1 (IMS) в SQL [Текст] / А.В. Анісімов, О.П. Кулябко, П.П. Кулябко // Проблеми програмування : Науковий журнал. — К. : Інститут програмних систем НАН України, 2010. — №3. — с.376-381.
• Оптимізація шляхів побудови мережі інтелектуальних вимірювально-керуючих модулів [Текст] / В. Тимчишин // Вісник Тернопільського державного технічного університету [Текст]. — с.121-132.
• Основні принципи побудови онтологічного граф-орієнтованого опису прикладної області [Текст] / О. Захарова // Проблеми програмування : Науковий журнал. — К. : Інститут програмних систем НАН України, 2010. — №4. — с.51-59.
• Основы безбумажной информатики [Текст] / В.М. Глушков. — Изд. 2-е,испр. — М. : Наука, 1987. — 552 с.
• Основы информатики и вычислительной техники [Текст] : учебное пособие для студ. пед. ин-тов по физ.-мат. спец. / В.М. Заварыкин, В.Г. Житомирский, М.П. Лапчик. — М. : Просвещение, 1989. — 207 с.
• Основы информатики и вычислительной техники [Текст] : Учебное пособие / Громов А.И., Сафин М.Я., Аросева Т.Е., Арсеньева Т.Г. — М. : Изд-во УДН, 1991. — 88 с.
• Основы информатики системного проектирования объектов новой техники [Текст] / А.А. Тимченко, А.А. Родионов. — К. : Наукова думка, 1991. — 152 с.
• Основы программирования для Единой системы ЭВМ [Текст] / В.Д. Айнберг, Ю.В. Геронимус. — 2-е изд.,испр. и доп. — М. : Машиностроение, 1985. — 352 с.
• Основы программирования и алгоритмические языки [Текст] : Учебное пособие для техникумов / Баула В.Г., Васюков Н.Д., Тюляева В.В., Уманец П.В. — М. : Энергоатомиздат, 1991. — 400 с.
• Особенности обеспечения устойчивости усилителя с малым коэффициентом усиления [Текст] / Ч. ЭльКури // Электронные компоненты и системы : научно-технический журнал. — К. : ДП ВПЦ "Такі справи", 2013. — №2. — с.3-7.

1    2   3    4