| Найдено документов - 12 | Найти похожие: "Индекс ББК" = 'В183.492' | Версия для печати |
Сортировать по:
1. Документ
Вольфенгаген Вячеслав Эрнстович.
Конструкции языков программирования : Приемы описания / Вольфенгаген Вячеслав Эрнстович; В. Э. Вольфенгаген; Ин-т актуал. образования "ЮрИнфоР-МГУ". Каф. перспектив. компьютер. исслед. и информ. технологий. - Москва : Центр ЮрИнфоР, 2001. - 276,[1] с. - (Б-ка "ЮрИнфоР"). - Библиогр.: с.257-262. - Предм. указ.: с.263-269. - ISBN 5-89158-079-9 : 35.80.
Конструкции языков программирования : Приемы описания / Вольфенгаген Вячеслав Эрнстович; В. Э. Вольфенгаген; Ин-т актуал. образования "ЮрИнфоР-МГУ". Каф. перспектив. компьютер. исслед. и информ. технологий. - Москва : Центр ЮрИнфоР, 2001. - 276,[1] с. - (Б-ка "ЮрИнфоР"). - Библиогр.: с.257-262. - Предм. указ.: с.263-269. - ISBN 5-89158-079-9 : 35.80.
Шифры: З973.2 - В72
Ключевые слова: Программирование для ЭВМ, Языки программирования, Конструкции языков программирования, Компьютеры
Экземпляры: Всего: 1, из них: к3-1
Подробнее
2. Документ
Handbook of formal languages : G. Rozenberg, A. Salomaa. Vol. 3 : Beyond words. - Berlin etc. : Springer, 1997. - XX,625 p. : ill. - Библиогр. в конце глав. - ISBN 3-540-60649-1 : 272.90.
Авторы: Salomaa Arto, Rozenberg Grzegorz
Шифры: В183.4 - Н22
Ключевые слова: Формальные языки, Программирование, Математическое программирование
Экземпляры: Всего: 1, из них: к3-1
Подробнее
3. Документ
Handbook of formal languages. Vol. 2 : Linear modeling: background and app. - Berlin etc. : Springer, 1997. - XXII,528 p. : ill. - Библиогр. в конце глав. - ISBN 3-540-60648-3 : 242.20.
Авторы: Rozenberg Grzegorz, Salomaa Arto
Шифры: В183.4 - Н22
Ключевые слова: Формальные языки, Программирование, Математическое программирование
Экземпляры: Всего: 1, из них: к3-1
Подробнее
4. Документ
Handbook of formal languages. Vol. 1 : Word, language, grammar / Ed.: G. Rozenberg, A. Salomaa. - Berlin etc. : Springer, 1997. - XXIV,873 p. : ill. - Bibliogr.: p.859-861. - Ind.: p.863-873. - ISBN 3-540-60420-0. - ISBN 3-540-61486-9 : 453.60.
Авторы: Salomaa A., Rozenberg G.
Шифры: В183.4 - Н22
Ключевые слова: Формальные языки, Программирование, Математическое программирование
Экземпляры: Всего: 1, из них: к3-1
Подробнее
5. Документ
Мельников Борис Феликсович.
Подклассы класса контекстно-свободных языков / Мельников Борис Феликсович; Б.Ф. Мельников. - Москва : Изд-во Моск. ун-та, 1995. - 174 с. : ил. - Библиогр.: с.172-174. - Предм. указ.: с.169-171. - ISBN 5-211-03448-1 : 17.00.
Подклассы класса контекстно-свободных языков / Мельников Борис Феликсович; Б.Ф. Мельников. - Москва : Изд-во Моск. ун-та, 1995. - 174 с. : ил. - Библиогр.: с.172-174. - Предм. указ.: с.169-171. - ISBN 5-211-03448-1 : 17.00.
Шифры: В183.4 - М48
Ключевые слова: Контекстно-свободные языки, Регулярные языки, Скобочные языки, Теория формалных языков, Формальные языки, Языки программирования
Экземпляры: Всего: 1, из них: к3-1
Подробнее
6. Документ
Калинин Андрей Геннадьевич.
Универсальные языки программирования : семант. подход / Калинин Андрей Геннадьевич; А. Г. Калинин, И. В. Мацкевич. - Москва : Радио и связь, 1991. - 398,[1] с. ; 21 см. - Библиогр.: с. 395-398 (72 назв.). - ISBN 5-256-00638-X (в пер.) : 4 р. 80 к.
Универсальные языки программирования : семант. подход / Калинин Андрей Геннадьевич; А. Г. Калинин, И. В. Мацкевич. - Москва : Радио и связь, 1991. - 398,[1] с. ; 21 см. - Библиогр.: с. 395-398 (72 назв.). - ISBN 5-256-00638-X (в пер.) : 4 р. 80 к.
Авторы: Калинин Андрей Геннадьевич, Мацкевич Игорь Викторович
Шифры: З973.2 - К17
Ключевые слова: Языки программирования, Вычислительная техника
Экземпляры: Всего: 2, из них: к3-2
Подробнее
7. Документ
Ковальски Роберт.
Логика в решении проблем / Ковальски Роберт; Роберт Ковальски; Пер. с англ. Л. Г. Осмоловского и др.; С предисл. и примеч. Д. А. Поспелова. - Москва : Наука, 1990. - 277,[1] с. : ил. - (Проблемы искусств. интеллекта) ( ; Вып. 18). - Библиогр.: с.263-271. - Указ. имен. и предм.: с.272-278. - ISBN 5-02-014148-8 : 31.32.
Логика в решении проблем / Ковальски Роберт; Роберт Ковальски; Пер. с англ. Л. Г. Осмоловского и др.; С предисл. и примеч. Д. А. Поспелова. - Москва : Наука, 1990. - 277,[1] с. : ил. - (Проблемы искусств. интеллекта) ( ; Вып. 18). - Библиогр.: с.263-271. - Указ. имен. и предм.: с.272-278. - ISBN 5-02-014148-8 : 31.32.
Авторы: Ковальски Роберт, Осмоловский Л. Г., Поспелова Д. А.
Шифры: В186 - К56
Ключевые слова: Логическое программирование, Программирование
Экземпляры: Всего: 2, из них: к3-2
Подробнее
8. Документ
Рейуорд-Смит В. Дж.
Теория формальных языков : Ввод. курс / Рейуорд-Смит В. Дж.; В. Дж. Рейуорд-Смит; Пер. с англ. Б. А. Кузьмина; Под ред. И. Г. Шестакова. - Москва : Радио и связь, 1988. - 127,[2] с. : ил. ; 21 см. - Перевод изд.: A first course in formal language theory / V. J. Rayward-Smith (Oxford etc.). - ISBN 5-256-00159-0 : 0.55; 574.00.
Теория формальных языков : Ввод. курс / Рейуорд-Смит В. Дж.; В. Дж. Рейуорд-Смит; Пер. с англ. Б. А. Кузьмина; Под ред. И. Г. Шестакова. - Москва : Радио и связь, 1988. - 127,[2] с. : ил. ; 21 см. - Перевод изд.: A first course in formal language theory / V. J. Rayward-Smith (Oxford etc.). - ISBN 5-256-00159-0 : 0.55; 574.00.
Авторы: Рейуорд-Смит В. Дж., ШЕСТАКОВ И. Г., Кузьмин Б. А.
Шифры: З973.2 - Р35
Ключевые слова: Формальные языки
Экземпляры: Всего: 2, из них: к3-2
Подробнее
9. Документ
Авен Петр Олегович (1955-).
Лингвистические методы типологического анализа : препринт / Авен Петр Олегович, Н. Е. Киселева, Мучник Илья Борисович; ВНИИ систем. исслед. - Москва : Всесоюзный НИИ системных исследований, 1983. - 42 с. ; 21 см. - Библиогр.: с.39-41. - 0.15.
Лингвистические методы типологического анализа : препринт / Авен Петр Олегович, Н. Е. Киселева, Мучник Илья Борисович; ВНИИ систем. исслед. - Москва : Всесоюзный НИИ системных исследований, 1983. - 42 с. ; 21 см. - Библиогр.: с.39-41. - 0.15.
Авторы: Авен Петр Олегович, Киселева Н. Е., Мучник Илья Борисович
Шифры: З988 - А19
Ключевые слова: Препринты
Экземпляры: Всего: 1, из них: к3-1
Подробнее
10. Документ
Левин Давид Яковлевич.
Язык сверхвысокого уровня СЕТЛ и его реализация (для ЭВМ БЭСМ-6) / Левин Давид Яковлевич; Д. Я. Левин ; отв. ред. А. П. Ершов ; АН СССР, Сиб. отд-ние, ВЦ. - Новосибирск : Наука, 1983. - 160 с. - Библиогр.: с. 157-158 (21 назв.). - <null>.
Язык сверхвысокого уровня СЕТЛ и его реализация (для ЭВМ БЭСМ-6) / Левин Давид Яковлевич; Д. Я. Левин ; отв. ред. А. П. Ершов ; АН СССР, Сиб. отд-ние, ВЦ. - Новосибирск : Наука, 1983. - 160 с. - Библиогр.: с. 157-158 (21 назв.). - <null>.
Авторы: Левин Давид Яковлевич, Ершов А. П.
Шифры: В183.492 - Л 36
Ключевые слова: Языки программирования
Экземпляры: Всего: 1, из них: к3-1
Подробнее
11. Документ
Братчиков Игорь Леонидович.
Синтаксис языков программирования / Братчиков Игорь Леонидович; И. Л. Братчиков; Под ред. С. С. Лаврова. - Москва : Наука, 1975. - 232 с. - (Б-чка программиста). - 0.74.
Синтаксис языков программирования / Братчиков Игорь Леонидович; И. Л. Братчиков; Под ред. С. С. Лаврова. - Москва : Наука, 1975. - 232 с. - (Б-чка программиста). - 0.74.
Авторы: Братчиков Игорь Леонидович, Лавров С. С.
Шифры: 6Ф7.3 - Б87
Ключевые слова: Синтаксис языков программирования, Языки программирования, Компьютеры, Учебники
Экземпляры: Всего: 2, из них: к3-2
Подробнее
12. Документ
Hopcroft John E.
Formal Languages and Their Relation to Automata / Hopcroft John E, Ullman Jeffrey D; J.E. Hopcroft, J.D. Ullman. - Reading (Mass.) : Addison-Wesley, 1969 (cop.). - VII,[3],242 p. : ill. - Ind.: p.239-242. - 20.15.
Formal Languages and Their Relation to Automata / Hopcroft John E, Ullman Jeffrey D; J.E. Hopcroft, J.D. Ullman. - Reading (Mass.) : Addison-Wesley, 1969 (cop.). - VII,[3],242 p. : ill. - Ind.: p.239-242. - 20.15.
Авторы: Hopcroft John E, Ullman Jeffrey D
Шифры: З815 - Н79
Ключевые слова: Автоматы, Языки программирования, Формальные языки
Экземпляры: Всего: 1, из них: к3-1
Подробнее