unicat.nlb.by СВОДНЫЙ ЭЛЕКТРОННЫЙ КАТАЛОГ
БИБЛИОТЕК БЕЛАРУСИ
История поисков Справка
 
Базовый поискРасширенный поискCловариГРНТИНовые поступления

   Запрос: 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 Теоретические основы информатики / Кривчиков Максим Александрович ; ФГБОУ ВО "Московский государственный университет им. М. В. Ломоносова"
Записей на стр.