
СВОДНЫЙ ЭЛЕКТРОННЫЙ КАТАЛОГ БИБЛИОТЕК БЕЛАРУСИ	История поисков Справка

Базовый поиск	Расширенный поиск	Cловари	ГРНТИ	Новые поступления	Профессионалам Поиск Экспорт данных/ Z39.50 Belmarc Методические решения

Запрос: a001="BY-NLB-ar4590742"
Записи: 1 - 6 из 6 (стр. 1 из 1)

Сортировать по:

Дата	Автор	Заглавие
2010	Бах, Эммон	Неформальные лекции по формальной семантике : перевод с английского / Э. Бах ; под редакцией О. А. Митрофановой, О. В. Митрениной ; предисловие Барбары Парти
2015		Donum semanticum : opera linguistica et logica in honorem Barbarae Partee a discipulis amicisque Rossicis oblata : [сборник статей, посвященный юбилею Барбары Холл Парти] / под редакцией Петра Аркадьева [и др.]
2012	Марьясов, Илья Владимирович	Верификация C-программ с помощью смешанной аксиоматической семантики : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : специальность 05.13.11 Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей / Марьясов Илья Владимирович ; [Институт систем информатики им. А. П. Ершова Сибирского отделения Российской академии наук]
2008	Хопкрофт, Джон Э.	Введение в теорию автоматов, языков и вычислений : перевод с английского / Джон Хопкрофт, Раджив Мотвани, Джеффри Ульман
2002		Современная американская лингвистика: фундаментальные направления / Моск. гос. ун-т им. М.В.Ломоносова. Филол. фак.; Под ред. Кибрика А.А. и др
2015	Кривчиков, Максим Александрович (кандидат физико-математических наук)	Формальные модели и верификации свойств программ с использованием промежуточного представления : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : специальность 05.13.17 Теоретические основы информатики / Кривчиков Максим Александрович ; ФГБОУ ВО "Московский государственный университет им. М. В. Ломоносова"

Служба технической поддержки:
+375 17 293 29 78
skk@nlb.by
© Государственное учреждение "Национальная библиотека Беларуси", 2015-2024
© Поисковая система разработана Объединенным институтом проблем информатики НАН Беларуси