Your search returned 26 results.

Sort
Results
21.
Computation and automata/ Arto Salomaa. by
  • Salomaa, Arto
Series: Encyclopedia of mathematics and its applications ; v. 25
Publication details: Cambridge, UK: New York: Cambridge University Press, 1985
Availability: Items available for loan: Castorina (1)Call number: 005.015 S173c 1985 IMPA.

22.
Computable functions/ A. Shen, N.K. Vereshchagin ; translated by V.N. Dubrovskii. by
  • Shen, A. (Alexander), 1958-
  • Vereshchagin, Nikolai Konstantinovich, 1958-
Series: Student mathematical library ; 19,
Language: English Original language: Russian
Publication details: Providence, R.I.: American Mathematical Society, c2003
Availability: Items available for loan: Castorina (1)Call number: 511.3 S546c 2003 IMPA.

23.
Recursively enumerable sets and degrees: a study of computable functions and computably generated sets/ Robert I. Soare. by
  • Soare, R. I. (Robert Irving), 1940-
Series: Perspectives in mathematical logic
Publication details: Berlin ; New York: Springer-Verlag, c1987
Availability: Items available for loan: Castorina (1)Call number: 511.3 S676r 1987 IMPA.

24.
Computability/ George J. Tourlakis. by
  • Tourlakis, George J
Publication details: Reston, Va.: Reston Pub. Co., c1984
Availability: Items available for loan: Castorina (1)Call number: 511.3 T727c 1984 IMPA.

25.
Computability theory/ Rebecca Weber. by
  • Weber, Rebecca, 1977-
Series: Student mathematical library ; v. 62.
Publication details: Providence, R.I.: American Mathematical Society, c2012
Availability: Items available for loan: Castorina (1)Call number: 511.3 W375c 2012 IMPA.

26.
Computable analysis: an introduction/ Klaus Weihrauch. by
  • Weihrauch, K. (Klaus), 1943-
Series: Texts in theoretical computer science
Publication details: Berlin; New York: Springer-Verlag, c2000
Availability: Items available for loan: Castorina (1)Call number: 515 W419c 2000 IMPA.

Pages
© 2023 IMPA Library | Customized & Maintained by Sérgio Pilotto


Powered by Koha