Your search returned 4 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
1.
No cover image available No cover image available
Computability & unsolvability/ Martin Davis. by
  • Davis, Martin, 1928-
Series: McGraw-Hill series in information processing and computers
Publication details: New York: McGraw-Hill, 1958
Availability: Items available for loan: Castorina (1)Call number: 511.3 D263c 1974 IMPA.

Place hold Add to cart
2.
No cover image available No cover image available
Enumerability, decidability, computability;: An introduction to the theory of recursive functions/ Translated by G. T. Hermann and O. Plassmann. by
  • Hermes, Hans
Series: Grundlehren der mathematischen Wissenschaften ; Bd. 127.
Edition: 2d rev. ed.
Language: engger
Publication details: Berlin: New York: Springer, 1969
Availability: Items available for loan: Castorina (1)Call number: 511.3 IMPA.

Place hold Add to cart
3.
An introduction to Kolmogorov complexity and its applications/ Ming Li, Paul Vitányi. by
  • Li, Ming
  • Vitányi, P. M. B
Series: Texts and monographs in computer science
Publication details: New York: Springer-Verlag, c1993
Availability: Items available for loan: Castorina (1)Call number: 511.3 L693i 1993 IMPA.

Place hold Add to cart
4.
Cryptography: theory and practice/ Douglas R. Stinson. by
  • Stinson, Douglas R. (Douglas Robert), 1956-
Series: The CRC Press series on discrete mathematics and its applications
Publication details: Boca Raton: CRC Press, c1995
Availability: Items available for loan: Castorina (1)Call number: 005.82 S859c 1995 IMPA.

Place hold Add to cart
Pages
© 2023 IMPA Library | Customized & Maintained by Sérgio Pilotto


Powered by Koha