Приложение
для AndroidПолное описание
Бакулин, А. В. Математическая модель языка спецификации и проектирования программ / А.В.Бакулин. - Минск : [б. и.], 1991. - 25 с. - (Препринт / АН Беларуси(Минск) ; 4(4))). - 70 экз. - 00.05 р. - Текст : непосредственный.
| ГРНТИ | УДК | |
| 50.05.09 | 004.432.4(04) |
Рубрики:
Программы для ЭВМ -- Спецификация
Кл.слова (ненормированные): декларативный язык программирования
Имеются экземпляры в отделах: всего 1 : ХР (1)
Свободны: ХР (1)
Цветков В.И. Построение разностных схем на произвольной сетке для квазилинейного параболического уравнения / В.И.Цветков,Л.А.Липский, 1994. - 27 c.Краснопрошин В.В. О методе управления мультиструктурными системами на основе распознавания и классификации / В.В.Краснопрошин,Е.П.Максимович, 1994. - 57 c.Азаренко Л.Ф. Библиотека классов для реализации ввода параметров в диалоговых системах / Л.Ф.Азаренко,А.М.Колесник, 1994. - 27 c.Бондарь Я.С. Учет контекстных условий в алгоритме генерации тестов для компиляторов / Я.С.Бондарь, 1995. - 20 c. - Текст : непосредственный.Никифорова Е.Д. Работа в компьютерной системе LATEX / Е.Д.Никифорова, 1994. - 64 c. - Текст : непосредственный.Кузнецов Г.П. Планирование вычислений в САПР и пакетах прикладных программ / Г.П.Кузнецов, 1992. - 41 с. - Текст : непосредственный.Григянец Р.Б. Анализ тенденций и направлений развития систем баз данных и знаний / Р.Б.Григянец, 1992. - 23 с. - Текст : непосредственный.Макаров В.П. Термы в языке спецификаций ЯМС / В.П.Макаров, 1992. - 19 с. - Текст : непосредственный.Ковалев И.П. Когнитивная алгебра образов / И.П.Ковалев, 1992. - 34 с. - Текст : непосредственный.Сементовский А.В. Комплексные характеры и их влияние на строение конечной -обособленной группы / А.В.Сементовский, 1992. - 20 с. - Текст : непосредственный.Ковалев И.П. Представление неточности в задаче образной интерпретации объектов / И.П.Ковалев, 1991. - 16 c. - Текст : непосредственный.Бакулин А.В. Математическая модель языка спецификации и проектирования программ / А.В.Бакулин, 1991. - 25 с. - Текст : непосредственный.Макаров В.П. Наследственное описание многосортных теорий / В.П.Макаров, 1991. - 11 c. - Текст : непосредственный.Бакулин А.В. Многоуровневая разработка программ, основанная на применении интерпретированных схем алгебры алгоритмов / А.В.Бакулин, 1991. - 22 с. - Текст : непосредственный.Макаров В.П. Система TSTEP подготовки программ для программируемых контроллеров / В.П.Макаров,П.М.Никулин, 1991. - 23 с. - Текст : непосредственный.
Взгляд в Turbo. Первое знакомство с Turbo Pascal 6.0 / ВЦП. - 5 с. - Текст : непосредственный.Язык со зрительным восприятием / ВЦП. - 13 с. - Текст : непосредственный.Среда формирования прикладных профессиональных программ (РАСЕ) VS : Справочное руководство по использованию интерфейса базового языка КОБОЛ (HLI) / ВЦП. - 168 с. - Текст : непосредственный.Среда формирования прикладных профессиональных программ (РАСЕ) VS : Справочное руководство по использованию интерфейса базового языка КОБОЛ (HLI) / ВЦП. - 154 с. - Текст : непосредственный.Среда формирования прикладных профессиональных программ (РАСЕ) VS : Справочное руководство по использованию интерфейса базового языка КОБОЛ (HLI) / ВЦП. - 140 с. - Текст : непосредственный.Руководство по программированию на языке WIZARD / ВЦП. - 133 с. - Текст : непосредственный.Руководство по языку системы Clarion / ВЦП. - 308 c. - Текст : непосредственный.Дао Нам Ань.Автоматизация процесса построения компиляторов : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.11 / Дао Нам Ань, 1991. - 12 с. - Текст : непосредственный.Зевина С.Г. Разработка инструментальных средств автоматизации проектирования трансляторов перспективных языков программирования для векторно-конвейерных ЭВМ : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.11 / С. Г. Зевина, 1991. - 19 с. - Текст : непосредственный.Вдовкин С.В. Методы обработки структурированных объектов и операций над ними на МВК "Эльбрус" : Автореферат диссертации на соискание ученой степени дис.канд.техн.наук:05.13.11 / С. В. Вдовкин, 1990. - 15 с. - Текст : непосредственный.Иванов В.В. Исследование и расширение возможностей системы программирования muLISP : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.13:05.13.11 / В. В. Иванов, 1991. - 20 с. - Текст : непосредственный.Плисс О.А. Методы оптимизации при реализации объектно-ориентированных языков : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.11 / О. А. Плисс, 1992. - 16 с. - Текст : непосредственный.Мансуров Н.Н. Реализация расширенного языка Рефал на односвязной списковой памяти : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.11 / Н. Н. Мансуров, 1992. - 16 с. - Текст : непосредственный.Турбо Паскаль 4.0/5.0 / ВЦП. - 316 c. - Текст : непосредственный.Операторы языка Natural AG. Раздел 2 / ВЦП. - 184 c. - Текст : непосредственный.Справочное руководство по системе Natural 2 / ВЦП. - 179 c. - Текст : непосредственный.Танев И.Т. Параллельная реализация пролога на базе гетерогенного мультипроцессора с общей памятью : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.13 / И. Т. Танев, 1993. - 12 с. - Текст : непосредственный.Руководство по языку Турбо-Паскаль. Гл.16. Справочник по языку Турбо-Паскаль / ВЦП (Минск). - 159 c. - Текст : непосредственный.Приложения: А - сравнение Турбо-Паскаля 4.0 с АНСИ-Паскалем. В - директивы компилятору. С - справочные материалы. Д - сообщения об оплате и коды / ВЦП (Минск). - 49 c. - Текст : непосредственный.Справочное руководство по языку ПАСКАЛЬ. Гл.16. Разработка программ / ВЦП. - 105 c. - Текст : непосредственный.
Показать все результатыЗаказ фрагмента документа ₽