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

Результаты поиска
	1.		КнигаСемантика языка программирования системы ПРОЕКТ : Расширение "ТРАНСЛЯТОР"Мищенко, Надежда МихайловнаЩеголев, Н.Н.1974Наличие: Экземпляры доступные для заказа: РНБ (Московский)Шифр хранения: 74-4/5898 (1). Добавить в подборку (удалить)
	2.		КнигаКонструкции языков программирования : Приемы описания / В. Э. Вольфенгаген ; Ин-т актуал. образования "ЮрИнфоР-МГУ". Каф. перспектив. компьютер. исслед. и информ. технологийВольфенгаген, Вячеслав Эрнстович -- Автор2001Наличие: Экземпляры доступные для заказа: РНБ (Московский)Шифр хранения: 2002-5/2952 (2). Добавить в подборку (удалить)
	3.		КнигаОбщение с ЭВМ на естественном языке / Э.П. ПоповПопов, Эдуард Викторович (1940-) -- Автор2004Наличие: Экземпляры доступные для заказа: РНБ (Московский)Шифр хранения: 2004-5/6327 (2). Добавить в подборку (удалить)
	4.		КнигаМетоды, определяемые в терминах семантических конструкций языка программирования2002Сводное описание: Наличие: Экземпляры доступные для заказа: РНБ (Московский)Шифр хранения: 2003-4/11954 (1). Добавить в подборку (удалить)
	5.		КнигаUSL - the language of natural state machines / I.S. AnureevAnureev, I.S. -- Автор2004Наличие: Экземпляры доступные для заказа: РНБ (Московский)Шифр хранения: Ик 2005-4/65 (1). Добавить в подборку (удалить)
	6.		КнигаЯзык машин естественных состояний USL / И.С. АнуреевАнуреев, Игорь Сергеевич -- Автор2004Наличие: Экземпляры доступные для заказа: РНБ (Московский)Шифр хранения: 2006-4/21876 (2). Добавить в подборку (удалить)
	7.		КнигаA state-based semantics of a Pascal-like language / A.V. ZamulinZamulin, Aleksandr Vasil'evič -- Автор2003Наличие: Экземпляры доступные для заказа: РНБ (Московский)Шифр хранения: Ик 2004-4/28 (1). Добавить в подборку (удалить)
	8.		КнигаМногоязыковые транслирующие системы : Синтаксис. Семантика. Проектирование / Под ред. В.Д. РынгачаГонца, Михаил Георгиевич1978Наличие: Экземпляры доступные для заказа: РНБ (Московский)Шифр хранения: 78-5/2730 (1). Добавить в подборку (удалить)
	9.		КнигаСемантические методы анализа программ : учебное пособие : по курсу "Семантика языков программирования" для студентов, обучающихся по направлению 01.03.02 "Прикладная математика и информатика" / Ю. П. Кораблин ; Министерство науки и высшего образования Российской Федерации, Национальный исследовательский университет "МЭИ"Кораблин, Юрий Прокофьевич2019Наличие: Нет доступных экземпляров : Добавить в подборку (удалить)
	10.		КнигаСемантика информационных технологий : Опыт слов.-тезаурус. описания / Ю. Н. Филиппович, А. В. Прохоров ; С предисл. А. И. Новикова; М-во образования Рос. Федерации, Моск. гос. ун-т печатиФилиппович, Юрий Николаевич -- АвторПрохоров, Алексей Вячеславович -- Автор2002Наличие: Экземпляры доступные для заказа: РНБ (Московский)Шифр хранения: 2002-3/27819 (2). Добавить в подборку (удалить)
	11.		КнигаМоделирование динамических конструкций языка Estelle посредством раскрашенных сетей Петри / Е. В. ОкунишниковаОкунишникова, Е. В. -- Автор2000Наличие: Экземпляры доступные для заказа: РНБ (Московский)Шифр хранения: 2001-4/3686 (2). Добавить в подборку (удалить)
	12.		КнигаЛингвистические системы: модели, методы, приложения / А.В. Заболеева-Зотова ; М-во образования Рос. Федерации, Волгогр. гос. техн. ун-тЗаболеева-Зотова, Алла Викторовна -- Автор2004Наличие: Экземпляры доступные для заказа: РНБ (Московский)Шифр хранения: 2004-3/20279 (2). Добавить в подборку (удалить)
	13.		КнигаТеория и практика языков программирования : учебник по направлению "Информатика и вычислительная техника" : [для бакалавров и магистров] / С. А. ОрловОрлов, Сергей Александрович 2014Наличие: Нет доступных экземпляров : Добавить в подборку (удалить)
	14.		КнигаСистема машинной поддержки доказательства: от тактикалов к генератору тактикалов / И. С. АнуреевАнуреев, Игорь Сергеевич -- Автор2002Наличие: Экземпляры доступные для заказа: РНБ (Московский)Шифр хранения: 2002-4/14617 (2). Добавить в подборку (удалить)
	15.		КнигаОсновы синтаксиса, семантики, трансляции и верификации программ : учебное пособие / Н.В. Шилов ; М-во образования и науки РФ, Новосиб. гос. ун-т, Фак. информ. технологий, Каф. парал. вычисленийШилов, Николай Вячеславович -- Автор2011Наличие: Экземпляры доступные для заказа: РНБ (Московский)Шифр хранения: 2011-3/34526 (2). Добавить в подборку (удалить)
	16.		КнигаСемантические модели в теории параллелизма / И.Б. Вирбицкайте ; Рос. акад. наук, Сиб. отд-ние, Ин-т систем информатики им. А.П. ЕршоваВирбицкайте, И. Б. -- Автор2000Наличие: Экземпляры доступные для заказа: РНБ (Московский)Шифр хранения: 2001-3/9374 (2). Добавить в подборку (удалить)
	17.		КнигаЛингвистическое обеспечение автоматизированных систем : учебное пособие для студентов высших учебных заведений, обучающихся по направлению "Информатика и вычислительная техника", специальности "Программное обеспечение вычислительной техники и автоматизированных систем" / А.В. Заболеева-Зотова, В.А. КамаевЗаболеева-Зотова, Алла Викторовна -- АвторКамаев, Валерий Анатольевич (1940) -- Автор2008Наличие: Экземпляры доступные для заказа: РНБ (Московский)Шифр хранения: 2008-5/9076 (2). Добавить в подборку (удалить)
	18.		КнигаВведение в программирование : Семант. подход : Учеб. пособие / А.Н. ФлоренсовФлоренсов, А. Н. -- Автор1998Наличие: Экземпляры доступные для заказа: РНБ (Московский)Шифр хранения: 2000-3/6606 (3). Добавить в подборку (удалить)
	19.		КнигаПрограммирование для графического интерфейса : Семант. подход / А. Н. Флоренсов ; М-во образования Рос. Федерации, Ом. гос. техн. ун-тФлоренсов, Александр Николаевич -- Автор2003Наличие: Экземпляры доступные для заказа: РНБ (Московский)Шифр хранения: 2003-3/21406 (2). Добавить в подборку (удалить)

Связаться с нами:

тел.: 8-800-100-01-96 , 8(812)310-71-37

e-mail: office@nlr.ru