Список источников > Компьютерные науки >
Вычислимость
|
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
|
|
 |
|
 |
