хранилище/kolxo3/issue5─6/DVD07/Cs_Computer science/CsNp_Computability/
01 004434 Айзерман М.А., Гусев Л.А., Розоноер Л.И., Смирнова И.М., Таль А.А. Логика, автоматы, алгоритмы (Наука, 1963)(ru)(K)(T)(556s).djvu [request] 02-09-2013:01-47

02 004435 Алферова З.В. Теория алгоритмов (Статистика, 1973)(ru)(T)(165s).djvu [request] 02-09-2013:01-47

03 004436 Арбиб М.А. (ред.) Алгебраическая теория автоматов, языков и полугрупп (Статистика, 1975)(ru)(L)(T)(168s)_CsNp_.djvu [request] 02-09-2013:01-47

04 004437 Барендрегт Х. Ламбда-исчисление (Мир, 1985) (ру)(L)(T)(304s).djvu [request] 02-09-2013:01-47

05 004438 Boerger E., Staerk R. Abstract state machines.. A method for high-level system design and analysis (Springer 2003)(448s).pdf [request] 02-09-2013:01-47

06 004439 Borger E., Stark R. Abstract state machines.. Solutions to exercises (Springer, 2003)(18s)_CsNp_.pdf [request] 02-09-2013:01-47

07 004440 Брауэр В. (_W.Brauer_) Введение в теорию конечных автоматов (РиС, 1987)(ru)(T)(392s)_CsNp_.djvu [request] 02-09-2013:01-47

08 004441 Burgisser, Clausen, Shokrollahi. Algebraic complexity theory (Springer, 1997)(L)(T)(323s).djvu [request] 02-09-2013:01-47

09 004442 Du Ding-Zhu, Ko Ker-I. Problem solving in automata, languages and complexity (Wiley, 2001)(ISBN 0471439606)(T)(401s).djvu [request] 02-09-2013:01-47

10 004443 Эббинхаус, Якобс, Ман, Хермес. Машины Тьюринга и рекурсивные функции (Мир, 1972)(net str.1-5)(ru)(L)(T)(136s).djvu [request] 02-09-2013:01-47

11 004444 Feynman et al. Lectures on computation (1996)(T)(ISBN 0201489910)(324s).djvu [request] 02-09-2013:01-47

рубрикатор колхоза/рекомендации колхоза/Физика/Общая физика ﴾курсы﴿/Фейнман/

12 004445 Garey M.R., Johnson D.S. Computer and intractability.. a guide to the theory of NP-completeness (1979)(L)(T)(ISBN 0716710447)(175s).djvu [request] 02-09-2013:01-47

13 004446 Гэри М., Джонсон Д. Вычислительные машины и труднорешаемые задачи (Мир, 1982)(ru)(T)(419s).djvu [request] 02-09-2013:01-47

14 004447 Глушков В.М. Алгебра. Языки. Программирование (ру)(L)(T)(159s).djvu [request] 02-09-2013:01-47

15 004448 Goldreich O. Introduction to complexity theory, lecture notes (1999)(375s).pdf [request] 02-09-2013:01-47

16 004449 Gurari E. Introduction to the theory of computation (1989)(600s).pdf [request] 02-09-2013:01-47

17 004450 Gurari. Introduction to theory of computation (1989)(html).zip [request] 02-09-2013:01-47

18 004451 Hehner E.C.R. A practical theory of programming (2ed., 2004)(242s).pdf [request] 02-09-2013:01-47

19 004452 Яблонский С.В. Введение в дискретную математику (Наука, 1986)(ru)(396dpi)(T)(C)(384s).djvu [request] 02-09-2013:01-47

20 004453 Китаев, Шень, Вялый. Классические и квантовые вычисления(ру)(T)(193s).djvu [request] 02-09-2013:01-47

21 004454 Лавров С.С. Программирование. Математические основы, средства, теория (ру)(T)(314s).djvu [request] 02-09-2013:01-47

22 004455 Мальцев А.Н. Алгоритмы и рекурсивные функции (Наука, 1986)(ru)(L)(T)(183s).djvu [request] 02-09-2013:01-47

23 004456 Манин Ю.И. Вычислимое и невычислимое (1980)(ru)(L)(T)(66s).djvu [request] 02-09-2013:01-47

24 004457 Марков А.А., Нагорный Н.М. Теория алгорифмов (Наука, 1984)(ru)(L)(T)(217s).djvu [request] 02-09-2013:01-47

25 004458 Минский М. Вычисления и автоматы (Мир, 1971)(ru)(K)(T)(366s).djvu [request] 02-09-2013:01-47

26 004459 Петер Р. Рекурсивные функции (ИЛ, 1954)(ru)(T)(264s)_CsNp_.djvu [request] 02-09-2013:01-47

27 004460 Роджерс Х. Теория рекурсивных фунцкий и эффективная вычислимость (Мир, 1972)(ru)(L)(T)(312s).djvu [request] 02-09-2013:01-47

28 004461 Salomaa A. Computation and automata (CUP 1985)(T)(ISBN 0521302455)(290s).djvu [request] 02-09-2013:01-47

29 004462 Schoening U. Algorithmen kurz gefasst (de)(T)(105s).djvu [request] 02-09-2013:01-47

30 004463 Schoening U. Theoretische Informatik kurz gefasst (Inf IV)(low res)(de)(T)(86s).djvu [request] 02-09-2013:01-47

31 004464 Шеннон, Маккарти. Часть 2. Машины Тьюринга (ру)(L)(T)(35s).djvu [request] 02-09-2013:01-47

32 004465 Straubing H. Finite automata, formal logic, and circuit complexity (Birkhauser, 1994)(600dpi)(T)(ISBN 0817637192)(237s).djvu [request] 02-09-2013:01-47

33 004466 Трахтенброт Б.А., Барздинь Я.М. Конечные автоматы. Поведение и синтез (Наука, 1970)(ru)(L)(T)(200s)_CsNp_.djvu [request] 02-09-2013:01-47

34 004467 Успенский В.А. Лекции о вычислимых функциях (ФМЛ, 1960)(ru)(T)(491s)_CsNp_.djvu [request] 02-09-2013:01-47

35 004468 Успенский В.А. Машина Поста (ру)(L)(T)(49s).djvu [request] 02-09-2013:01-47

36 004469 Варпаховский Ф.Л. Элементы теории алгоритмов (Просвещение 1970)(ru)(T)(25s)(600dpi)_CsNp_.djvu [request] 02-09-2013:01-47