Your search returned 98 results.

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

2.
Algorithmic methods in probability/ edited by Marcel F. Neuts. by
  • Neuts, Marcel F
Series: TIMS studies in the management sciences ; v. 7.
Publication details: Amsterdam ; New York: New York: North-Holland, [distributed by] Elsevier North-Holland, 1977
Availability: Items available for loan: Castorina (1)Call number: 519.2 A396 1977 IMPA.

3.
Algorithms in real algebraic geometry/ edited by Dennis S. Arnon [and] Bruno Buchberger. by
  • Arnon, Dennis S
  • Buchberger, Bruno
Publication details: London San Diego: Academic Press, c1988
Availability: Items available for loan: Castorina (1)Call number: 516.35 A396 1988 IMPA.

4.
Logic and algorithmic: an international symposium held in honour of Ernst Specker. by
  • Specker, Ernst, 1920-
Series: L'Enseignement mathématique ; 30.
Language: enggerfre
Publication details: Genève: L'Enseignement mathématique, c1982
Availability: Items available for loan: Castorina (1).

5.
Algorithmic methods in algebra and number theory/ edited by Michael Pohst. by
  • Zassenhaus, Hans
  • Pohst, M
Publication details: London; San Diego: Academic Press, 1987
Availability: Items available for loan: Castorina (1)Call number: 510.92 A396 1987 IMPA.

6.
Séminaire de complexité algorithmique et de logique 1986-1987-1988/ P. Michel, J.P. Ressayre. by
  • Ressayre, J.-P. (Jean-Pierre)
Series: Publications mathématiques de l'Université Paris VII
Publication details: Paris: U.E.R. de Mathemátiques, 1989
Availability: Items available for loan: Castorina (1)Call number: 511.3 S471 1988 IMPA.

7.
Applied statistics algorithms/ editors, P. Griffiths and I.D. Hill. by
  • Griffiths, P. (Paul), 1947 Oct. 29-
  • Hill, I. D. (Ian David), 1926-
Series: Ellis Horwood series in mathematics and its applications
Publication details: Chichester: Published by E. Horwood for the Royal Statistical Society, London, 1985
Availability: Items available for loan: Castorina (1)Call number: 005.1 A652 1985 IMPA.

8.
Algorithmic foundations of geographic information systems/ Marc van Kreveld ... [et al.] (eds.). by
  • Kreveld, Marc van
Series: Lecture notes in computer science ; 1340.
Publication details: Berlin; New York: Springer, c1997
Availability: Items available for loan: Castorina (1).

9.
Probabilistic methods for algorithmic discrete mathematics/ M. Habib ... [et al.], (eds). by
  • Habib, M. (Michel)
Series: Algorithms and combinatorics ; 16
Publication details: Berlin; New York: Springer, c1998
Availability: Items available for loan: Castorina (1)Call number: 511.6 P962 1998 IMPA.

10.
Differential equations with symbolic computation/ Dongming Wang, Zhiming Zheng, editors. by
  • Wang, Dongming
  • Zheng, Zhiming
Series: Trends in mathematics
Publication details: Basel; Boston: Birkhäuser, c2005
Online access:
Availability: Items available for loan: Castorina (1)Call number: 515.353 D569 2005 IMPA.

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

12.
Algorithms for games/ G.M. Adelson-Velsky, V.L. Arlazarov, M.V. Donskoy ; translator Arthur Brown. by
  • Adelson-Velsky, G. M. (Georgii Maksimovich)
  • Arlazarov, V. L. (Vladimir Lvovich)
  • Donskoy, M. V
Language: engrus
Publication details: New York: Springer-Verlag, c1988
Availability: Items available for loan: Castorina (1)Call number: 519.3 A231a 1988 IMPA.

13.
Intersection and decomposition algorithms for planar arrangements/ Pankaj K. Agarwal. by
  • Agarwal, Pankaj K
Publication details: Cambridge, UK: New York: Cambridge University Press, 1991
Availability: Items available for loan: Castorina (1)Call number: 516.13 A261i 1991 IMPA.

14.
Reconstruction of small inhomogeneities from boundary measurements/ Habib Ammari, Hyeonbae Kang. by
  • Ammari, Habib
  • Kang, Hyeonbae
Series: Lecture notes in mathematics (Springer-Verlag) ; 1846.
Publication details: Berlin; New York: Springer, c2004
Availability: Items available for loan: Castorina (1).

15.
A first course in numerical methods/ Uri M. Ascher, Chen Greif. by
  • Ascher, U. M. (Uri M.), 1946-
  • Greif, Chen, 1965-
Series: Computational science and engineering
Publication details: Philadelphia: Society for Industrial and Applied Mathematics, c2011
Online access:
Availability: Items available for loan: Castorina (2)Call number: 518.4 A813f 2011 IMPA, ...

16.
Algorithmic number theory/ Eric Bach and Jeffrey Shallit. by
  • Bach, Eric
  • Shallit, Jeffrey Outlaw
Series: Foundations of computing
Publication details: Cambridge, Mass.: London: MIT Press, [1966]
Availability: Items available for loan: Castorina (1)Call number: 512.7 B118a 1966 IMPA.

17.
Algorithms in real algebraic geometry/ Saugata Basu, Richard Pollack, Marie-Françoise Roy. by
  • Basu, Saugata, 1968-
  • Pollack, Richard D
  • Roy, M.-F. (Marie-Françoise)
Series: Algorithms and computation in mathematics ; 10
Publication details: Berlin; New York: Springer, 2003
Availability: Items available for loan: Castorina (1)Call number: 516.35 B327a 2003 IMPA.

18.
Numerical algorithms for number theory : using Pari/GP / Karim Belabas, Henri Cohen. by
  • Belabas, Karim [author.]
  • Cohen, Henri [author.]
Series: Mathematical surveys and monographs ; no. 254.
Material type: Text Text; Format: print ; Literary form: Not fiction
Publisher: Providence, Rhode Island : American Mathematical Society, [2021]Copyright date: ©2021
Availability: Items available for loan: Castorina (1).
Lists:

19.
Algorithms, graphs, and computers/ [by] Richard Bellman, Kenneth L. Cooke [and] Jo Ann Lockett. by
  • Bellman, Richard Ernest, 1920-
  • Cooke, Kenneth L [joint author.]
  • Lockett, Jo Ann [joint author.]
Series: Mathematics in science and engineering ; v. 62.
Publication details: New York: Academic Press, 1970
Availability: Items available for loan: Castorina (1)Call number: 519.92 B445a 1970 IMPA.

20.
The modified algorithm of Jacobi-Perron/ by Leon Bernstein. by
  • Bernstein, Leon
Series: Memoirs of the American Mathematical Society ; no. 67.
Publication details: Providence, R.I.: American Mathematical Society, 1966
Availability: Items available for loan: Castorina (1).

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


Powered by Koha