Автоматы, алгорифмы, языки: межвузовский тематический сборник

Автоматы, алгорифмы, языки: межвузовский тематический сборник

Bibliografiske detaljer
Institution som forfatter:	Калининский государственный университет
Andre forfattere:	Гладкий А. В. (редактор)
Sprog:	russisk
Udgivet:	Калинин, Изд-во Калининского гос. ун-та, 1982
Fag:	Математическая кибернетика Алгоритмы, теория Программирования языки > Стандарты формальные грамматики формальные языки математическая логика логические исчисления сложность оценка вычисления
Format:	Bog
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=302396

Lignende værker

Математическая логика, математическая лингвистика и теория алгоритмов: сборник научных трудов
Udgivet: (Калинин, Изд-во Калининского гос. ун-та, 1983)

Языки программирования
Udgivet: (Москва, Наука, 1985)

Нижние оценки сложности и сложность универсальных схем
af: Нигматуллин Р. Г. Рошаль Габдулхаевич
Udgivet: (Казань, Изд-во Казанского ун-та, 1990)

Алгебраическое моделирование сложных систем
af: Иванов П. М. Петр Мацович
Udgivet: (Москва, Наука, 1996)

Ч. 1; Условия А-полноты для конечных автоматов
Udgivet: (1986)

Неклассические логики и их применение; Вопросы кибернетики
Udgivet: (1982)

Языки и автоматы: сборник; пер. с англ.
Udgivet: (Москва, Мир, 1975)

Элементы математической лингвистики
af: Гладкий А. В. Алексей Всеволодович
Udgivet: (Москва, Наука, 1969)

Основы теории вероятностных автоматов
af: Бухараев Р. Г. Раис Гатич
Udgivet: (Москва, Наука, 1985)

Автоматическое образование гипотез. Математические основы общей теории: перевод с английского
af: Гаек П. Петр
Udgivet: (Москва, Наука, 1984)

Формальные языки и компиляторы учебник для вузов
af: Малявко А. А. Александр Антонович
Udgivet: (Москва, Юрайт, 2025)

Формальные языки и компиляторы учебное пособие для вузов
af: Малявко А. А. Александр Антонович
Udgivet: (Москва, Юрайт, 2024)

Формальные языки и компиляторы учебное пособие для вузов
af: Малявко А. А. Александр Антонович
Udgivet: (Москва, Юрайт, 2022)

Формальные языки и компиляторы учебное пособие для вузов
af: Малявко А. А. Александр Антонович
Udgivet: (Москва, Юрайт, 2021)

Дискретная математика: кодирование, автоматы, формальные грамматики и языки учебное пособие
af: Гателюк О. В.
Udgivet: (Омск, ОмГУПС, 2024)

Тесты (теория, построение, применение)
af: Соловьев Н. А. Николай Андреевич
Udgivet: (Новосибирск, Наука, 1978)

Математическая и техническая кибернетика
Udgivet: (Тбилиси, Мецниереба, 1983)

Кибернетика. Вопросы теории и практики
af: Глушков В. М.
Udgivet: (Москва, Наука, 1986)

Вып. 45 : Теоретическое и системное программирование
Udgivet: (1981)

Графы и алгоритмы. Структуры данных. Модели вычислений: учебник
af: Алексеев В. Е. Владимир Евгеньевич
Udgivet: (Москва, БИНОМ. Лаборатория знаний, 2012)

Математическая и техническая кибернетика: [сборник]
Udgivet: (Тбилиси, Мецниереба, 1980)

Вып. 56 : Прикладные алгоритмы дискретной математики; Алгоритмы
Udgivet: (1985)

Математическая и техническая кибернетика
Udgivet: (Тбилиси, Мецниереба, 1986)

Математическая и техническая кибернетика
Udgivet: (Тбилиси, Мецниереба, 1989)

Математическая и техническая кибернетика
Udgivet: (Тбилиси, Мецниереба, 1985)

Вопросы математической кибернетики: сборник научных трудов
Udgivet: (Минск, Изд-во МГПИ, 1979)

Programming language standardisation
Udgivet: (New York, John Wiley and Sons, Inc., 1980)

Математическая и техническая кибернетика
Udgivet: (Тбилиси, Мецниереба, 1984)

Математическая и техническая кибернетика: [сборник]
Udgivet: (Тбилиси, Мецниереба, 1979)

Языки и методы программирования: учебник
af: Головин И. Г. Игорь Геннадьевич
Udgivet: (Москва, Академия, 2012)

Языки программирования и методы трансляции: учебное пособие
af: Опалева Э. А.
Udgivet: (СПб., БХВ-Петербург, 2005)

Математическая логика и теория алгоритмов: учебное пособие
af: Крупский В. Н. Владимир Николаевич
Udgivet: (Москва, Академия, 2013)

Многоуровневое структурное проектирование программ: теоретические основы, инструментарий
Udgivet: (Москва, Финансы и статистика, 1989)

Элементы математической логики и ее приложения к теории субрекурсивных алгоритмов: учебное пособие для вузов
af: Косовский Н. К. Николай Кириллович
Udgivet: (Ленинград, Изд-во Ленинградского ун-та, 1981)

Вып. 174 : Анализ структурных закономерностей; Вычислительные системы
Udgivet: (2005)

Дискретная математика: учебное пособие
af: Корниенко А. В. Анатолий Васильевич
Udgivet: (Томск, Изд-во ТПУ, 1996)

Потоковые алгоритмы
af: Адельсон-Вельский Г. М. Георгий Максимович
Udgivet: (Москва, Наука, 1975)

Теория формальных грамматик: учебное пособие
af: Штернберг Л. Ф. Леонид Фрицевич
Udgivet: (Куйбышев, Изд-во КАИ, 1979)

Вычислимое и невычислимое
af: Манин Ю. И. Юрий Иванович
Udgivet: (Москва, Сов. радио, 1980)

Теория формальных языков: Вводный курс; пер. с англ.
af: Рейуорд-Смит В. Дж
Udgivet: (Москва, Радио и связь, 1988)