Научная библиотека ТГУ catalog › Results of search for 'su:"ЛЯПАС, язык программирования логический"'

1.

Разработка и исследование алгоритмов решения некоторых логико-комбинаторных задач логического синтеза и системного программирования диссертация на соискание ученой степени кандидата технических наук Быкова С. В. ; науч. рук. Закревский А. Д. ; Сиб. физ.-тех. ин-т им. В. Д. Кузнецова при Том. гос. ун-те им. В. В. Куйбышева

by Быкова, Светлана Васильевна | Закревский, Аркадий Дмитриевич, 1928-2014 [ths] | Сибирский физико-технический институт им. В. Д. Кузнецова (Томск) | Томский государственный университет.

Material type: Text

Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: Томск [б. и.] 1975Availability: No items available :

2.

	1.	No cover image available Разработка и исследование алгоритмов решения некоторых логико-комбинаторных задач логического синтеза и системного программирования диссертация на соискание ученой степени кандидата технических наук Быкова С. В. ; науч. рук. Закревский А. Д. ; Сиб. физ.-тех. ин-т им. В. Д. Кузнецова при Том. гос. ун-те им. В. В. Куйбышева by Быкова, Светлана Васильевна \| Закревский, Аркадий Дмитриевич, 1928-2014 [ths] \| Сибирский физико-технический институт им. В. Д. Кузнецова (Томск) \| Томский государственный университет. Material type: Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: Томск [б. и.] 1975Availability: No items available : Log in to add tags Add to cart (remove)
	2.	No cover image available Алгоритмы синтеза дискретных автоматов А. Д. Закревский by Закревский, Аркадий Дмитриевич, 1928-2014. Series: Теоретические основы технической кибернетикиMaterial type: Text; Format: electronic available online ; Literary form: Not fiction ; Audience: Specialized; Publication details: М. Наука. Физматлит 1971Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	3.	No cover image available Практические алгоритмы минимизации булевых функций в классе ДНФ диссертация на соискание ученой степени кандидата физико-математических наук В. Г. Новоселов ; науч. рук. Закревский А. Д. ; Том. гос. ун-т им. В. В. Куйбышева, Проблемная лаб. счетно-решающих устройств by Новоселов, В. Г \| Закревский, Аркадий Дмитриевич, 1928-2014 [ths] \| Томский государственный университет Проблемная лаборатория счетно-решающих устройств. Material type: Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: Томск [б. и.] 1967Availability: No items available : Log in to add tags Add to cart (remove)
	4.	No cover image available Логический язык для представления алгоритмов синтеза релейных устройств [сборник статей Акад. наук СССР, Ин-т автоматики и телемеханики (техн. кибернетики) и др. ; отв. ред. М. А. Гаврилов] by Гаврилов, Михаил Александрович [edt]. Material type: Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: Москва Наука 1966Availability: No items available : Log in to add tags Add to cart (remove)
	5.	No cover image available Алгоритмический язык Ляпас и автоматизация синтеза дискретных автоматов А. Д. Закревский by Закревский, Аркадий Дмитриевич, 1928-2014. Material type: Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: Томск Издательство Томского университета 1966Availability: No items available : Log in to add tags Add to cart (remove)
	6.	No cover image available Автоматизация синтеза дискретных автоматов [сборник статей] Том. гос. ун-т им. В. В. Куйбышева, Проблемная лаб. счетно-решающих устройств, Каф. электронной вычислит. техники и автоматики ; [под общ. ред. А. Д. Закревского] by Закревский, Аркадий Дмитриевич, 1928-2014 [edt] \| Сибирский физико-технический институт им. В. Д. Кузнецова (Томск) \| Томский государственный университет. Series: Труды Сибирского физико-технического института при Томском государственном университетеMaterial type: Set; Format: electronic available online Publication details: Томск Издательство Томского университета 1966Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	7.	No cover image available Минимизация систем булевых функций и распознавание образов диссертация на соискание ученой степени кандидата физико-математических наук Н. Р. Торопов ; науч. рук. Закревский А. Д. ; Сиб. физ.-техн. ин-т им. В. Д. Кузнецова при Том. гос. ун-те им. В. В. Куйбышева by Торопов, Николай Романович \| Закревский, Аркадий Дмитриевич, 1928-2014 [ths] \| Сибирский физико-технический институт им. В. Д. Кузнецова (Томск) \| Томский государственный университет. Material type: Text; Format: electronic available online ; Literary form: Not fiction ; Audience: Specialized; Publication details: Томск [б. и.] 1969Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	8.	No cover image available О работах по созданию доверенного программно-аппаратного обеспечения для синтеза безопасных компьютерных систем логического управления на базе русского языка программирования Г. П. Агибалов by Агибалов, Геннадий Петрович, 1939-2020 \| Томский государственный университет Факультет прикладной математики и кибернетики Кафедра защиты информации и криптографии. Source: Решетневские чтения. Ч. 2 : материалы XVII Международной научной конференции, посвященной памяти генерального конструктора ракетно-космических систем академика М. Ф. Решетнева, 12–14 ноября 2013 г., Красноярск : в 2 ч.Material type: Article; Format: electronic available online ; Literary form: Not fiction ; Audience: Specialized; Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	9.	No cover image available Модификация ЛЯПАСа для разработки ОС С. Ю. Гречнев, Д. А. Стефанцов by Гречнев, Сергей Юрьевич \| Стефанцов, Дмитрий Александрович \| Томский государственный университет Факультет прикладной математики и кибернетики Кафедра защиты информации и криптографии \| Томский государственный университет Факультет прикладной математики и кибернетики Научные подразделения ФПМК. Source: Прикладная дискретная математика. ПриложениеMaterial type: Article; Format: electronic available online Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	10.	No cover image available Разработка операционной системы на языке ЛЯПАС Д. А. Стефанцов, П. А. Томских by Стефанцов, Дмитрий Александрович \| Томских, Павел Александрович \| Томский государственный университет Факультет прикладной математики и кибернетики Кафедра защиты информации и криптографии \| Томский государственный университет Факультет прикладной математики и кибернетики Научные подразделения ФПМК. Source: Прикладная дискретная математика. ПриложениеMaterial type: Article; Format: electronic available online Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	11.	No cover image available Модульный транслятор с языка ЛЯПАС Д. А. Стефанцов, В. О. Сафонов, В. В. Першин и др. by Стефанцов, Дмитрий Александрович \| Першин, Владислав Владимирович \| Гречнев, Сергей Юрьевич \| Томских, Павел Александрович \| Сафонов, Вадим Олегович. Source: Прикладная дискретная математика. ПриложениеMaterial type: Article; Format: electronic available online Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	12.	No cover image available Программирующая система ЛЯПАС диссертация на соискание ученой степени кандидата физико-математических наук М. Я. Товштейн ; науч. рук. Закревский А. Д. ; Сиб. физ.-техн. ин-т им. В. Д. Кузнецова при Том. гос. ун-те им. В. В. Куйбышева by Товштейн, Марк Яковлевич \| Закревский, Аркадий Дмитриевич, 1928-2014 [ths] \| Сибирский физико-технический институт им. В. Д. Кузнецова (Томск) \| Томский государственный университет. Material type: Text; Format: electronic available online ; Literary form: Not fiction ; Audience: Specialized; Publication details: Томск [б. и.] 1969Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	13.	No cover image available Система управления библиотеками для ЛЯПАСа В. О. Сафонов by Сафонов, Вадим Олегович \| Томский государственный университет Факультет прикладной математики и кибернетики Научные подразделения ФПМК. Source: Прикладная дискретная математика. ПриложениеMaterial type: Article; Format: electronic available online Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	14.	No cover image available Работа со стеком в ЛЯПАСе М. С. Недяк, В. О. Сафонов by Недяк, Мария Сергеевна \| Сафонов, Вадим Олегович. Source: Прикладная дискретная математика. ПриложениеMaterial type: Article; Format: electronic available online Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	15.	No cover image available О доверенном программно-аппаратном обеспечении на базе языка программирования ЛЯПАС Г. П. Агибалов by Агибалов, Геннадий Петрович, 1939-2020 \| Томский государственный университет Факультет прикладной математики и кибернетики Кафедра защиты информации и криптографии. Source: Восьмая Сибирская конференция по параллельным и высокопроизводительным вычислениям : программа и тезисы докладов (28-30 октября 2015 года)Material type: Article; Format: electronic available online ; Literary form: Not fiction ; Audience: Specialized; Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	16.	No cover image available О собственном программном обеспечении и учебно-тренировочных средствах компьютерной безопасности Г. П. Агибалов, И. А. Панкратова, Д. А. Стефанцов by Агибалов, Геннадий Петрович, 1939-2020 \| Панкратова, Ирина Анатольевна кандидат физико-математических наук \| Стефанцов, Дмитрий Александрович. Source: Информационное противодействие угрозам терроризмаMaterial type: Article; Format: electronic available online Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	17.	No cover image available Операционная семантика ЛЯПАСа А. О. Жуковская, Д. А. Стефанцов by Жуковская, Александра Олеговна \| Стефанцов, Дмитрий Александрович \| Томский государственный университет Факультет прикладной математики и кибернетики Кафедра защиты информации и криптографии \| Томский государственный университет Факультет прикладной математики и кибернетики Научные подразделения ФПМК. Source: Прикладная дискретная математика. ПриложениеMaterial type: Article; Format: electronic available online Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	18.	No cover image available Интервалы индексов в ЛЯПАСе А. А. Песняк, Д. А. Стефанцов by Песняк, Андрей Алексеевич \| Стефанцов, Дмитрий Александрович. Source: Прикладная дискретная математикаMaterial type: Article; Format: electronic available online Other title: Index intervals in LYAPAS.Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)

Scientific Library of Tomsk State University

E-catalog

Refine your search

Availability

Bibliographic level

Authors

Locations

Item types

Topics

База знаний по целевым капиталам

Your search returned 18 results.