РЕФЕРАТИВНА БАЗА ДАНИХ "УКРАЇНІКА НАУКОВА"
Abstract database «Ukrainica Scientific»
НОВІ
НАДХОДЖЕННЯ
ПОШУК
РУБРИКАТОР

Бази даних

Реферативна база даних - результати пошуку

Книжкові видання та компакт-диски
Журнали та продовжувані видання
Автореферати дисертацій
Реферативна база даних
Наукова періодика України
Тематичний навігатор
Авторитетний файл імен осіб
Вид пошуку
у знайденому
Сортувати знайдені документи за:
авторомназвоюроком виданнявидом документа
 Знайдено в інших БД:Журнали та продовжувані видання (1)Наукова періодика України (1)
Пошуковий запит: (<.>TJ=Проблеми програмування<.>)
Загальна кількість знайдених документів : 428
Представлено документи з 1 до 20
...
1.

Захарова О. Технологія оптимального вибору варіантів на основі семантичного аналізу інформаційних об'єктів бізнес-процесу // Пробл. програмув.. - 2012. - № 4.
2.

Колчин А. В. Обзор современных систем и методов верификации формальных моделей // Пробл. програмув.. - 2012. - № 4.
3.

Алексеєв В. А. Архітектура та функціональні можливості системи ситуаційного керування охороною зон відповідальності // Пробл. програмув.. - 2012. - № 4.
4.

Терещенко А. Н. Оптимизация умножения больших N-разрядных чисел на основе N-разрядных ДПФ // Пробл. програмув.. - 2012. - № 4.
5.

Мердух С. Л. Пакет прикладних програм для розрахунку безперервних та дискретних моделей динамічних процесів у контурах керування // Пробл. програмув.. - 2012. - № 4.
6.

Кожаев В. В. Иструментарий создания игровой логики // Пробл. програмув.. - 2012. - № 4.
7.

Нікітченко М. С. Логіки квазіарних предикатів кванторно-екваційного рівня // Пробл. програмув.. - 2012. - № 4.
8.

Лавріщева К. М. Компонентне програмування. Теорія і реалізація // Пробл. програмув.. - 2012. - № 4.
9.

Провотар О. І. Про нові методи опису невизначених величин // Пробл. програмув.. - 2012. - № 4.
10.

Ігнатенко О. П. Одна динамічна конфліктно керована модель взаємодії користувачів у відкритих інформаційних середовищах // Пробл. програмув.. - 2012. - № 4.
11.

Щегельський Т. С. Аналіз систем нечіткої логіки для апроксимації нечітких функцій // Пробл. програмув.. - 2012. - № 4.
12.

Яценко Е. А. Интеграция инструментальных средств алгебры алгоритмов и переписывания термов для разработки эффективных параллельных программ // Пробл. програмув. - 2013. - № 2.
13.

Рогушина Ю. В. Использование онтологических знаний в рекомендующих системах // Пробл. програмув. - 2013. - № 2.
14.

Новицький О. В. Сервіс-орієнтовані, розподілені системи реального часу в електронних бібліотеках (ЕБ) // Пробл. програмув. - 2013. - № 2.
15.

Погорілий С. Д. Використання мереж Петрі для проектування паралельних застосувань // Пробл. програмув. - 2013. - № 2.
16.

Глибовець М. М. Аналіз каркасів зберігання й відображення на базі аспектно-орієнтованих технологій // Пробл. програмув. - 2013. - № 2.
17.

Letichevsky A. Deductive verification of requirements for event-driven architecture // Пробл. програмув. - 2013. - № 2.
18.

Яловець А. Л. До постановки задачі переслідування на площині // Пробл. програмув. - 2013. - № 2.
19.

Дорошенко А. Ю. Формалізоване проектування та синтез паралельних програм для відеографічних прискорювачів // Пробл. програмув. - 2013. - № 3.
20.

Погорілий С. Д. Створення методики проектування застосувань для програмно-апаратної платформи CUDA // Пробл. програмув. - 2013. - № 3.
...
 
Національна бібліотека України імені В. І. Вернадського
Відділ наукового формування національних реферативних ресурсів
Інститут проблем реєстрації інформації НАН України

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