|
Список литературы
Генератор кроссвордов
Генератор титульных листов
Таблица истинности ONLINE
Прочие ONLINE сервисы
|
|
Вычислимость
Список источников >Компьютерные науки >Вычислимость
|
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
Издание: [не указано]
|
|
Введение в теорию конечных автоматов
Автор: Брауэр В.
Год: 1987
Издание: [не указано]
|
Введение в теорию конечных автоматов
Автор: Кобринский Н.Е., Трахтенброт Б.А.
Год: 1962
Издание: [не указано]
|
|
Вычисления и автоматы
Автор: Минский М.
Год: 1971
Издание: [не указано]
|
Вычислимость. Введение в теорию рекурсивных функций
Автор: Катленд Н.
Год: 1983
Издание: [не указано]
|
|
Вычислительные машины и труднорешаемые задачи
Автор: Гэри М., Джонсон Д.
Год: 1982
Издание: [не указано]
|
Конечные автоматы. Поведение и синтез
Автор: Трахтенброт Б.А., Барздинь Я.М.
Год: 1970
Издание: [не указано]
|
|
Ламбда-исчисление. Его синтаксис и семантика
Автор: Барендрегт Х.
Год: 1985
Издание: [не указано]
|
Машины Тьюринга (часть 2)
Автор: Шеннон К.Э., Маккарти Дж.
Год: 1963
Издание: [не указано]
|
|
Программирование. Математические основы, средства, теория
Автор: Лавров С.С.
Год: 2001
Издание: [не указано]
|
Рекурсивные функции
Автор: Петер Р.
Год: 1954
Издание: [не указано]
|
|
Синтез цифровых автоматов
Автор: Глушков В.М.
Год: 1962
Издание: [не указано]
|
Теория алгоритмов
Автор: Алферова З.В.
Год: 1973
Издание: [не указано]
|
|
Теория алгорифмов
Автор: Марков А.А., Нагорный Н.М.
Год: 1984
Издание: [не указано]
|
Теория рекурсивных функций и эффективная вычислимость
Автор: Роджерс Х.
Год: 1972
Издание: [не указано]
|
|
Элементы теории алгоритмов
Автор: Варпаховский Ф.Л.
Год: 1970
Издание: [не указано]
|
|
 |
|
 |
|
Вход на сайт
Информация
В нашем каталоге
Околостуденческое
|