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

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

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

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

05 002385 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-25

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

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

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

09 002389 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-25

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

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

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

12 002392 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-25

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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