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

Бази даних


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

Вид пошуку
Електронний каталог книг
Електронний каталог статей
Праці науковців
Дисертації та автореферати дисертацій
Охоронні документи
Рідкісні та цінні видання
Видання Springer Link
Краєзнавча база «Харків»
Бібліотечна справа
Інтернет-ресурси
Зона пошуку
Формат представлення знайдених документів:
повнийінформаційнийкороткий
Відсортувати знайдені документи за:
авторомназвоюроком виданнятипом документа
Пошуковий запит: (<.>K=формальні структури<.>)
Загальна кількість знайдених документів : 2
Показані документи с 1 за 2
1.
   004.4(075.8)
   Л 85

    Лупенко, Сергій Анатолійович.
    Комп'ютерна логіка [Текст] : підручник / С. А. Лупенко ; Тернопіл. нац. техн. ун-т ім. І. Пулюя. - Львів : Магнолія 2006, 2017. - 640 с. : рис., табл. - (Комп'ютинг). - Бібліогр.: с. 637-639 (50 назв). - ISBN 978-617-574-132-0
УДК
004.4(075.8)

Кл.слова (ненормовані):
формальні структури -- формальные структуры -- арифметичні основи -- арифметические основы -- комп'ютерні системи -- компьютерные системы -- структурний синтез -- структурный синтез -- інформаційни системи -- информаціонные системы
Дод.точки доступу:
Тернопіл. нац. техн. ун-т ім. І. Пулюя
Бібліотечний пунктВільніВсього екземплярів
Абонемент б. п. №2 (вул. Мироносицька, 92)22


Знайти схожі
2.
   004.94(075.8)
   Д 48

   
    Дискретні та алгоритмічні структури в інструментарії програмної інженерії [Текст] : навч. посібник / В. В. Скалозуб [та ін.] ; Дніпропетр. нац. ун-т залізн. трансп. ім. акад. В. Лазаряна. - Днiпропетровськ : [б. в.], 2016. - 254 с. : рис., табл. - Бібліогр. наприкінці розд. - ISBN 978-966-8471-73-5
УДК
004.94(075.8)
510.51(075.8)

Кл.слова (ненормовані):
програмна інженерія -- программная инженерия -- формальний інструментарій -- формальный инструментарий -- елементи -- элементы -- множинні стуктури -- множественные структуры -- моделі програм -- модели программ -- методи аналізу -- методы анализа -- аналіз програм -- анализ программ -- графові моделі -- графовые модели -- мови програмування -- языки программирования -- формальні структури -- формальные структуры -- граматичні структури -- грамматические структуры -- методи описів -- методы описаний -- формальні описи -- формальные описания -- аналіз протоколів -- анализ протоколов -- адміністративне управління -- административное управление -- інформаційно-обчислювальні -- информационно-вычислительные -- мережі -- сети
Дод.точки доступу:
Скалозуб, Владислав Васильович
Ільман, Валерій Михайлович
Івченко, Юрій Миколайович
Андрющенко, Вадим Олександрович
Дніпропетр. нац. ун-т залізн. трансп. ім. акад. В. Лазаряна
Бібліотечний пунктВільніВсього екземплярів
Абонемент б. п. №2 (вул. Мироносицька, 92)11


Знайти схожі
Стандартний
Розширений
Професійний
За словником
КЗ: Кафедра - дисципліна
Статистика звернень
© Асоціація ЕБНІТ