Программирующая система ЛЯПАС диссертация на соискание ученой степени кандидата физико-математических наук

Программирующая система ЛЯПАС диссертация на соискание ученой степени кандидата физико-математических наук

Библиографическая информация
Главный автор:	Товштейн, Марк Яковлевич
Корпоративные авторы:	Сибирский физико-технический институт им. В. Д. Кузнецова (Томск), Томский государственный университет
Другие авторы:	Закревский, Аркадий Дмитриевич 1928-2014 (Thesis advisor)
Формат:	Электронная книга
Язык:	Russian
Публикация:	Томск [б. и.] 1969
Предметы:	диссертации дискретные автоматы ЛЯПАС, язык программирования логический синтез дискретных автоматов автоматизация программирования ПС-ЛЯПАС, система автоматического программирования методы автоматизации программирования
Online-ссылка:	http://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000499933 Перейти в каталог НБ ТГУ

Похожие документы

Модульный транслятор с языка ЛЯПАС

Практические алгоритмы минимизации булевых функций в классе ДНФ диссертация на соискание ученой степени кандидата физико-математических наук
по: Новоселов, В. Г.
Публикация: (1967)

Система управления библиотеками для ЛЯПАСа
по: Сафонов, Вадим Олегович

О доверенном программно-аппаратном обеспечении на базе языка программирования ЛЯПАС
по: Агибалов, Геннадий Петрович 1939-2020

Разработка операционной системы на языке ЛЯПАС
по: Стефанцов, Дмитрий Александрович

Алгоритмический язык Ляпас и автоматизация синтеза дискретных автоматов
по: Закревский, Аркадий Дмитриевич 1928-2014
Публикация: (1966)

Операционная семантика ЛЯПАСа
по: Жуковская, Александра Олеговна

Модификация ЛЯПАСа для разработки ОС
по: Гречнев, Сергей Юрьевич

Разработка и исследование алгоритмов решения некоторых логико-комбинаторных задач логического синтеза и системного программирования диссертация на соискание ученой степени кандидата технических наук
по: Быкова, Светлана Васильевна
Публикация: (1975)

Работа со стеком в ЛЯПАСе
по: Недяк, Мария Сергеевна

О собственном программном обеспечении и учебно-тренировочных средствах компьютерной безопасности
по: Агибалов, Геннадий Петрович 1939-2020

К возрождению русского языка программирования
по: Агибалов, Геннадий Петрович 1939-2020

Алгоритмы синтеза дискретных автоматов
по: Закревский, Аркадий Дмитриевич 1928-2014
Публикация: (1971)

О работах по созданию доверенного программно-аппаратного обеспечения для синтеза безопасных компьютерных систем логического управления на базе русского языка программирования
по: Агибалов, Геннадий Петрович 1939-2020

Интервалы индексов в ЛЯПАСе
по: Песняк, Андрей Алексеевич

Анализ логических сетей и техника булевых вычислений
по: Уткин, Анатолий Александрович
Публикация: (1979)

AES in LYaPAS
по: Broslavskiy, O. V.

Project of hardware implementation of Russian programming language
по: Agibalov, G. P. 1939-2020

Cryptographic extension of Russian programming language
по: Agibalov, G. P. 1939-2020

О криптографическом расширении и его реализации для русского языка программирования
по: Агибалов, Геннадий Петрович 1939-2020

Логический язык для представления алгоритмов синтеза релейных устройств [сборник статей
Публикация: (1966)

Минимизация систем булевых функций и распознавание образов диссертация на соискание ученой степени кандидата физико-математических наук
по: Торопов, Николай Романович
Публикация: (1969)

О возрождении и развитии ЛЯПАСа
по: Агибалов, Геннадий Петрович 1939-2020

Автоматизация синтеза дискретных автоматов [сборник статей]
Публикация: (1966)

Алгоритмы решения логико-комбинаторных задач сборник научных трудов
Публикация: (1980)

Программная реализация операций над большими числами в языке ЛЯПАС-T
по: Грибанов, Андрей Сергеевич

Комплексы в ЛЯПАСе
по: Сафонов, Вадим Олегович

Итоги исследований по кибернетике к 50-летию Советской власти труды Межвузовской научной конференции, посвященной пятидесятилетию Великой Октябрьской социалистической революции
Публикация: (1968)

Алгоритмы минимизации числа состояний дискретного автомата диссертация на соискание ученой степени кандидата физико-математических наук
по: Поттосин, Юрий Васильевич
Публикация: (1969)

Синтез общих алгоритмов по демонстрациям частных примеров (автоматная модель обобщения по примерам) препринт
по: Затуливетер, Ю. С.
Публикация: (1997)

ПРАЛУ и высокоуровневые языки описания аппаратуры
по: Черемисинов, Дмитрий Иванович

Система программирования задач, связанных с аналитическими выкладками, и некоторые ее приложения диссертация на соискание ученой степени кандидата физико-математических наук : 01.01.09
по: Арайс, Евгений Александрович
Публикация: (1973)

Практикум по программированию на алгоритмических языках [Учебное пособие для втузов]
по: Светозарова, Галина Ивановна
Публикация: (1980)

Языки программирования, формальные грамматики, конечные автоматы и методы трансляции учебное пособие
по: Горчаков, Леонид Всеволодович
Публикация: (2011)

Автоматы, алгорифмы, языки Межвуз. темат. сб.
Публикация: (1982)

Исследование клеточных автоматов с помощью Mathematica
по: Жуматаев, Анарбек Медербекович

Software process automation the technology and its adoption
по: Christie, Alan M.
Публикация: (1995)

Тезисы докладов к предстоящему Всесоюзному коллоквиуму по автоматизации синтеза дискретных вычислительных устройств, 20 -25 сентября 1966 г.
Публикация: (1966)

Языки и системы программирования. Процедурные языки программирования на примерах Pascal и Cu учебное пособие
по: Богонин, М. Б.
Публикация: (2008)

IEC 61131-3: programming industrial aytomation systems concepts and programming languages, requirements for programming systems, aids to decision-making tools
по: John, Karl-Heinz 1995-
Публикация: (2001)