Результаты поиска для 'su:формальные языки' › Национальная библиография Электронный каталог

Уточнить поиск

Наличие
- Ограничить записями с доступными экземплярами
Авторы
Item types
- Книга (78)
Места хранения
Заглавие серии
Предметные рубрики
Коллекции
- NB (44)
- NBR (38)
Библиотека хранения
- РНБ (Московский) (44)
- РНБ (Садовая) (4)
Языки
- английский (8)
- русский (78)

	1.		КнигаДинамические системы, эргодическая теория, формальные языки : [сборник статей] / А. Н. Лившиц ; под ред. А. А. ЛодкинаЛившиц, Александр Нахимович (1950-2008) 2014Наличие: Нет доступных экземпляров : Добавить в подборку (удалить)
	2.		КнигаЯзыки, автоматы и грамматики / Д. А. Голубенко, Ю. В. СаватеевГолубенко, Дмитрий АлександровичСаватеев, Юрий Вячеславович2023Наличие: Экземпляры доступные для заказа: РНБ (Московский)Шифр хранения: 2023-3/9535 (2). Добавить в подборку (удалить)
	3.		КнигаАвтоматы и формальные языки : сборник задач / Ю. Г. Карпов ; Санкт-Петербургский политехнический ун-т Петра ВеликогоКарпов, Юрий Глебович 2015Наличие: Нет доступных экземпляров : Добавить в подборку (удалить)
	4.		КнигаСистемы переходов, ориентированные на разработку средств спецификации и верификации программных систем / И. С. АнуреевАнуреев, Игорь Сергеевич2012Наличие: Нет доступных экземпляров : Добавить в подборку (удалить)
	5.		КнигаЧ. 22002Сводное описание: Наличие: Экземпляры доступные для заказа: РНБ (Московский)Шифр хранения: 2002-4/6488 (2). Добавить в подборку (удалить)
	6.		КнигаЯзыки и трансляции : учебное пособие / Б. К. Мартыненко ; Санкт-Петербургский гос. ун-тМартыненко, Борис Константинович -- Автор2013Наличие: Нет доступных экземпляров : Добавить в подборку (удалить)
	7.		КнигаСинтаксическая теория формальных языков : Учеб. пособие / В.И. Сердобольский ; М-во образования Рос. Федерации, Моск. гос. ин-т электроники и математики (Техн. ун-т)Сердобольский, Вадим Иванович -- Автор2000Наличие: Экземпляры доступные для заказа: РНБ (Московский)Шифр хранения: 2001-3/7100 (1). Добавить в подборку (удалить)
	8.		КнигаНисходящий синтаксический анализ : Конспект лекций / Л. А. Павлов ; М-во образования Рос. Федерации, Чуваш. гос. ун-т им. И. Н. УльяноваПавлов, Леонид Александрович -- Автор2003Наличие: Экземпляры доступные для заказа: РНБ (Московский)Шифр хранения: 2003-4/12356 (2). Добавить в подборку (удалить)
	9.		КнигаВведение в теорию автоматов, языков и вычислений / Джон Хопкрофт, Раджив Мотвани, Джеффри Ульман ; [пер. с англ. О.И. Васылык и др.]Хопкрофт, Джон ЭМотвани, Раджив;Ульман, Джеффри Дэвид (1942-) 2015Наличие: Нет доступных экземпляров : Добавить в подборку (удалить)
	10.		КнигаВведение в теорию автоматов, языков и вычислений : [Пер. с англ.] / Джон Хопкрофт, Раджив Мотвани, Джеффри УльманХопкрофт, Джон -- АвторМотвани, Раджив -- Автор;Ульман, Джеффри Дэвид (1942-) -- Автор2002Наличие: Экземпляры доступные для заказа: РНБ (Московский)Шифр хранения: 2002-7/5194 (2). Добавить в подборку (удалить)
	11.		КнигаВведение в теорию автоматов, языков и вычислений / Джон Хопкрофт, Раджив Мотвани, Джеффри Ульман ; [пер. с англ. О.И. Васылык и др.]Хопкрофт, Джон Э -- АвторМотвани, Раджив -- Автор;Ульман, Джеффри Дэвид (1942-) -- Автор2008Наличие: Экземпляры доступные для заказа: РНБ (Московский)Шифр хранения: 2008-7/1720 (3), РНБ (Садовая)Шифр хранения: У З815/Х-781 (1). Добавить в подборку (удалить)
	12.		КнигаКонечные автоматы и формальные языки : учебник / Е. В. Алымова, В. М. Деундяк, А. М. Пеленицын ; Министерство науки и высшего образования Российской Федерации, Федеральное государственное автономное образовательное учреждение высшего образования "Южный федеральный университет"Алымова, Елена ВладимировнаДеундяк, Владимир Михайлович;Пеленицын, Артем Михайлович2018Наличие: Нет доступных экземпляров : Добавить в подборку (удалить)
	13.		КнигаВведение в формальные языки и распознающие автоматы : учебное пособие / М-во образования и науки Российской Федерации, Федеральное гос. бюджетное образовательное учреждение высш. проф. образования "Иркутский гос. ун-т", Ин-т математики, экономики и информатики ; [Курганский Виктор Иванович и др.]2014Наличие: Нет доступных экземпляров : Добавить в подборку (удалить)
	14.		КнигаВведение в формальные методы верификации программ : учебное пособие / А. С. Камкин ; Московский государственный университет имени М. В. Ломоносова, Факультет вычислительной математики и кибернетикиКамкин, Александр Сергеевич2018Наличие: Нет доступных экземпляров : Добавить в подборку (удалить)
	15.		КнигаСистемное программное обеспечение. Формальные языки и методы трансляции : учебное пособие / А.А. Малявко ; М-во образования и науки Рос. Федерации, Новосиб. гос. техн. ун-т, [Фак. автоматики и вычисл. техники]Малявко, Александр Антонович -- Автор2010Тома: Показать записиНаличие: Нет доступных экземпляров : Добавить в подборку (удалить)
	16.		КнигаВведение в теорию формальных языков : Учеб. пособие по курсу "Яз. и грамматики" / О. М. Гулина ; М-во образования Рос. Федерации, Обнин. ин-т атом. энергетики. Фак. заоч. обученияГулина, О. М. -- Автор2000Наличие: Экземпляры доступные для заказа: РНБ (Московский)Шифр хранения: 2001-4/8680 (2). Добавить в подборку (удалить)
	17.		КнигаФормальные грамматики, метаграмматики, грамматические сети и их применение при решении задач поддержки принятия решений / С.С. Аджемов, С.Г. Емельянов, О.И. Атакищев, С.А. Макаренков ; Моск. техн. ун-т связи и информатикиАджемов, Сергей Сергеевич -- Автор;Емельянов, С. Г. -- Автор;Атакищев, Олег Игоревич -- Автор;Макаренков, С. А. -- Автор2010Наличие: Экземпляры доступные для заказа: РНБ (Московский)Шифр хранения: 2011-3/1875 (2). Добавить в подборку (удалить)
	18.		КнигаАнализ и контроль диаграмматических моделей при проектировании сложных автоматизированных систем : [монография] / А. Н. Афанасьев, О. Г. Шаров, Н. Н. Войт ; Министерство образования и науки Российской Федерации, Федеральное государственное бюджетное образовательное учреждение высшего образования "Ульяновский государственный технический университет"Афанасьев, Александр Николаевич (1957-2018) Шаров, Олег Геннадьевич;Войт, Николай Николаевич2016Наличие: Нет доступных экземпляров : Добавить в подборку (удалить)
	19.		КнигаФормальные грамматики и трансляторы : учебное пособие / И.Л. Надточий ; М-во образования и науки Рос. Федерации, Федер. агентство по образованию, Юж.-Урал. гос. ун-т, Каф. "Электрон. вычисл. машины"Надточий, Ирина Львовна -- Автор2006Наличие: Экземпляры доступные для заказа: РНБ (Московский)Шифр хранения: 2008-4/16260 (1). Добавить в подборку (удалить)
	20.		КнигаТеория формальных языков : Учеб. пособие : [В 3 ч.] / А.А. Малявко ; М-во образования Рос. Федерации, Новосиб. гос. техн. ун-тМалявко, Александр Антонович -- Автор2001Тома: Показать записиНаличие: Нет доступных экземпляров : Добавить в подборку (удалить)

Уточнить поиск

Наличие

Авторы

Item types

Места хранения

Заглавие серии

Предметные рубрики

Коллекции

Библиотека хранения

Языки

Ваш поиск дал 78 результатов