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

Бази даних

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

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

Вінничук І. П. Алгебраїчні засоби проектування діалогових середовищ у системах автоматизованого створення програм. — 1998 // Пробл. программир..
2.

Левин И. И. Алгоритмы трансляции языка параллельного программирования высокого уровня для многопроцессорной системы со структурно-процедурной организацией вычислений. — 2001 // Искусств. интеллект.
3.

Зинькович В. М. Анализ инструментальных средств MetaCASE. — 2001 // Пробл. программирования.
4.

Кузьомін О. Я. Від основ C++ до об'єктно-орієнтованого програмування додатків : Навч. посіб. — Х., 2000
5.

Манєв М. К. Додаткові специфікації у процедурному програмуванні. — 2000 // Мат. машины и системы.
6.

Корченко О. Г. Захист та зламування програм : Навч. посіб. для студ. напряму "Інформ. безпека". — К., 2001
7.

Цейтлин Г. Е. Интегрированный инструментарий проектирования и синтеза классов алгоритмов и программ. — 2000 // Кибернетика и систем. анализ.
8.

Коротун Т. М. Модель определения критерия завершения тестирования на основе анализа риска отказа и ее реализация. — 2001 // Пробл. программирования.
9.

Петрушенко А. Н. Об алгебраической трактовке процесса проектирования алгоритмов и программ в диалоговой трансформационной машине. — 1999 // Вестн. Херсон. гос. техн. ун-та.
10.

Лебідь Р. Д. Основи побудови компіляторів : Навч. посіб. для студ. вищ. техн. закл. освіти. — К., 2000
11.

Бабенко Л. П. Основи програмної інженерії : Навч. посіб. для студ. вищ. навч. закл. — К.: Знання, 2001 - (Сер. "Вища освіта ХХІ ст.").
12.

Колодницкий Н. М. Применение формализма порождающих грамматик к анализу родственных языков. — 2001 // Кибернетика и систем. анализ.
13.

Жихарев В. Я. Проектирование электронных компиляторов. — Х.: Факт, 1999
14.

Бабенко Л. П. Підхід до атестації адаптивних властивостей компонентів програмних систем засобами UML. — 2001 // Пробл. программирования.
15.

Коротун Т. М. Совершенствование процесса тестирования программного обеспечения . — 1998 // Пробл. программир..
16.

Канер С.  Тестирование программного обеспечения. — 2-е изд. — К.: ДиаСофт, 2000
17.

Бернатович О. В. Функциональное тестирование программного обеспечения информационно-расчетного типа . — 1998 // Пробл. программир..
18.

Месюра В. І. Основи функціонального програмування. — Вінниця, 2001
19.

Устенко С. А. Функціональне програмування. — Миколаїв, 1998
20.

Дорошенко А. Ю. Інтелектуалізація векторизуючих компіляторів для мікропроцесорів з довгим командним словом. — 2001 // Пробл. программирования.
...
 
Національна бібліотека України імені В. І. Вернадського
Відділ наукового формування національних реферативних ресурсів
Інститут проблем реєстрації інформації НАН України

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