Your search returned 45 results.

Sort
Results
1.
Stochastic optimization and control; proceedings of an advanced seminar/ Edited by Herman F. Karreman. by
  • Karreman, Herman F [ed.]
  • Mathematics Research Center (United States. Army)
Series: Publication ... of the Mathematics Research Center, the University of Wisconsin ; no. 20.
Publication details: New York: Wiley, [1968]
Availability: Items available for loan: Castorina (1)Call number: 519 S864 1968 IMPA.

2.
Theoretical computer science. by
  • Preparata, Franco P
Series: Centro internazionale matematico estivo. Volumes on C.I.M.E. sessions ; 1975, no. 1.Volumes on C.I.M.E. sessions
Publication details: Roma: Cremonese, 1975
Availability: Items available for loan: Castorina (1)Call number: 004 T396 1975 IMPA.

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

4.
Mathematical aspects of computer science/ J. T. Schwartz, editor. by
  • Schwartz, Jacob T [ed.]
  • American Mathematical Society
  • Symposium in Applied Mathematics (19th: 1966: New York)
Series: Proceedings of symposia in applied mathematics ; v. 19
Publication details: Providence, R.I.: American Mathematical Society, 1967
Availability: Items available for loan: Castorina (1)Call number: 511.602 M426 1967 IMPA.

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

6.
Combinatorics, automata, and number theory/ edited by Valerie Berthe, Michel Rigo. by
  • Berthé, V. (Valérie), 1957-
  • Rigo, Michel
Series: Encyclopedia of mathematics and its applications ; v. 135.
Publication details: Cambridge; New York: Cambridge University Press, 2010
Availability: Items available for loan: Castorina (1)Call number: 511.6 B539c 2010 IMPA.

7.
Simulated annealing and Boltzmann machines: a stochastic approach to combinatorial optimization and neural computing/ Emile Aarts, Jan Korst. by
  • Aarts, E. H. L. (Emile H. L.)
  • Korst, Jan
Series: Wiley-Interscience series in discrete mathematics and optimization
Publication details: Chichester: New York: Wiley, c1989
Availability: Items available for loan: Castorina (2)Call number: 519 A114s 1990 IMPA, ...

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

9.
Algebraic theory of machines, languages, and semi-groups/ edited by Michael A. Arbib, with a major contribution by Kenneth Krohn and John L. Rhodes. by
  • Arbib, Michael A
  • Krohn, Kenneth
  • Rhodes, John L
Publication details: New York: Academic Press, 1968
Availability: Items available for loan: Castorina (1)Call number: 621.8 A664a 1968 IMPA.

10.
Theories of abstract automata/ [by] Michael A. Arbib. by
  • Arbib, Michael A
Series: Prentice-Hall series in automatic computation
Publication details: Englewood Cliffs, N.J.: Prentice-Hall, [1969]
Availability: Items available for loan: Castorina (1)Call number: 511 A664t 1969 IMPA.

11.
Brains, machines, and mathematics/ Michael A. Arbib. by
  • Arbib, Michael A
Edition: 2nd ed.
Publication details: New York: Springer-Verlag, c1987
Availability: Items available for loan: Castorina (1)Call number: 001.53 A664b 1987 IMPA.

12.
Codes and automata/ Jean Berstel, Dominique Perrin, Christophe Reutenauer. by
  • Berstel, Jean, 1941-
  • Perrin, Dominique
  • Reutenauer, Christophe
  • Berstel, Jean, 1941-. Theory of codes
Series: Encyclopedia of mathematics and its applications ; v. 129.
Publication details: Cambridge, UK; New York: Cambridge University Press, 2010
Availability: Items available for loan: Castorina (1)Call number: 003.54 B535c 2010 IMPA.

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

14.
Zur Strukturtheorie sequentieller Automaten/ Karl-Heinz Böhling. by
  • Böhling, Karl Heinz
Series: Forschungsberichte des Landes Nordrhein-Westfalen ; Nr. 1279. | Bonn (Germany) Schriften ; Nr. 4Schriften des IIM : Serie A ; Nr. 4.
Publication details: Köln: Westdeutscher Verlag, 1964
Availability: Items available for loan: Castorina (1)Call number: 519 B676z 1964 IMPA.

15.
The unknowable/ by Gregory J. Chaitin. by
  • Chaitin, Gregory J
Series: Springer series in discrete mathematics and theoretical computer science
Publication details: Singapore; New York: Springer, c1999
Availability: Items available for loan: Castorina (1)Call number: 511.3 C435u 1999 IMPA.

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

17.
Halbgruppen und Automaten. by
  • Deussen, Peter, 1935-
Series: Heidelberger taschenbücher ; 99.
Publication details: Berlin: New York: Springer-Verlag, 1971
Availability: Items available for loan: Castorina (1)Call number: 512.2 D486h 1971 IMPA.

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

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

20.
Algebraic theory of automata/ by F. Gécseg and I. Peák. by
  • Gécseg, F
  • Peák, István [joint author.]
Series: Disquisitiones mathematicae Hungaricae ; 2.
Publication details: Budapest: Akadémiai Kiadó, 1972
Availability: Items available for loan: Castorina (1)Call number: 511.3 G294a 1972 IMPA.

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


Powered by Koha