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

Бази даних

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

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

Летичевский (мл.) А. А. Система доказательного программирования. — 2012 // Управляющие системы и машины.
2.

Лаврищева Е. М. Генерирующее и сборочное программирование. Аспекты разработки семейств программных систем. — 2013 // Кибернетика и систем. анализ.
3.

Галковская Л. А. Гибридный алгоритм решения задачи удовлетворения ограничений. — 2012 // Управляющие системы и машины.
4.

Дорошенко А. Е. Нисходящее проектирование алгоритмов в рамках алгеброалгоритмического подхода. — 2012 // Мат. машини і системи.
5.

Овсяк О.  Несуперечність алгебри секвенційних алгоритмів. — 2012 // Вісн. Нац. ун-ту "Львів. політехніка".
6.

Шатовская Т. Б. Модификация алгоритма построения графа в алгоритме Хамелеон. — 2012 // Искусств. интеллект.
7.

Василюк А. С. Адаптивний синтез формул абстрактних алгоритмів. — 2012 // Вісн. Нац. ун-ту "Львів. політехніка".
8.

Процько І. О. Алгоритм обчислення основних видів ДСП на базі циклічних згорток. — 2012 // Вісн. Нац. ун-ту "Львів. політехніка".
9.

Донской В. И. Сложность семейств алгоритмов обучения и оценивание неслучайности извлечения эмпирических закономерностей. — 2012 // Кибернетика и систем. анализ.
10.

Львов М. С. Нелинейные инварианты линейных циклов и собственные полиномы линейных операторов. — 2012 // Кибернетика и систем. анализ.
11.

Шатовська Т. Б. Модифікація алгоритму ієрархічної кластеризації Хамелеон на основі схожості об'єктів. — 2012 // Вост.-Европ. журн. передовых технологий.
12.

Салапатов В. І. Формування оптимального машинного коду програм під час його синтезу. — 2012 // Мат. машини і системи.
13.

Подловченко Р. И. К вопросу о полиномиальной сложности проблемы эквивалентности в алгебраических моделях программ. — 2012 // Кибернетика и систем. анализ.
14.

Драган Я.  Системний аналіз і методологія алгебри алгоритмів. — 2012 // Вісн. Нац. ун-ту "Львів. політехніка".
15.

Бабенко Л. П. Как понять программу. Характеристический анализ современных подходов к спецификации программ. — 2012 // Кибернетика и систем. анализ.
16.

Шило В. П. Метод глобального равновесного поиска решения задачи о максимальном взвешенном разрезе графа. — 2012 // Кибернетика и систем. анализ.
17.

Редько І. В. Теорія дескриптивних середовищ та її застосування : автореф. дис... д-ра фіз.-мат. наук : 01.05.03. — К., 2008
18.

Шкільняк С. С. Спектр логік часткових предикатів, орієнтованих на композиційно-номінативні моделі програм : автореф. дис. ... д-ра фіз.-мат. наук : 01.05.01. — К., 2010
19.

Шинкаренко В. Д. Эксперементальные исследования алгоритмов в программно-аппаратных средах : монография. — Д., 2009
20.

Іванов Є. В. Дослідження абстрактних систем із входами та виходами як частковими функціями часу : автореф. дис. ... канд. фіз.-мат. наук : 01.05.01. — Київ, 2014
...
 
Національна бібліотека України імені В. І. Вернадського
Відділ наукового формування національних реферативних ресурсів
Інститут проблем реєстрації інформації НАН України

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