| № | Дата |
Автор |
Заглавие |
|---|
|
2000 |
Марченко, Антон Леонардович (1956— ) |
C++. Бархатный путь / Марченко А.Л |
|
2004 |
Соколов, Александр Павлович |
Системы программирования: теория, методы, алгоритмы : Учеб. пособие для студентов, обучающихся по направлению 654600 - Информатика и вычисл. техника / А.П.Соколов |
|
2005 |
Тюленев-Лисовик, Леонид Петрович (род. 1948) |
Теория трансдьюсеров / Л. П. Лисовик. — Т. 1, кн. 2: Алгебра и автоматы, 1 : главы 5―12 |
|
2002 |
Хопкрофт, Джон Э |
Введение в теорию автоматов, языков и вычислений : Пер. с англ. / Джон Хопкрофт, Раджив Мотвани, Джеффри Ульман |
|
2018 |
Аладзьеў, Віктар Захаравіч (доктар фізіка-матэматычных навук ; нар. 1942) |
Selected problems in the theory of classical cellular automata / V. Z. Aladjev, M. L. Shishakov, V. A. Vaganov ; International Academy of Noosphere |
|
2019 |
Gardey, Delphine |
Schreiben, rechnen, ablegen : wie eine Revolution des Bürolebens unsere Gesellschaft verändert hat / Delphine Gardey ; aus dem Französischen übersetzt von Stefan Lorenzer |
|
2006 |
Батура, Татьяна Викторовна |
Машинно-ориентированные логические методы представления смысла текста на естественном языке : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : 05.13.11 / Батура Татьяна Викторовна ; [Институт систем информатики им. А.П.Ершова СО РАН] |
|
2004 |
Разин, Игорь Вениаминович |
Автоматизированный комплекс анализа полутоновых изображений на основе принципов инвариантного их описания : автореферат диссертации на соискание ученой степени кандидата технических наук : 05.11.16 / Разин Игорь Вениаминович ; [Санкт-Петербургский государственный университет телекоммуникаций им. М.А.Бонч-Бруевича] |
|
2005 |
Семынина, Татьяна Валерьевна |
Разработка категорных средств анализа формальных языков на основе теории конических типов : автореферат диссертации на соискание ученой степени кандидата технических наук : 05.13.11 / Семынина Татьяна Валерьевна ; [Воронежский государственный технический университет] |
|
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 |
|
1983 |
Council of Europe |
Common standards for legal retrieval systems : Proposals for a model retrieval language for legal users / Studies prep.: Werner Robert Svoboda |
|
2001 |
Лавров, Святослав Сергеевич (доктор технических наук ; 1923—2004) |
Программирование. Математические основы, средства, теория : Учеб. пособие / Святослав Лавров |
|
1993 |
|
Формальные языки и грамматики.Задачи и упражнения : Учеб.пособие / В.А.Соколов,О.Б.Кушнаренко,Н.М.Бадин ; Ярослав.гос.ун-т |
|
1973 |
|
Algebraishe Theorie abstrakter Automaten, formaler Sprachen und Halbgruppen / herausgegeben von Michael A. Arbib ; [deutsche Übersetzung von J. Kunze [et al.] |
|
2003 |
Тимофеева, Мария Кирилловна (доктор филологических наук) |
Естественные и формальные языки : логико-философский анализ / М.К.Тимофеева |
СВОДНЫЙ ЭЛЕКТРОННЫЙ КАТАЛОГ