Your search returned 7 results.

Sort
Results
1.
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).

2.
Groups, languages, and geometry: 1998 AMS-IMS-SIAM Joint Summer Research Conference on Geometric Group Theory and Computer Science, July 5-9, 1998, Mount Holyoke College/ Robert H. Gilman, editor. by
  • AMS-IMS-SIAM Joint Summer Research Conference on Geometric Group Theory and Computer Science (1998: Mount Holyoke College)
  • Gilman, Robert H, 1942-
Series: Contemporary mathematics (American Mathematical Society) ; v. 250.
Publication details: Providence, R.I.: American Mathematical Society, c1999
Availability: Items available for loan: Castorina (1).

3.
Leçons sur la théorie des automates mathématiques/ [par] C. Boucher. by
  • Boucher, Claude
Series: Lecture notes in operations research and mathematical systems ; 46
Publication details: Berlin: New York: Springer-Verlag, 1971
Availability: Items available for loan: Castorina (1).

4.
A course in formal languages, automata and groups/ Ian Chiswell. by
  • Chiswell, Ian, 1948-
Series: Universitext
Publisher number:
  • 12258079
Publication details: London: Springer, c2009
Availability: Items available for loan: Castorina (1)Call number: 511.3 C542c 2009 IMPA.

5.
Formal languages; automata and structures. by
  • Engeler, Erwin
Series: Lectures in advanced mathematics ; 3
Publication details: Chicago ; Markham, [1968]
Availability: Items available for loan: Castorina (1)Call number: 005.1 E57f 1968 IMPA.

6.
Feasible computations and provable complexity properties/ Juris Hartmanis. by
  • Hartmanis, Juris
Series: CBMS-NSF Regional conference series in applied mathematics ; 30.
Publication details: Philadelphia: SIAM, 1978
Availability: Items available for loan: Castorina (1).

7.
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.

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


Powered by Koha