Вычислимость

Список источников >Компьютерные науки >Вычислимость

Abstract State Machines. A Method for High-Level System Design and Analysis

Автор: Borger E., Stark S.
Год: 2003
Издание: [не указано]

Abstract State Machines. Solution to Exercises

Автор: Borger E., Stark S.
Год: 2003
Издание: [не указано]

Algebraic complexity theory

Автор: Burgisser P., Clausen M., Shokrollahi M.A.
Год: 1997
Издание: [не указано]

Algorithmen kurz gefaßt

Автор: Schöning U.
Год: 1997
Издание: [не указано]

An Introduction to the Theory of Computation

Автор: Gurari E.
Год: 1989
Издание: [не указано]

Feynman Lectures on Computation

Автор: Feynman R.P.
Год: 1996
Издание: [не указано]

Introduction to Complexity Theory (lecture notes)

Автор: Goldreich O.
Год: 1999
Издание: [не указано]

Problem solving in automata, languages, and complexity

Автор: Ding-Zhu D., Ker-I K.
Год: 2001
Издание: [не указано]

Алгебраическая теория автоматов, языков и полугрупп

Автор: Арбиб М.А.
Год: 1975
Издание: [не указано]

Алгоритмы и рекурсивные функции

Автор: Мальцев А.И.
Год: 1986
Издание: [не указано]

Введение в теорию конечных автоматов

Автор: Кобринский Н.Е., Трахтенброт Б.А.
Год: 1962
Издание: [не указано]

Введение в теорию конечных автоматов

Автор: Брауэр В.
Год: 1987
Издание: [не указано]

Вычисления и автоматы

Автор: Минский М.
Год: 1971
Издание: [не указано]

Вычислимость. Введение в теорию рекурсивных функций

Автор: Катленд Н.
Год: 1983
Издание: [не указано]

Вычислительные машины и труднорешаемые задачи

Автор: Гэри М., Джонсон Д.
Год: 1982
Издание: [не указано]

Конечные автоматы. Поведение и синтез

Автор: Трахтенброт Б.А., Барздинь Я.М.
Год: 1970
Издание: [не указано]

Ламбда-исчисление. Его синтаксис и семантика

Автор: Барендрегт Х.
Год: 1985
Издание: [не указано]

Машины Тьюринга (часть 2)

Автор: Шеннон К.Э., Маккарти Дж.
Год: 1963
Издание: [не указано]

Программирование. Математические основы, средства, теория

Автор: Лавров С.С.
Год: 2001
Издание: [не указано]

Рекурсивные функции

Автор: Петер Р.
Год: 1954
Издание: [не указано]

Синтез цифровых автоматов

Автор: Глушков В.М.
Год: 1962
Издание: [не указано]

Теория алгоритмов

Автор: Алферова З.В.
Год: 1973
Издание: [не указано]

Теория алгорифмов

Автор: Марков А.А., Нагорный Н.М.
Год: 1984
Издание: [не указано]

Теория рекурсивных функций и эффективная вычислимость

Автор: Роджерс Х.
Год: 1972
Издание: [не указано]

Элементы теории алгоритмов

Автор: Варпаховский Ф.Л.
Год: 1970
Издание: [не указано]

Это интересно...

Наши контакты

Рейтинг@Mail.ru

© 2009-2017, Список Литературы