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

Бази даних

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

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

Ковальчук А. М. Автоматизація процесу створення та адаптації інтерфейсу користувача програмного забезпечення чисельного аналізу математичних задач. — 2002 // Вісн. Житомир. інж.-технол. ін-ту. Техн. науки.
3.

Ефимов Г. Б. Из истории развития и применения компьютерной алгебры в Институте прикладной математики имени М. В. Келдыша. — 2003 // Мат. машини і системи.
4.

Кокошко B. C. Методология автоматизированного построения графиков функций многих переменных. — 2004 // Вестн. Херсон. гос. техн. ун-та.
5.

Мороховець М. К. Особливості організації сучасних систем автоматизації міркувань. — 2003 // Мат. машини і системи.
6.

Картавцев С. О. Аналіз мови розмітки MathML для побудови мовного представлення математичних нотацій. — 2004 // Вісн. Нац. техн. ун-ту України "КПІ".
7.

Добровольский Ю. Н. Исследование свойств разностных операторов первого и второго порядка в конечномерных линейных пространствах. — 2007 // Искусств. интеллект.
8.

Денисенко П. Н. Компьютеризация a-метода В. К. Дзядыка средствами системы алгебраического программирования APS. — 2005 // Искусств. интеллект.
9.

Попов А. В. Решение задач линейной алгебры с разреженными симметричными матрицами на MIMD-компьютере. — 2007 // Искусств. интеллект.
10.

Ручкин К. А. Система компьютерного моделирования и анализа сечений Пуанкаре. — 2007 // Искусств. интеллект.
11.

Ефимов Г. Б. Об истории использования отечественных систем символьных преобразований в механических приложениях. — 2008 // Мат. машини і системи.
12.

Львов М. С. Проектирование логического вывода как пошагового решения задач в математических системах учебного назначения. — 2008 // Управляющие системы и машины.
13.

Банщиков А. В. Задачи механики и компьютерная алгебра. — 2008 // Мат. машини і системи.
14.

Драган Я. П. Математичне й алгоритмічно-програмне забезпечення комп'ютерних засобів статистичного опрацювання стохастичних коливань (ритмічних процесів). — 2008 // Вісн. Нац. ун-ту "Львів. політехніка".
15.

Каленчук-Порханова А. А. Пакет программ аппроксимации функций. — 2008 // Комп'ют. засоби, мережі та системи.
16.

Шипулин А. И. Приближенный метод выбора структуры систем с функциональным резервированием. — 2008 // Зб. наук. пр. Харк. ун-ту Повітр. сил.
17.

Николаевская Е. А. Программно-алгоритмические методы повышения точности компьютерных решений. — 2009 // Кибернетика и систем. анализ.
18.

Слободян Я. Е. Суперкомпьютерная технология моделирования жизненного цикла особо сложных технических объектов. — 2009 // Кибернетика и систем. анализ.
19.

Ревенчук І. А. Алгебро-логічні методи опису арифметичних відношень та їх застосування при створенні раціональних структур обчислювачів : Автореф. дис... канд. техн. наук : 01.05.03. — Х., 2001
20.

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

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