Your search returned 8 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.
Stable networks and product graphs/ Tomás Feder. by
  • Feder, Tomás
Series: Memoirs of the American Mathematical Society ; no. 555.
Publication details: Providence, R.I.: American Mathematical Society, c1995
Availability: Items available for loan: Castorina (1).

5.
Studies in abstract families of languages/ by Seymour Ginsburg, Sheila Greibach [and] John Hopcroft. by
  • Ginsburg, Seymour, 1927-
  • Greibach, Sheila, 1939-
  • Hopcroft, John E, 1939-
Series: Memoirs of the American Mathematical Society ; no. 87
Publication details: Providence, R.I.: American Mathematical Society, 1969
Availability: Items available for loan: Castorina (1).

6.
Nonlinear time-discrete systems: a general approach by nonlinear superposition/ M. Gössel. by
  • Gossel, Michael
Series: Lecture notes in control and information sciences ; 41
Publication details: Berlin: New York: Springer-Verlag, 1982
Availability: Items available for loan: Castorina (1).

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

8.
Automata on infinite objects and Church's problem/ Michael O. Rabin. by
  • Rabin, Michael Oser
Series: CBMS-NSF Regional conference series in mathematics ; no. 13.
Publication details: Providence, R.I.: American Mathematical Society, 1972
Availability: Items available for loan: Castorina (1).

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


Powered by Koha