Одеська національна наукова бібліотека

Повернутися до сайту ОННБ
Бібліотека працює:
понеділок, вівторок, середа, четвер, субота і неділя – з 10.00 до 18.00
Вихідний день – п’ятниця. Останній четвер місяця – санітарний день

Електронний каталог

Відображає документи,
що надійшли до бібліотеки з 2001 р.

Пошук :

  • Нові надходження
  • Простий пошук
  • Автори
  • Видавництва
  • Серії
  • Тезауруси
  • Індекси УДК

Довідка :

  • Як освоїти пошук в ЕК
  • Приклади оформлення бланка вимоги
  • Перелік наукових спеціальностей
  • Скорочені таблиці УДК українською мовою на веб-сайті UDCS

Електронний каталог : Дорошенко, Анатолій Юхимович

К списку авторов

Дорошенко, Анатолій Юхимович

Сортувати за:заглавию

Зв'язані описи:

Відобразити для друку: сторінку | інверсія | сброс | друк(0)

Математична логіка та програмування. Досвід викладання
Недоступно
 0 из 1
Книга

Математична логіка та програмування. Досвід викладання: монографія
Видавничий дім "Гельветика", 2022 г.
ISBN 978-966-992-782-8


Формальні методи специфікації програм
Недоступно
 0 из 1
Книга

Формальні методи специфікації програм: навч. посіб.
ВПЦ "Київський університет", 2018 г.
ISBN 978-966-439-990-3


Формальні та інтелектуальні методи автоматизації проєктування програмних систем
Нет экз.
Стаття
Дорошенко, Анатолій Юхимович
Формальні та інтелектуальні методи автоматизації проєктування програмних систем: стенограма доп. на засід. Президії НАН України 19 лют. 2025 р.
б.г.
ISBN відсутній


© Одеська національна наукова бібліотека 2012—2025