Your search returned 74 results.

Sort
Results
1.
Applied automata theory/ Edited by Julius T. Tou. by
  • Tou, Julius T, 1926- [ed.]
  • Ohio State University. Dept. of Electrical Engineering
Series: Electrical science series
Publication details: New York: Academic Press, 1968
Availability: Items available for loan: Castorina (1)Call number: 004.015 A652 1968 IMPA.

2.
Logic, automata, and algorithms/ Mark A. Aiserman [and others] ; translated [from the Russian] by Scripta Technica, Inc ; translation editor George M. Kranc. by
  • Tal', Aleksey A
  • Smirnova, Irina M
  • Rozonoer, Lev I
  • Gusev, Leonid A
  • Aizerman, M. A., (Mark Aronovich), 1913-
Series: Mathematics in science and engineering ; vol.79.
Language: English Original language: Russian
Publication details: New York London: Academic Press, 1971
Availability: Items available for loan: Castorina (1)Call number: 512 L832 1971 IMPA.

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

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

5.
Acta informatica.
Language: engfreger
Publication details: Berlin ; New York: Springer-Verlag,
Availability: Items available for loan: Castorina (18).

6.
Revue française d'automatique, informatique, recherche opérationnelle: Automatique. by
  • Association française pour la cybernétique économique et technique
Language: engfre
Publication details: Paris: Dunod, 1972-1976
Other title:
  • Automatique
Availability: Items available for loan: Castorina (2).

7.
RAIRO: Informatique théorique. RAIRO: Theoretical computer science. by
  • Association française pour la cybernétique économique et technique
Language: engfre
Publication details: [Paris]: Dunod, 1977-85
Other title:
  • Informatique théorique
  • Theoretical computer science
  • Theoretical informatics
  • RAIRO:
  • RAIRO:
  • RAIRO, Revue française d'automatique, d'informatique et de recherche opérationnelle
Availability: Items available for loan: Castorina (16).

8.
RAIRO.: Informatique théorique et applications = Theoretical informatics and applications. by
  • Association française pour la cybernétique économique et technique
  • Centre National de la Recherche Scientifique (France)
Language: engfreger
Publication details: [Paris]: Dunod, c1986-
Other title:
  • Informatique théorique et applications
  • Theoretical informatics and applications
Availability: Items available for loan: Castorina (7).

9.
Fundamentals of computation theory: FCT '79 : proceedings of the Conference on Algebraic, Arithmetic, and Categorial Methods in Computation Theory held in Berlin/Wendisch-Rietz (GDR), Sept. 17-21, 1979/ ed. by Lothar Budach. by
  • Budach, L. (Lothar), 1935-
  • Conference on Algebraic, Arithmetic, and Categorial Methods in Computation Theory (1979 : Wendisch Rietz, Germany)
Series: Mathematical research ; Bd. 2
Language: engfre
Publication details: Berlin: Akademie-Verlag, 1979
Availability: Items available for loan: Castorina (1)Call number: 511.35 F981 1979 IMPA.

10.
Algèbre de Boole et machines logiques/ Sous la direction de J. Kuntzmann et P. Naslin. by
  • Naslin, Pierre [joint ed.]
Series: Bibliothèque de l'automaticien ; 23
Publication details: Paris: Dunod, 1967 [c1966]
Availability: Items available for loan: Castorina (1)Call number: 511.3 A396 1967 IMPA.

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

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

13.
Semigroups, automata, and languages: University of Porto, 20-24, June 1994/ edited by Jorge Almeida, Gracinda M.S. Gomes, Pedro V. Silva. by
  • Almeida, Jorge
  • Gomes, Gracinda M. S
  • Silva, Pedro V
Publication details: Singapore: River Edge, NJ: World Scientific, c1996
Availability: Items available for loan: Castorina (1)Call number: 512.2 S471 1996 IMPA.

14.
Lecture notes in computer science, volumes 1-100: an index and other useful information/ edited by G. Goos and J. Hartmanis. by
  • Goos, Gerhard, 1937-
  • Hartmanis, Juris
Publication details: Berlin: New York: Springer-Verlag, 1981
Availability: Items available for loan: Castorina (1).

15.
Handbook of elliptic and hyperelliptic curve cryptography/ [scientific editors,] Henri Cohen Gerhard Frey ; [authors,] Roberto Avanzi ... [et al.]. by
  • Cohen, Henri
  • Frey, Gerhard, 1944-
  • Avanzi, Roberto
Series: Discrete mathematics and its applications
Publication details: Boca Raton: Taylor & Francis, c2006
Availability: Items available for loan: Castorina (1)Call number: 516.352 H236 2006 IMPA.

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

17.
Mathematical problems in computation theory/ editors of the volume, Graçzyna Mirkowska, Helena Rasiowa. by
  • Mirkowska-Salwicka, Graçzyna
  • Rasiowa, Helena
Series: Banach Center publications ; v. 21
Language: engrus
Publication details: Warszawa: PWN-Polish Scientific Publishers, 1988
Availability: Items available for loan: Castorina (1).

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

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

20.
Prediction and discovery: AMS-IMS-SIAM Joint Summer Research Conference, Machine and Statistical Learning : Prediction and Discovery, June 25-29, 2006, Snowbird, Utah/ Joseph Stephen Verducci, Xiaotong Shen, John Lafferty, editors. by
  • AMS-IMS-SIAM Joint Summer Research Conference Machine and Statistical Learning : Prediction and Discovery (2006: Snowbird, Utah)
  • Verducci, Joseph S
  • Shen, Xiaotong, 1964-
  • Lafferty, John
Series: Contemporary mathematics (American Mathematical Society) ; v. 443.
Publication details: Providence, R.I.: American Mathematical Society, c2007
Availability: Items available for loan: Castorina (1).

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


Powered by Koha