А 441 Акуловский, В. Г. Формализация взаимосвязей операторов и данных в рамках расширенной алгебры алгоритмов [Текст] / В. Г. Акуловский> // Кибернетика и системный анализ. - 2008. - Т. 44, № 6. - С. . 170-182. - Бібліогр. : с. 182 (11 назв.)
Кл.слова (ненормовані): Система алгоритмічних алгебр -- Регулярні схеми -- Формалізація даних -- Розробка алгоритмів -- Перетворення алгоритмів Анотація: Розглянуто систему алгоритмічних алгебр, у якій відомі основні поняття трактуються по-новому з метою формалізації взаємозв'язку операторів алгебри і даних. Побудовано модифікований формальний апарат, у рамках якого розширено можливості розробки і перетворення регулярних схем алгоритмів. |
М 860 Мохамед, Салем Нассер. Сравнительный анализ методов сортировки [Текст] / С. Н. Мохамед> // Оптико-електронні інформаційно-енергетичні технології. - 2007. - № 1 (13). - С. 34-40. - Бібліогр.: с. 40 (12 назв.)
Кл.слова (ненормовані): Сортування -- Злиття -- Дерево пошуку |
Д 696 Дорошенко, А. Е. Разработка высокопаралельных приложений для графических ускорителей с использованием переписывающих правил [Текст] / А. Е. Дорошенко, К. А. Жереб> // Проблеми програмування. - 2009. - № 3. - С. 3-17. - Бібліогр.: с. 16-17 (22 назв.)
Комп'ютерна наука і технологія--Архітектура--Паралельна обробка Кл.слова (ненормовані): Відеокарти -- Графічні прискорювачі -- CUDA -- Програмування -- Графіка Дод.точки доступу: Жереб, К. А. |
Д 696 Дорошенко, А. Е. Высокоуровневые средства автоматизации проектирования паралельных алгоритмов [Текст] / А. Е. Дорошенко, Г. Е. Цейтлин, В. А. Иовчев> // Проблеми програмування. - 2009. - № 3. - С. 19-29. - Бібліогр.: с. 28-29 (24 назв.)
Комп'ютерна наука і технологія--Архітектура--Паралельна обробка Кл.слова (ненормовані): Середовище розподілене -- Мультипотокове програмування -- Грід-програма -- Система -- Кластерна Дод.точки доступу: Цейтлин, Г. Е.; Иовчев, В. А. |
Д 361 Дерецкий, В. Подход к определению полноты композиции семантических веб-сервисов [Текст] / В. Дерецкий> // Проблеми програмування. - 2009. - № 3. - С. 30-39. - Бібліогр.: с. 38-39 (31 назв.)
Комп'ютерна наука і технологія--Комп'ютерний зв'язок, мережі комп'ютерів Кл.слова (ненормовані): Композиція автоматизована -- Сервіс цільовий -- Запрос пошуковий -- Релевантність |
Т 191 Тарасенко, В. П. Контекстно-асоціативний підхід до автоматизованого виправлення орфографічних помилок [Текст] / В. П. Тарасенко, А. Ю. Михайлюк, Т. М. Заболотня> // Системні дослідження та інформаційні технології. - 2009. - № 3. - С. 21-30. - Бібліогр.: с. 30 (14 назв.)
Комп'ютерна наука і технологія--Програмне забезпечення--Програмування, комп'ютерні програми--Алгоритми для конструювання програм Кл.слова (ненормовані): Фільтрація варіантів -- Орфокорекція -- Коректор програмний -- Обробка контекстно-асоціативна Дод.точки доступу: Михайлюк, А. Ю.; Заболотня, Т. М. |
Л 890 Капустій, Борис. Алгоритм дослідження стійкості вимірювальних перетворювачів, які працюють на несучій частоті [Текст] / Борис Капустій, Олег Надобко> // Вісник Національного університету "Львівська політехніка". - Львів, 2003. - № 477: Радіоелектроніка та телекомунікації. - С. 157-160. - Бібліогр.: с. 160.
Електрика--Вироблення, постачання електроенергії, електричні машини та прилади--Електричні вимірювання Дод.точки доступу: Надобко, Олег Є примірники у відділах: 1 Інв.Б 514282 - Б.ц. (вільний) |
Л 890 Черняхівський, В. Серединні умови задач побудови максимальних простих ланцюгів неповного графа [Текст] / В. Черняхівський> // Вісник Львівського університету. Серія: Прикладна математика та інформатика. - 2008. - Вип. 14. - С. . - Бібліогр. в кінці ст.
Є примірники у відділах: 1 Інв.Б 518479 - Б.ц. (вільний) |
Л 890 Грига, В. М. Побудова та аналіз рекурсивних просторово-часових графів [Текст] / В. М. Грига> // Вісник Національного університету "Львівська політехніка". - Львів : Вид-во Нац. ун-ту "Львів. політехніка", 2007. - № 603: Комп'ютерні системи та мережі. - С. 31-35. - Бібліогр. в кінці ст.
Є примірники у відділах: 1 Інв.В 71087 - Б.ц. (вільний) |
Л 890 Дороніна, О. М. Підвищення рівня інтелекту процесорних комплексів контролю та діагностики енергооб'єктів [Текст] / О. М. Дороніна, С. В. Хомич> // Вісник Національного університету "Львівська політехніка". - Львів : Вид-во Нац. ун-ту "Львів. політехніка", 2007. - № 603: Комп'ютерні системи та мережі. - С. 35-39. - Бібліогр. в кінці ст.
Електрика--Вироблення, постачання електроенергії, електричні машини та прилади--Електричні вимірювання Дод.точки доступу: Хомич, С. В. Є примірники у відділах: 1 Інв.В 71087 - Б.ц. (вільний) |
Л 890 Дороніна, О. М. Оптимізація контролю параметрів електроенергії за допомогою застосування адаптивних вимірювальних алгоритмів [Текст] / О. М. Дороніна> // Вісник Національного університету "Львівська політехніка". - Львів : Вид-во Нац. ун-ту "Львів. політехніка", 2007. - № 603: Комп'ютерні системи та мережі. - С. 39-43. - Бібліогр. в кінці ст.
Комп'ютерна наука і технологія--Програмне забезпечення--Програмування, комп'ютерні програми--Алгоритми для конструювання програм Дод.точки доступу: Хомич, С. В. Є примірники у відділах: 1 Інв.В 71087 - Б.ц. (вільний) |
Л 890 Ногаль, М. В. Додавання і множення в полях Галуа [Текст] / М. В. Ногаль> // Вісник Національного університету "Львівська політехніка". - Львів : Вид-во Нац. ун-ту "Львів. політехніка", 2007. - № 603: Комп'ютерні системи та мережі. - С. 105-111. - Бібліогр. в кінці ст.
Є примірники у відділах: 1 Інв.В 71087 - Б.ц. (вільний) |
Л 890 Різник, В. Проблема подолання інформаційної надмірності монолітного коду [Текст] / В. Різник, В. Парубчак, Д. Скрибайло-Леськів> // Вісник Національного університету "Львівська політехніка". - Львів : Вид-во Нац. ун-ту "Львів. політехніка", 2008. - № 629: Комп'ютерні науки та інформаційні технології. - С. 29-33. - Бібліогр. в кінці ст.
Дод.точки доступу: Парубчак, В.; Скрибайло-Леськів, Д. Є примірники у відділах: 1 Інв.В 71005 - Б.ц. (вільний) |
Л 890 Медиковський, М. Ефективність програмного забезпечення для семантичного пошуку даних про графічні об'єкти [Текст] / М. Медиковський, М. Чаплагін> // Вісник Національного університету "Львівська політехніка". - Львів : Вид-во Нац. ун-ту "Львів. політехніка", 2008. - № 629: Комп'ютерні науки та інформаційні технології. - С. 122-126. - Бібліогр. в кінці ст.
Дод.точки доступу: Чаплагін, М. Є примірники у відділах: 1 Інв.В 71005 - Б.ц. (вільний) |
Л 890 Зербіно, Д. Тенденції невизначеності у мовах програмування [Текст] / Д. Зербіно, Ю. Цимбал> // Вісник Національного університету "Львівська політехніка". - Львів : Вид-во Нац. ун-ту "Львів. політехніка", 2008. - № 629: Комп'ютерні науки та інформаційні технології. - С. 183-186. - Бібліогр. в кінці ст.
Дод.точки доступу: Цимбал, Ю. Є примірники у відділах: 1 Інв.В 71005 - Б.ц. (вільний) |
Л 890 Різник, В. Досконалі коди на симетричних групах [Текст] / В. Різник> // Вісник Національного університету "Львівська політехніка". - Львів, 2007. - № 604: Комп’ютерні системи проектування. Теорія і практика. - С. 232-236. - Бібліогр. в кінці ст.
Є примірники у відділах: 1 Інв.В 71088 - Б.ц. (вільний) |
А 441 Акуловский, В. Г. Некоторые аспекты формализации данных и декомпозиция Д-операторов [Текст] / В. Г. Акуловский> // Проблеми програмування. - 2009. - № 4. - С. 3-10. - Бібліогр. в кінці ст.
|
М 860 Мохница, А. С. Особенности реализации средств трансформационного синтеза паралельных алгоритмов [Текст] / А. С. Мохница, В. А. Иовчев, Е. А. Андрющенко> // Проблеми програмування. - 2009. - № 4. - С. 24-32. - Бібліогр. в кінці ст.
Дод.точки доступу: Иовчев, В. А.; Андрющенко, Е. А. |
А 470 Алексеєв, В. А. Багатоваріантність нотацій представлення алгоритмів функціонування програмних засобів як шлях до їх верифікації [Текст] / В. А. Алексеєв, В. С. Терещенко> // Проблеми програмування. - 2009. - № 4. - С. 33-48. - Бібліогр. в кінці ст.
Дод.точки доступу: Терещенко, В. С. |
Н 354 Ермакова, О. В. Разработка программного обеспечения для эколого-биологической оценки реактивности лесов на юго-востоке Украины [Текст] / О. В. Ермакова> // Науковий вісник [Національного лісотехнічного університету України] : зб. наук.-техн. пр. - Львів, 2008. - Вип. 18.2. - С. 253-262. - Бібліогр. в кінці ст.
Комп'ютерна наука і технологія--Програмне забезпечення--Програмування, комп'ютерні програми--Алгоритми для конструювання програм Є примірники у відділах: 1 Інв.А 413363 - Б.ц. (вільний) |