Зведений каталог Житомирської обласної універсальної наукової бібліотеки ім. О. Ольжича та бібліотек Житомирської області

Про нас

Електронний депозитарій LIBO

Зведений каталог України

Бази даних

Електронний каталог ЖОУНБ ім. О. Ольжича- результати пошуку

Вид пошуку

Електронний каталог ЖОУНБ ім. О. Ольжича

Цінні та рідкісні видання ЖОУНБ ім. О. Ольжича

Звягельська бібліотека ЗМР

Зона пошуку

Формат представлення знайдених документів:
повний	інформаційний	короткий

Відсортувати знайдені документи за:
автором	назвою	роком видання	типом документа

Пошуковий запит: <.>K=формальні мови<.>

Загальна кількість знайдених документів : 4
Показані документи с 1 за 4

Форма документа : Однотомне видання
Шифр видання : 519.85/А 45
Автор(и) : Глушков В. М., Цейтлин Г. Е., Ющенко Е. Л.
Назва : Алгебра. Языки. Программирование. . -3-е изд. перераб. и доп.
Вихідні дані : К.: Наук. думка, 1989
Кільк.характеристики :376 с.: рис., табл.
Примітки : Лит.: с. 363-368. - Предм. указ.: с. 369-378
ISBN, Ціна 5-12-000499-7: 3.90 р.
УДК : 519.85
ББК : 22.14 + 22.183.4
Предметні рубрики: Алгебра
Мови програмування
Географіч. рубрики:
Анотація: Монография посвящена изучению алгебраических методов с учётом их применения в теоретическом и системном программировании, прикладной теории алгоритмов, теории формальных языков и систем программирования.
Примірники : всього : ФОНД(3)
Вільні : ФОНД(3)
Знайти схожі

Форма документа : Однотомне видання
Шифр видання : 007.52:519.7/К 82
Автор(и) : Криницкий, Николай Андреевич
Назва : Алгоритмы и роботы
Вихідні дані : М.: Радио и связь, 1983
Кільк.характеристики :168 с.: рис., табл.
Серія: Кибернетика
Примітки : Лит.: с. 165
Ціна : 0.55 р.
УДК : 007.52:519.7
ББК : 32.816
Предметні рубрики: Робототехніка
Географіч. рубрики:
Анотація: Теория, принцип действия и методы логического проектирования дискретных роботов.
Примірники :ВВ(1)
Вільні : ВВ(1)
Знайти схожі

Форма документа : Однотомне видання
Шифр видання : 004.43/Х42
Автор(и) : Хигман Б.
Назва : Сравнительное изучение языков программирования
Паралельн. назви :A Comparative Study of Programming Languages
Вихідні дані : Москва: Мир, 1974
Кільк.характеристики :204 с.: рис.
Серія: Математическое обеспечение ЭВМ
Примітки : Лит.: с. 197-201
Ціна : 0.87 р.
УДК : 004.43
ББК : 32.973
Предметні рубрики: Мови програмування
Географіч. рубрики:
Анотація: Вводный курс при изучении конкретных языков: АЛГОЛ, Фортран и КОБОЛ, основные понятия и конструкции языков программирования.
Примірники :ВВ(1)
Вільні : ВВ(1)
Знайти схожі

Форма документа : Стаття зі збірника (том многотомника)
Шифр видання : 027.54(477.25)/Н34
Автор(и) : Вітушко, Антон
Назва : Онтології аналітичних служб у бібліотечному середовищі
Колективи : Національна академія наук України, Національна бібліотека України імені В. І. Вернадського, Асоціація бібліотек України
Місце публікування : Національна бібліотека України імені В. І. Вернадського. Наукові праці Національної бібліотеки України імені В. І. Вернадського: збірник/ Нац. акад. наук України, Нац. б-ка України ім. В. І. Вернадського, Асоц. б-к України; ред. О. С. Онищенко (голова) [та ін.]. - К.: НБУВ, 2010. - Вип. 26 . - С. 182-190 (Шифр 027.54(477.25)/Н 34-269487)
Примітки : Л-ра в кінці ст.
УДК : 027.54(477.25)
ББК : 78.34(4УКР-2К)751.1
Предметні рубрики: Інформаційні технології
Автоматизовані бібліотечні системи
Автоматизовані системи обробки даних
Ключові слова (''Вільн.індекс.''): онтології--системи керування знаннями--формальні мови--моделювання предметної галузі--дескриптивні логіки--метаописання
Знайти схожі

© Міжнародна Асоціація користувачів і розробників електронних бібліотек і нових інформаційних технологій
(Асоціація ЕБНІТ)