Головна
Авторизація
Прізвище
№ читательского билета
 

Бази даних


Каталог книг НМетАУ (до 2022 року)- результати пошуку

Вид пошуку
Каталог книг
Каталог книг НМетАУ (до 2022 року)
Періодичні видання (друковані)
Статті, доповіді, тези
Рідкісні та цінні видання
Охоронні документи
Мережеві ресурси
Зона пошуку
 Знайдено у інших БД:Каталог книг (7)Статті, доповіді, тези (11)
Формат представлення знайдених документів:
повнийінформаційнийкороткий
Відсортувати знайдені документи за:
авторомназвоюроком виданнятипом документа
Пошуковий запит: <.>K=ДОКАЗАТЕЛЬСТВО<.>
Загальна кількість знайдених документів : 2
Показані документи с 1 за 2
1.
821.161.1(С)
А 45

    Алейников, Дмитрий Александрович.
    Доказательство от противного : роман / Д. А. Алейников. - М. : Рмада-Пресс, 1999. - 393 с. - (в пер.) : 4.50 грн.
ДРНТІ
17.82.31
УДК
821.161.1(С)
Рубрики: Проза

Утримувачі документа:
Библиотека Национальной металлургической академии Украины (НМетАУ) : 49600, г. Днепропетровск, пр. Гагарина, 4
Примірників всього: 1
АХЛ (1)
Свободны: АХЛ (1)
Знайти схожі
2.
681.3.06
А 65

    Андерсон, Роберт.
    Доказательство правильности программ : пер. с англ. / Р. Андерсон ; под ред. Д. Б. Подшивалов. - М. : Мир, 1982. - 163 с. - (в пер.) : 00.60 р.
ДРНТІ
20
УДК
681.3.06
Рубрики: Информационные технологии
   Інформаційні технології

Утримувачі документа:
Библиотека НМетАУ : 49600, г. Днепропетровск, пр. Гагарина, 4

Дод.точки доступу:
Подшивалов, Д. Б. \под ред.\
Свободных экз. нет
Знайти схожі
 
Стандартний
Розширений
Професійний
За словником
© Міжнародна Асоціація користувачів і розробників електронних бібліотек і нових інформаційних технологій
(Асоціація ЕБНІТ)