| № | Дата |
Автор |
Заглавие |
|---|
|
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 |
|
1980 |
|
Automata, languages and programming : [proceedings of the] Seventh Colloquium, Noordwijkerhout, the Netherlands, July 14―18, 1980 / edited by J. W. de Bakker and J. van Leeuwen |
|
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 |
Тимофеева, Мария Кирилловна (доктор филологических наук) |
Естественные и формальные языки : логико-философский анализ / М.К.Тимофеева |
|
2005 |
Тимофеева, Мария Кирилловна (доктор филологических наук) |
Естественные и формальные языки : автореферат диссертации на соискание ученой степени доктора филологических наук : 10.02.19 / Тимофеева Мария Кирилловна ; [Институт математики им. С.Л.Соболева Сибирского отделения Российской академии наук] |
|
1999 |
Васюков, Владимир Леонидович (доктор философских наук ; род. 1948) |
Формальная феноменология / Рос. акад. наук, Ин-т философии |
|
2005 |
Карпов, Юрий Глебович (доктор технических наук) |
Теория и технология программирования. Основы построения трансляторов : учебное пособие для высших учебных заведений по направлениям подготовки бакалавров и магистров 553000 - "Системный анализ и управление" и 552800 - "Информатика и вычислительная техника" / Ю.Г.Карпов |
|
1981 |
Council of Europe |
Study on common standards for query languages in computerised legal retrieval systems / Prep.: Werner Robert Svoboda |
|
2006 |
Пентус, Анна Евгеньевна |
Математическая теория формальных языков / А.Е.Пентус, М.Р.Пентус |
|
2002 |
|
Методы описания. Справочное руководство по языку EXPRESS-1 = Метады апiсання. Даведачны дапаможнiк па мове EXPRESS-1 |
|
2010 |
Аладзьеў, Віктар Захаравіч (доктар фізіка-матэматычных навук ; нар. 1942) |
Classical cellular automata ; Homogeneous structures / V. Z. Aladjev |
|
1965 |
|
Кибернетика : всесоюзный научно-теоретический журнал / Академия наук Украинской ССР, Научно-технический комплекс "Институт кибернетики имени В. М. Глушкова" |
|
2016 |
Nossov, Leonid (праграміст) |
Formales SQL-Tuning für Oracle-Datenbanken : praktische Effizienz — effiziente Praxis / Leonid Nossov, Hanno Ernst, Victor Chupis |
|
2016 |
Nossov, Leonid (праграміст) |
Formal SQL tuning for Oracle databases : practical efficiency — efficient practice / Leonid Nossov, Hanno Ernst, Victor Chupis ; [translated from the German by Jane Scorah and David Thackray] |
|
2006 |
Борисов, Александр Евгеньевич |
Закономерности в словах стохастических КС-языков с двумя классами нетерминальных символов. Вопросы экономного кодирования : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : 01.01.09 / Борисов Александр Евгеньевич ; [Нижегородский государственный университет им. Н.И.Лобачевского] |
|
2002 |
|
Системы автоматизации производства и их интеграция. Представление данных об изделии и обмен этими данными = Сістэмы аўтаматызацыі вытворчасці і іх інтэграцыя. Прадстаўленне даных аб вырабе і абмен гэтымі данымі. — Ч. 1: Общие представления и основополагающие принципы = Агульныя прадстаўленні і асноўныя прынцыпы : СТБ ИСО 10303-1-2001 |
|
2000 |
Яковишин, Владимир Семенович (кандидат филологических наук ; род. 1936) |
Формальный язык : Теория. Грамматика. Применение / В. С. Яковишин ; Национальная академия наук Беларуси, Институт технической кибернетики |
|
1993 |
Закревский, Аркадий Дмитриевич (доктор технических наук ; 1928—2014) |
Языки описания заказных СБИС / А. Д. Закревский |
|
1987 |
|
Программное обеспечение ЭВМ : [сборник статей] / Академия наук Белорусской ССР, Институт математики ; [редакционный совет: А. С. Метельский и др.]. — Вып. 71: Программный комплекс METRAN для автоматизации построения синтаксических анализаторов и анализа грамматик / Л. М. Городецкий [и др.] ; Министерство высшего и среднего специального образования БССР, Белорусский государственный университет им. В. И. Ленина |
|
1982 |
|
Automata, languages and programming : [proceedings of the] Ninth Colloquium, Aarhus, Denmark, July 12―16, 1982 / edited by M. Nielsen and E. M. Schmidt |
СВОДНЫЙ ЭЛЕКТРОННЫЙ КАТАЛОГ