Головна Спрощенний режим Посібник користувача
Авторизація
Прізвище
Пароль
 

Бази даних


Електронний каталог бібліотеки- результати пошуку

Вид пошуку
Електронний каталог бібліотеки
Каталог авторефератів та дисертацій
Грінченкознавство
Рідкісні та цінні видання
Українська Аудіокнига
Мережеві ресурси
Наукові періодичні видання Університету
Зона пошуку
Формат представлення знайдених документів:
повнийінформаційний короткий
Відсортувати знайдені документи за:
авторомназвоюроком виданнятипом документа
Пошуковий запит: (<.>K=верифікованні обчислення<.>)
Загальна кількість знайдених документів : 2
Показані документи с 1 за 2
1.

Кибернетика и системный анализ - 2018г.,N 1 (Введено оглавление)
2.

Анисимов А. В. Доверительные вычисления с использованием складывающей машины/А. В. Анисимов, А. К. Новокшонов // Кибернетика и системный анализ. -Київ:Інститут кібернетики ім. В. М. Глушкова НАН України, 2018,N № 1.-С.3-12
 
Стандартний
Розширений
Професійний
За словником
УДК-навігатор
Статистика звернень
© Міжнародна Асоціація користувачів і розробників електронних бібліотек і нових інформаційних технологій
(Асоціація ЕБНІТ)