Your search returned 35 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.
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.

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

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

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

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

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

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

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

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

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

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

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

17.
Algebraic theory of automata/ Abraham Ginzburg. by
  • Ginzburg, Abraham
Series: ACM monograph series
Publication details: New York: Academic Press, 1968
Availability: Items available for loan: Castorina (1)Call number: 629.89 G493a 1968 IMPA.

18.
The connection machine/ W. Daniel Hillis. by
  • Hillis, W. Daniel
Series: ACM distinguished dissertations ; 1985.
Edition: 1st MIT press paperback ed.
Publication details: Cambridge, Mass.: MIT Press, 1989, c1985
Availability: Items available for loan: Castorina (1)Call number: 004.015 H654c 1989 IMPA.

19.
Algebraic automata theory/ W. M. L. Holcombe. by
  • Holcombe, W. M. L. (William Michael Lloyd), 1944-
Series: Cambridge studies in advanced mathematics ; 1.
Publication details: Cambridge, UK New York: Cambridge University Press, 1982
Availability: Items available for loan: Castorina (1)Call number: 511 H725a 1982 IMPA.

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