РЕФЕРАТИВНА БАЗА ДАНИХ "УКРАЇНІКА НАУКОВА"
Abstract database «Ukrainica Scientific»
Оберіть мову
Ukrainian
Arabic
Armenian
Azerbaijani
Belarusian
Bulgarian
Chinese (Simplified)
Chinese (Traditional)
Czech
Danish
Dutch
English
Estonian
Finnish
French
Georgian
German
Greek
Hebrew
Hindi
Hungarian
Icelandic
Irish
Italian
Japanese
Korean
Latvian
Lithuanian
Norwegian
Persian
Polish
Portuguese
Romanian
Russian
Serbian
Slovak
Slovenian
Spanish
Swahili
Swedish
НОВІ
НАДХОДЖЕННЯ
ПОШУК
РУБРИКАТОР
Бази даних
Реферативна база даних - результати пошуку
Книжкові видання та компакт-диски
Журнали та продовжувані видання
Автореферати дисертацій
Реферативна база даних
Наукова періодика України
Тематичний навігатор
Авторитетний файл імен осіб
Вид пошуку
Ключові слова (без закінчення)
Автор (тільки прізвище)
Назва
Рік видання
у знайденому
Сортувати знайдені документи за:
автором
назвою
роком видання
видом документа
Знайдено в інших БД:
Журнали та продовжувані видання (1)
Наукова періодика України (1)
Пошуковий запит:
(<.>TJ=Проблеми програмування<.>)
Загальна кількість знайдених документів
:
428
Представлено документи
з 1 до 20
...
1.
Лавріщева К. М.
Компонентне
програмування
. Теорія і реалізація
//
Пробл. програмув.
. - 2012. - № 4.
2.
Нікітченко М. С.
Логіки квазіарних предикатів кванторно-екваційного рівня
//
Пробл. програмув.
. - 2012. - № 4.
3.
Провотар О. І.
Про нові методи опису невизначених величин
//
Пробл. програмув.
. - 2012. - № 4.
4.
Щегельський Т. С.
Аналіз систем нечіткої логіки для апроксимації нечітких функцій
//
Пробл. програмув.
. - 2012. - № 4.
5.
Ігнатенко О. П.
Одна динамічна конфліктно керована модель взаємодії користувачів у відкритих інформаційних середовищах
//
Пробл. програмув.
. - 2012. - № 4.
6.
Кожаев В. В.
Иструментарий создания игровой логики
//
Пробл. програмув.
. - 2012. - № 4.
7.
Колчин А. В.
Обзор современных систем и методов верификации формальных моделей
//
Пробл. програмув.
. - 2012. - № 4.
8.
Захарова О.
Технологія оптимального вибору варіантів на основі семантичного аналізу інформаційних об'єктів бізнес-процесу
//
Пробл. програмув.
. - 2012. - № 4.
9.
Алексеєв В. А.
Архітектура та функціональні можливості системи ситуаційного керування охороною зон відповідальності
//
Пробл. програмув.
. - 2012. - № 4.
10.
Мердух С. Л.
Пакет прикладних програм для розрахунку безперервних та дискретних моделей динамічних процесів у контурах керування
//
Пробл. програмув.
. - 2012. - № 4.
11.
Терещенко А. Н.
Оптимизация умножения больших N-разрядных чисел на основе N-разрядных ДПФ
//
Пробл. програмув.
. - 2012. - № 4.
12.
Ильман В. М.
Конструктивное представление множественных объектов и их свойства
//
Пробл. програмув.
. - 2014. - № 1.
13.
Терлецький Д. О.
Конструктори множин та мультимножин об'єктів
//
Пробл. програмув.
. - 2014. - № 1.
14.
Пріла О. А.
Фреймворк для розробки високорівневих Grid-застосувань
//
Пробл. програмув.
. - 2014. - № 1.
15.
Дорошенко А. Ю.
Паралельна розподілена реалізація моделювання паралельних обчислень
//
Пробл. програмув.
. - 2014. - № 1.
16.
Лихацкий И. А.
О технике реляционно-объектного преобразования
//
Пробл. програмув.
. - 2014. - № 1.
17.
Зубенко В. В.
Операційна модель комунікативних інформаційних систем
//
Пробл. програмув.
. - 2014. - № 1.
18.
Колтик М. А.
Системно-онтологический анализ предметной области проведения испытаний КСЗИ
//
Пробл. програмув.
. - 2014. - № 1.
19.
Максимец А. Н.
Верификация программ: состояние, проблемы, экспериментальные результаты. II
//
Пробл. програмув.
. - 2014. - № 1.
20.
Григорян Р. Д.
Программный симулятор реакций аэробной клетки на дисбаланс энергии
//
Пробл. програмув.
. - 2014. - № 1.
...
Національна бібліотека України імені В. І. Вернадського
Відділ наукового формування національних реферативних ресурсів
Інститут проблем реєстрації інформації НАН України
Всі права захищені ©
Національна бібліотека України імені В. І. Вернадського