| № | Дата |
Автор |
Заглавие |
|---|
|
2006 |
Григорьев, Александр Сергеевич (кандидат технических наук ; информатика) |
Разработка метода и создания системы полнотекстового поиска на основе статистической обработки ограниченного контекста слова : автореферат диссертации на соискание ученой степени кандидата технических наук : 05.13.11 / Григорьев Александр Сергеевич ; [Московский государственный технический университет им. Н. Э. Баумана] |
|
1984 |
|
Основные средства описания алгоритмов : методические материалы / Академия наук Белорусской ССР, Институт технической кибернетики ; [автор-составитель Л. П. Матюшков] |
|
1972 |
Цветков, Виктор Дмитриевич (доктор технических наук ; 1931—2008) |
Автоматизация проектирования токарных операций / В. Д. Цветков, А. И. Петровский, В. А. Гулюк ; Академия наук Белорусской ССР, Институт технической кибернетики |
|
1984 |
Киселевский, Анатолий Иванович (доктор филологических наук, языкознание ; 1925—1986) |
Язык и его семантика : учебное пособие по курсам "Введение в языкознание" и "Общее языкознание" для 1-го курса языкового вуза / А. И. Киселевский ; [редколлегия: Э. И. Борисоглебская, А. С. Соколовская, А. Е. Курбыко] ; Министерство высшего и среднего специального образования БССР, Минский государственный педагогический институт иностранных языков |
|
2005 |
Тюленев-Лисовик, Леонид Петрович (род. 1948) |
Теория трансдьюсеров : [монография] / Л.П. Лисовик. — Т. 1: Главы 5-12. Кн. 2, Алгебра и автоматы. 1 |
|
2004 |
Swirydowicz, Kazimierz |
Podstawy logiki modalnej / Kazimierz Swirydowicz ; red. Aleksandra Ratajczak ; Uniw. im. A. Mickiewicza w Poznaniu |
|
2010 |
Молчанов, Алексей Юрьевич (кандидат технических наук) |
Системное программное обеспечение : учебник для вузов / А. Ю. Молчанов |
|
2010 |
Гавриков, Михаил Михайлович |
Теоретические основы разработки и реализации языков программирования : учебное пособие для вузов / М. М. Гавриков, А. Н. Иванченко, Д. В. Гринченков ; под ред. А. Н. Иванченко |
|
2012 |
Мощенский, Владимир Андреевич (кандидат физико-математических наук ; род. 1938) |
Избранные главы дискретной математики в утверждениях и упражнениях : пособие для студентов, обучающихся по специальности 1-31 03 04 "Информатика" / В. А. Мощенский |
|
2013 |
Горбунова, Ирина Анатольевна |
Построение экстремальных бесповторных слов и оценка их количества : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : специальность 01.01.09 Дискретная математика и математическая кибернетика / Горбунова Ирина Анатольевна ; [Уральский федеральный университет им. первого Президента России Б. Н. Ельцина] |
|
1998 |
Яковишин, Владимир Семенович (кандидат филологических наук ; род. 1936) |
Метод представления знаний в информационных системах : Метод.разраб. / Нац.акад.наук Беларуси.Ин-т техн.кибернетики |
|
2000 |
Яковишин, Владимир Семенович (кандидат филологических наук ; род. 1936) |
Формальный язык : Теория.Грамматика.Применение / Нац.акад.наук Беларуси.Ин-т техн.кибернетики |
|
2018 |
Егорушкин, Олег Игоревич |
Разрешимость полиномиальных грамматик и синтаксический анализ контекстно-свободных языков на основе коммутативных образов : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : специальность 05.13.17 Теоретические основы информатики / Егорушкин Олег Игоревич ; [Сибирский государственный университет науки и технологий им. М. Ф. Решетнева] |
|
2018 |
|
Теория формальных языков : методические рекомендации к лабораторным работам для студентов направления подготовки 09.03.04 "Программная инженерия" дневной формы обучения / Межгосударственное образовательное учреждение высшего профессионального образования "Белорусско-Российский университет", Кафедра "Программное обеспечение информационных технологий" ; [составитель Э. И. Ясюкович] |
|
2019 |
Поличка, Анатолий Егорович |
Основы моделирования в условиях компьютеризации и математизации : учебное пособие / А. Е. Поличка ; Министерство науки и высшего образования Российской Федерации, Федеральное государственное бюджетное образовательное учреждение высшего образования "Тихоокеанский государственный университет" |
|
2023 |
|
Теория формальных языков : методические рекомендации к лабораторным работам для студентов направления подготовки 09.03.04 "Программная инженерия" дневной формы обучения / Межгосударственное образовательное учреждение высшего образования "Белорусско-Российский университет", Кафедра "Программное обеспечение информационных технологий" ; [составитель Э. И. Ясюкович] |
|
2023 |
|
Трансляция формальных языков : курс лекций / Министерство образования Республики Беларусь, Учреждение образования "Витебский государственный университет им. П. М. Машерова", Кафедра прикладного и системного программирования ; [составитель С. В. Сергеенко] |
|
2008 |
Степанова, Надежда Александровна |
Моделирование процесса автоматического извлечения знаний в вопросно-ответных системах : автореферат диссертации на соискание ученой степени кандидата технических наук : 05.13.18 / Степанова Надежда Александровна ; [Государственное образовательное учреждение "Новгородский государственный университет им. Ярослава Мудрого"] |
|
2008 |
Холоденко, Александр Борисович |
Об автоматной аппроксимации реальных языков : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : 01.01.09 / Холоденко Александр Борисович ; [Московский государственный университет им. М.В. Ломоносова] |
|
2000 |
Марченко, Антон Леонардович (1956— ) |
C++. Бархатный путь / Марченко А.Л |
|
2004 |
Соколов, Александр Павлович |
Системы программирования: теория, методы, алгоритмы : Учеб. пособие для студентов, обучающихся по направлению 654600 - Информатика и вычисл. техника / А.П.Соколов |
|
1992 |
|
Прикладная математика : Учеб.пособие по практ.занятиям / С.С.Ершов,И.Л.Надточий,В.А.Самохвалов ; Челяб.гос.техн.ун-т,Каф."Электрон.вычисл.машины" |
|
2004 |
|
Системное программное обеспечение. Синтаксические анализаторы : учебно-методический комплекс для студентов специальностей 1-40 02 01 "Вычислительные системы и сети" и 1-40 01 01 "Программное обеспечение информационных технологий" / Министерство образования Республики Беларусь, Учреждение образования "Полоцкий государственный университет" ; составление и общая редакция Д. О. Глухова |
|
2005 |
Тюленев-Лисовик, Леонид Петрович (род. 1948) |
Теория трансдьюсеров / Л. П. Лисовик. — Т. 1, кн. 2: Алгебра и автоматы, 1 : главы 5―12 |
|
2002 |
Хопкрофт, Джон Э |
Введение в теорию автоматов, языков и вычислений : Пер. с англ. / Джон Хопкрофт, Раджив Мотвани, Джеффри Ульман |
|
2006 |
Тюленев-Лисовик, Леонид Петрович (род. 1948) |
Формальные языки и трансдьюсеры / Л. П. Лисовик. — Т. 2, кн. 1: Вычисления над размеченными деревьями |
|
2007 |
Тюленев-Лисовик, Леонид Петрович (род. 1948) |
Трансдьюсеры / Л. П. Лисовик. — [Т.] 2 |
|
2003 |
Молчанов, Алексей Юрьевич (кандидат технических наук) |
Системное программное обеспечение : учеб. для вузов / А.Ю. Молчанов |
|
1998 |
Брой, М. |
Информатика.Основополагающее введение : Пер.с нем. Ч.4, Теоретическая информатика,алгоритмы и структуры данных,логическое программирование,объектная ориентация |
|
2005 |
Карпов, Юрий Глебович (доктор технических наук) |
Теория и технология программирования. Основы построения трансляторов : учеб. пособие для вузов / Ю.Г. Карпов |
|
2005 |
Тюленев-Лисовик, Леонид Петрович (род. 1948) |
Теория трансдьюсеров : [монография] / Л.П. Лисовик. — Т. 1: Главы 1-4. Кн. 1, Типы языков и машин |
|
2010 |
Сутырин, Павел Георгиевич |
Алгоритмы обработки графовых описаний бесконтекстовых языков : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : 05.13.11 / Сутырин Павел Георгиевич ; Московский государственный университет им. М. В. Ломоносова |
|
2012 |
Бутаков, Михаил Игоревич |
Инструментальное средство синтеза и исполнения транслирующих программ на основе позитивно-образованных формул : автореферат диссертации на соискание ученой степени кандидата технических наук : специальность 05.13.11 Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей / Бутаков Михаил Игоревич ; [Учреждение Российской академии наук "Институт динамики систем и теории управления Сибирского отделения Российской академии наук" (ИДСТУ СО РАН)] |
|
2012 |
Закс, Юлия Иосифовна |
Синхронизируемость конечных автоматов в экстремальном и среднем случаях : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : специальность 05.13.17 Теоретические основы информатики / Закс Юлия Иосифовна ; [Уральский федеральный университет им. первого Президента России Б. Н. Ельцина] |
|
2006 |
|
Modern formal methods and applications [Electronic resource] / ed. by Hossam A. Gabbar |
|
2016 |
Кондратенко, Анна Алексеевна (кандидат технических наук) |
Построение онтологий на основе системно-объектного подхода : автореферат диссертации на соискание ученой степени кандидата технических наук : специальность 05.13.17 Теоретические основы информатики / Кондратенко Анна Алексеевна ; [Белгородский государственный национальный исследовательский университет] |
|
2022 |
Змеев, Денис Олегович |
Прототип системы поддержки принятия решений для управления проектами на основе стандарта OMG Essence и байесовских сетей : автореферат диссертации на соискание ученой степени кандидата технических наук : специальность 05.13.11 Математическое и программное обеспечение вычислительных систем, комплексов и компьютерных сетей / Змеев Денис Олегович ; [Национальный исследовательский Томский государственный университет] |
|
2006 |
Батура, Татьяна Викторовна |
Машинно-ориентированные логические методы представления смысла текста на естественном языке : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : 05.13.11 / Батура Татьяна Викторовна ; [Институт систем информатики им. А.П.Ершова СО РАН] |
|
2004 |
Разин, Игорь Вениаминович |
Автоматизированный комплекс анализа полутоновых изображений на основе принципов инвариантного их описания : автореферат диссертации на соискание ученой степени кандидата технических наук : 05.11.16 / Разин Игорь Вениаминович ; [Санкт-Петербургский государственный университет телекоммуникаций им. М.А.Бонч-Бруевича] |
|
2005 |
Семынина, Татьяна Валерьевна |
Разработка категорных средств анализа формальных языков на основе теории конических типов : автореферат диссертации на соискание ученой степени кандидата технических наук : 05.13.11 / Семынина Татьяна Валерьевна ; [Воронежский государственный технический университет] |
|
2007 |
Тарасов, Денис Станиславович |
Формальные языки для представления биохимических процессов : автореферат диссертации на соискание ученой степени кандидата биологических наук : 03.00.04 ; 05.13.18 / Тарасов Денис Станиславович ; [Казанский государственный университет им. В. И. Ульянова-Ленина] |
|
1999 |
|
Формализация текстовых сообщений : методические разработки / Национальная академия наук Беларуси, Институт технической кибернетики ; [авторы-составители: В. С. Яковишин, Н. А. Ярмош] |
|
1998 |
Гордей, Александр Николаевич (род. 1965) |
Дедуктивная теория языка / А. Н. Гордей |
|
1998 |
Эко, Умберто (писатель ; 1932—2016) |
Отсутствующая структура : Введ. в семиологию / Пер.: А.Г.Погоняйло, В.Г.Резник |
|
1999 |
Фурс, Сергей Николаевич |
Введение в акциоаналитику / С.Н.Фурс |
|
2001 |
|
Current issues in formal Slavic linguistics / editors: Gerhild Zybatow [et al.] |
|
2005 |
Тюленев-Лисовик, Леонид Петрович (род. 1948) |
Теория трансдьюсеров / Л. П. Лисовик. — Т. 1, кн. 1: Типы языков и машин : главы 1―4 |
|
2006 |
Тюленев-Лисовик, Леонид Петрович (род. 1948) |
Формальные языки и трансдьюсеры / Л. П. Лисовик. — Т. 2, кн. 2: Вычисления над размеченными деревьями |
|
2006 |
Васюков, Владимир Леонидович (доктор философских наук ; род. 1948) |
Формальная онтология / В. Л. Васюков ; Российская академия наук, Институт философии |
|
1983 |
Council of Europe |
Common standards for legal retrieval systems : Proposals for a model retrieval language for legal users / Studies prep.: Werner Robert Svoboda |
СВОДНЫЙ ЭЛЕКТРОННЫЙ КАТАЛОГ