Главная    Ex Libris    Книги    Журналы    Статьи    Серии    Каталог    Wanted    Загрузка    ХудЛит    Справка    Поиск по индексам    Поиск    Форум   
Мехматянам
square Первый курс

square Второй курс

square Третий курс

square Четвертый курс

square Пятый курс
blank
Авторизация

       
blank
Поиск по указателям

blank
Красота
blank
blank
Каталог
Всего ресурсов: 173887
parent directoryНа уровень выше


» Computer science » Вычислимость »

blank
Содержимое каталога
1. Borger E. Stark S. Abstract State Machines. A Method for High-Level System Design and Analysis2003
2. Borger E. Stark S. Abstract State Machines. Solution to Exercises2003
3. Burgisser P. Clausen M. Shokrollahi M.A. Algebraic complexity theory1997
4. Ding-Zhu D. Ker-I K. Problem solving in automata, languages, and complexity2001
5. Feynman R.P. Feynman Lectures on Computation1996
6. Garey M.R. Johnson D.S. Computers and intractability. A guide to the theory of NP-completeness1979
7. Goldreich O. Introduction to Complexity Theory (lecture notes)1999
8. Gurari E. An Introduction to the Theory of Computation1989
9. Hehner E.C.R. A Practical Theory of Programming (second edition)1993
10. Salomaa A. Computation and automata1985
11. Schöning U. Algorithmen kurz gefaßt1997
12. Straubing H. Finite automata, format logic, and circuit complexity1994
13. Алферова З.В. Теория алгоритмов1973
14. Арбиб М.А. Алгебраическая теория автоматов, языков и полугрупп1975
15. Барендрегт Х. Ламбда-исчисление. Его синтаксис и семантика1985
16. Брауэр В. Введение в теорию конечных автоматов1987
17. Варпаховский Ф.Л. Элементы теории алгоритмов1970
18. Верещагин Н.К. Шень А. Вычислимые функции1999
19. Глушков В.М. Цейтлин Г.Е. Ющенко Е.Л. Алгебра. Языки. Программирование (издание второе)1978
20. Глушков В.М. Синтез цифровых автоматов1962
21. Гэри М. Джонсон Д. Вычислительные машины и труднорешаемые задачи1982
22. Катленд Н. Вычислимость. Введение в теорию рекурсивных функций1983
23. Китаев А. Шень А. Вялый М. Классические и квантовые вычисления1999
24. Кобринский Н.Е. Трахтенброт Б.А. Введение в теорию конечных автоматов1962
25. Кузнецов В.Е. Представление в ЭВМ неформальных процедур1989
26. Лавров С.С. Программирование. Математические основы, средства, теория2001
27. Мальцев А.И. Алгоритмы и рекурсивные функции1986
28. Манин Ю.И. Вычислимое и невычислимое1980
29. Марков А.А. Нагорный Н.М. Теория алгорифмов1984
30. Минский М. Вычисления и автоматы1971
31. Петер Р. Рекурсивные функции1954
32. Роджерс Х. Теория рекурсивных функций и эффективная вычислимость1972
33. Трахтенброт Б.А. Барздинь Я.М. Конечные автоматы. Поведение и синтез1970
34. Шеннон К.Э. Маккарти Дж. Машины Тьюринга (часть 2)1963
35. Эббинхауз Г.-Д. Якобс К. Ман Ф.-К. Машины Тьюринга и рекурсивные функции1972


1
blank
HR
@Mail.ru
© Электронная библиотека попечительского совета мехмата МГУ, 2004-2018
Электронная библиотека мехмата МГУ | Valid HTML 4.01!| Valid CSS! О проекте