Машина Поста

Машина Поста

Xehetasun bibliografikoak
Egile nagusia:	Успенский В. А. Владимир Андреевич
Hizkuntza:	errusiera
Argitaratua:	Москва, Наука, 1988
Saila:	Популярные лекции по математике Вып. 54
Gaiak:	Машина Поста программы анализ синтез алгоритмы лекции
Formatua:	Liburua
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=261774

Antzeko izenburuak

Машина Поста
nork: Успенский В. А. Владимир Андреевич
Argitaratua: (Москва, Наука, 1979)

Теория алгоритмов учебно-методическое пособие
nork: Куликов В. Г.
Argitaratua: (Москва, МИСИ – МГСУ, 2022)

Теория алгоритмов учебно-методическое пособие
nork: Волобуева С. А.
Argitaratua: (Воронеж, ВГУ, 2021)

Теоретические и практические основы поста в Исламе
nork: Абдурраззак А. А.
Argitaratua: (Уфа, БГПУ имени М. Акмуллы, 2017)

Представление в ЭВМ неформальных процедур: продукционные системы
nork: Кузнецов В. Е. Владимир Евгеньевич
Argitaratua: (Москва, Наука, 1989)

№ 1 : Приложение; Квант; Комбинаторика и логика
Argitaratua: (2003)

Математическая логика и теория алгоритмов учебное пособие
nork: Неклюдова В. Л.
Argitaratua: (Новосибирск, СГУГиТ, 2022)

Охрана труда. Разделы : Система человек-машина, надежность систем, защита от вибрации, защита от электромагнитных полей: курс лекций
nork: Бринза В. Н.
Argitaratua: (Москва, [Б. и.], 1978)

Математическая логика и теория алгоритмов учебно-методическое-пособие
nork: Геут К. Л.
Argitaratua: (Екатеринбург, 2017)

Машина Тьюринга; Прогрессивные технологии и экономика в машиностроении; Т. 2
nork: Танков Д. В.
Argitaratua: (2016)

Биомеханика систем человек-машина: сборник
Argitaratua: (Москва, Наука, 1981)

Переводчик, историк, поэт? Слово тебе, машина!
nork: Жуков Д. А. Дмитрий Анатольевич
Argitaratua: (Москва, Советская Россия, 1965)

Теория тестирования логических устройств
Argitaratua: (Москва, Физматлит, 2006)

Электронная бухгалтерская машина "Искра-554"
Argitaratua: (Москва, Финансы и статистика, 1981)

Системы человека и машина: пер. с фр.
nork: Монмоллен М. Морис
Argitaratua: (Москва, Мир, 1973)

Психофизиология оператора в системах человек- машина
Argitaratua: (Киев, Наукова думка, 1980)

Анализ и синтез систем автоматического управления на ЭВМ. Алгоритмы и программы
nork: Болнокин В. Е. Виталий Евгеньевич
Argitaratua: (Москва, Радио и связь, 1986)

Текст, машина, человек
nork: Пиотровский Р. Г. Раймонд Генрихович
Argitaratua: (Ленинград, Наука, 1975)

Кн. 1. Ч. I-II; Практика и теория программирования
Argitaratua: (2008)

Основы теории систем. Методы дискретной математики: учебное пособие
nork: Глаголев В. В. Валерий Владимирович
Argitaratua: (Тула, Изд-во ТулПИ, 1987)

Колебания мышцы и динамика системы "Человек-машина"
Argitaratua: (Тбилиси, Мецниереба, 1984)

Вып. 24: Математические проблемы информатики; Вычислительная техника и вопросы кибернетики
Argitaratua: (1987)

Кибернетика неограниченные возможности и возможные ограничения. Современное состояние
Argitaratua: (Москва, Наука, 1980)

Введение в теорию схем программ
nork: Котов В. Е. Вадим Евгеньевич
Argitaratua: (Новосибирск, Наука, 1978)

Вычислимо перечислимые множества и степени: пер. с англ.
nork: Соар Р. И. Роберт И.
Argitaratua: (Казань, Казанское математическое общество, 2000)

Обеспечение качества функционирования автоматизированных систем
nork: Маньшин Г. Г. Геральд Григорьевич
Argitaratua: (Минск, Наука и техника, 1986)

Логические методы синтеза оптимальных корректоров эвристических алгоритмов
nork: Кабулов А. В. Анвар Василович
Argitaratua: (Ташкент, Фан, 1985)

Методы оптимального проектирования сетей и формальные алгоритмы: учебное пособие
nork: Вшивцев А. С. Александр Сергеевич
Argitaratua: (Москва, МИРЭА, 1988)

Алгоритмы анализа и синтеза механизмов
Argitaratua: (Москва, Наука, 1977)

Синтез параллельных программ и систем на вычислительных моделях
nork: Вальковский В. А. Владимир Александрович
Argitaratua: (Новосибирск, Наука, 1988)

Математическая логика. Курс лекций. Задачник-практикум и решения
nork: Лихтарников Л. М.
Argitaratua: (Санкт-Петербург, Лань, 2022)

Анализ алгоритмов. Активный обучающий подход: учебное пособие; пер. с англ.
nork: Макконнелл Д. Д. Джеффри Дж.
Argitaratua: (Москва, Техносфера, 2009)

Задачи по дискретной математике (I семестр) учебно-методическое пособие
nork: Чирков А. Ю.
Argitaratua: (Нижний Новгород, ННГУ им. Н. И. Лобачевского, 2021)

Virtual Futures. Cyberotics, Technology and Post-Human Pragmatism
Argitaratua: (London, Routledge, 1998)

Специальные вопросы алгебры и топологии: [сборник статей]
Argitaratua: (Баку, Элм, 1980)

Фазовое равновесие жидкость - пар смесей натуральных высших жирных кислот
nork: Плесовских В. А. Владимир Александрович
Argitaratua: (СПб., Химиздат, 2003)

Вып. 45 : Теоретическое и системное программирование
Argitaratua: (1981)

Теоретические основы электротехники и электрофизики: тематический сборник
Argitaratua: (Москва, Изд-во МЭИ, 1982)

Оператор - технические средства: обеспечение надежности
nork: Фокин Ю. Г. Юрий Георгиевич
Argitaratua: (Москва, Воениздат, 1985)

Замкнутые классы булевых функций
nork: Марченков С. С. Сергей Серафимович
Argitaratua: (Москва, Физматлит, 2000)