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

Бази даних

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

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

Lvov M. The concept of the educational computer mathematics system and examples of its implementation // Інформ. технології в освіті : зб. наук. пр. - 2014. - Вип. 21.
2.

Prots'ko I. The modular exponentiation with precomputation of redused set of residues for fixed-base // Радіоелектроніка. Інформатика. Управління. - 2022. - № 1.
3.

Lvov M. S. Visual support of the topic "Algorithms for sorting and searching" course of basic programming // Інформ. технології в освіті : зб. наук. пр. - 2020. - Вип. 3.
4.

Львов М. С. Інтегроване програмне середовище "Аналітичнa геометрія". — 2010 // Наук. пр. Нац. ун-ту харч. технологій.
5.

Мельник М. Р. Автоматизація побудови графічних залежностей у системі ANSYS. — 2010 // Вісн. Нац. ун-ту "Львів. політехніка".
6.

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

Макар В.  Автоматизована числова схема розв'язання крайових задач на основі h-адаптивного методу скінченних елементів. — 2011 // Вісн. Нац. ун-ту "Львів. політехніка".
8.

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

Денисенко П. Н. Алгоритм для решения нелинейных краевых задач по tau-методу Ланцоша в системах компьютерной алгебры. — 2009 // Искусств. интеллект.
10.

Денисенко П. Н. Алгоритм регуляризации tau-метода Ланцоша и его реализация средствами алгебраического программирования. — 2011 // Кибернетика и систем. анализ.
11.

Осадча К. П. Аналіз методів розробки алгоритмів розв'язання математичних задач засобами мови PYTHON // Системи оброб. інформації. - 2016. - Вип. 2.
12.

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

Дода А. Ф. Аналіз сучасного наповнення інтернет-ресурсів онлайн калькуляторами для розв'язання задач елементарної математики // Вісн. Вінниц. політехн. ін-ту. - 2014. - № 6.
14.

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

Сердюк П. Архітектура програмного забезпечення верифікації та автоматизованого тестування методів розв'язування задач математичної фізики // Вісн. Нац. ун-ту "Львів. політехніка". - 2013. - № 771.
16.

Коляденко А. А. Використання засобів автоматичного доведення теорем для дослідження моделей контролю доступу на базі ролей та генерації авторизаційних тверджень. — 2009 // Наук. зап. НаУКМА. Сер. Комп'ют. науки.
17.

Гетьман І. А. Використання систем комп'ютерної алгебри для розв'язування математичних завдань // Дидактика математики: пробл. і дослідж. : зб. наук. пр. - 2010. - Вип. 33.
18.

Тютюнник О. І. Використання систем комп'ютерної математики для створення програмних засобів навчального призначення // Вісн. Вінниц. політехн. ін-ту. - 2013. - № 6.
19.

Кондрук Н. Е. Деякі методи автоматичного групування об'єктів // Вост.-Европ. журн. передовых технологий. - 2014. - № 2/4.
20.

Банщиков А. В. Задачи механики и компьютерная алгебра. — 2008 // Мат. машини і системи.
...
 
Національна бібліотека України імені В. І. Вернадського
Відділ наукового формування національних реферативних ресурсів
Інститут проблем реєстрації інформації НАН України

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