Your search returned 5 results.

Sort
Results
1.
Computer algebra: symbolic and algebraic computation/ edited by B. Buchberger, G.E. Collins, and R. Loos, in cooperation with R. Albrecht. by
  • Buchberger, Bruno
  • Collins, G. E. (George Edwin), 1928-
  • Loos, R. (Rüdiger), 1938-
Series: Computing (Springer-Verlag). Supplementum ; 4.
Publication details: Wien: New York: Springer-Verlag, c1982
Availability: Items available for loan: Castorina (1)Call number: 512.002 C738 1982 IMPA.

2.
Mathematical foundations of computer science/ ed. Antoni Mazurkïewicz, Zdzislaw Pawlak. by
  • Mazurkiewicz, Antoni W
  • Pawlak, Zdzislaw
Series: Banach Center publications ; v. 2
Publication details: Warszawa: Polish Scientific Publ., 1977
Availability: Items available for loan: Castorina (1).

3.
Introduction to automata theory, languages, and computation/ John E. Hopcroft, Jeffrey D. Ullman. by
  • Hopcroft, John E, 1939-
  • Ullman, Jeffrey D, 1942- [joint author.]
Series: Addison-Wesley series in computer science and information processing
Publication details: Reading, Mass.: Addison-Wesley, c1979
Availability: Items available for loan: Castorina (1)Call number: 004.015 H791i 1979 IMPA.

4.
Computation: finite and infinite machines/ [by] Marvin L. Minsky. by
  • Minsky, Marvin Lee, 1927-
Series: Prentice-Hall series in automatic computation
Publication details: Englewood Cliffs, N.J.: Prentice-Hall, [1967]
Availability: Items available for loan: Castorina (1)Call number: 004.015 M666c 1967 IMPA.

5.
The mathematics of Petri-nets/ Christophe Reutenauer ; translated by Iain Craig. by
  • Reutenauer, Christophe
Language: engfre
Publication details: Englewood Cliffs, N.J.: Prentice-Hall International, 1990
Availability: Items available for loan: Castorina (1)Call number: 511.3 R447m 1990 IMPA.

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


Powered by Koha