Refine your search

Your search returned 221 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.
Minimization algorithms, mathematical theories, and computer results/ Edited by G. P. Szegö. by
  • Szegö, G. P [ed.]
  • Università di Cagliari
  • Consiglio nazionale delle ricerche (Italy)
  • Seminar on Minimization Algorithms (1971 : University of Cagliari)
Language: engita
Publication details: New York: Academic Press, 1972
Availability: Items available for loan: Castorina (1)Call number: 515.33 M665 1972 IMPA.

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

4.
Algorithmic aspects of combinatorics/ edited by B. Alspach, P. Hell, D. J. Miller. by
  • Alspach, B. R. (Brian Roger), 1938-
  • Hell, Pavol
  • Miller, Donald John
Series: Annals of discrete mathematics ; 2.
Publication details: Amsterdam ; New York: New York: North-Holland, Sole distributors for the U.S.A. and Canada, Elsevier/North-Holland, 1978
Availability: Items available for loan: Castorina (1)Call number: 511.6 A396 1978 IMPA.

5.
Algorithms in modern mathematics and computer science: proceedings, Urgench, Uzbek SSR, September 16-22, 1979/ edited by A.P. Ershov and D.E. Knuth. by
  • Ershov, A. P. (Andrei Petrovich)
  • Knuth, Donald Ervin, 1938-
  • Uzbekiston SSR fanlar akademi­iasi
Series: Lecture notes in computer science ; 122.
Publication details: Berlin ; New York: Springer-Verlag, 1981
Availability: Items available for loan: Castorina (1).

6.
Graph theory with applications to algorithms and computer science/ edited by Y. Alavi ... [et al.]. by
  • Alavi, Y
  • International Conference on the Theory and Applications of Graphs (5th : 1984 : Western Michigan University)
Publication details: New York: Wiley, c1985
Availability: Items available for loan: Castorina (1)Call number: 511.5 G766 1985 IMPA.

7.
Self-organizing methods in modeling: GMDH-type algorithms/ edited by Stanley J. Farlow. by
  • Farlow, Stanley J, 1937-
Series: Statistics, textbooks and monographs ; v. 54.
Publication details: New York: M. Dekker, c1984
Availability: Items available for loan: Castorina (1)Call number: 519.5 S465 1984 IMPA.

8.
Algorithms in combinatorial design theory/ edited by C. J. Colbourn and M. J. Colbourn. by
  • Colbourn, C. J. (Charles J.), 1953-
  • Colbourn, M. J. (Marlene Jones), 1953-
Series: Annals of discrete mathematics ; 26. | North-Holland mathematics studies ; 114.
Publication details: Amsterdam ; New York: New York: North-Holland, Sole distributors for the U.S.A. and Canada, Elsevier Science, 1985
Availability: Items available for loan: Castorina (1)Call number: 511.6 A396 1985 IMPA.

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

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

11.
Stochastic models, statistical methods, and algorithms in image analysis: proceedings of the special year on image analysis held in Rome, Italy, 1990/ P. Barone, A. Frigessi, M. Piccioni, eds. by
  • Barone, P. (Piero)
  • Frigessi, A. (Arnoldo)
  • Piccioni, M. (Mauro)
Series: Lecture notes in statistics (Springer-Verlag) ; v. 74.
Publication details: Berlin ; New York: Springer-Verlag, c1992
Availability: Items available for loan: Castorina (1).

12.
Algorithms and complexity: proceedings of the first Italian conference, Rome, Italy, 1-2 October 1990/ editors, Giorgio Ausiello, Daniel P. Bovet, Rosella Petreschi. by
  • Ausiello, G. (Giorgio), 1941-
  • Bovet, D. (Daniele)
  • Petreschi, Rosella
  • Italian Conference on Algorithms and Complexity (1st : 1990 : Rome, Italy)
Publication details: Singapore Teaneck, NJ: World Scientific, c1990
Availability: Items available for loan: Castorina (1)Call number: 519.4 A396 1990 IMPA.

13.
Parallel algorithms: for digital image processing, computer vision, and neural networks/ edited by Ioannis Pitas. by
  • Pitas, I. (Ioannis)
Series: Wiley series in parallel computing | Wiley professional computing
Publication details: Chichester New York: Wiley, c1993
Availability: Items available for loan: Castorina (1)Call number: 006.37 P222 1993 IMPA.

14.
Introduction to parallel computing: design and analysis of algorithms/ Vipin Kumar ... [et al.]. by
  • Kumar, Vipin, 1956-
Publication details: Redwood City: Benjamin/Cummings, c1994
Availability: Items available for loan: Castorina (1)Call number: 005.1 I61 1994 IMPA.

15.
Specification of parallel algorithms: DIMACS workshop, May 9-11, 1994/ Guy E. Blelloch, K. Mani Chandy, Suresh Jagannathan, editors. by
  • Blelloch, Guy E
  • Chandy, K. Mani
  • Jagannathan, Suresh
  • NSF Science and Technology Center in Discrete Mathematics and Theoretical Computer Science
Series: DIMACS series in discrete mathematics and theoretical computer science ; v. 18.
Publication details: [Providence, RI]: American Mathematical Society, 1994
Availability: Items available for loan: Castorina (1)Call number: 005.1 S741 1994 IMPA.

16.
Linear algebra over small finite fields on parallel machines/ Peter Fleischmann ... [et al.]. by
  • Fleischmann, Peter
Series: Vorlesungen aus dem Fachbereich Mathematik der Universitat Essen ; Heft 23.
Publication details: [Essen, Germany]: Universität Essen, 1995
Availability: Items available for loan: Castorina (1).

17.
Cliques, coloring, and satisfiability: second DIMACS implementation challenge, October 11-13, 1993/ David S. Johnson, Michael A. Trick, editors. by
  • Johnson, David S, 1945-
  • Trick, Michael A
Series: DIMACS series in discrete mathematics and theoretical computer science ; v. 26.
Publication details: Providence, R.I.: American Mathematical Society, c1996
Availability: Items available for loan: Castorina (1)Call number: 511.5 C641 1996 IMPA.

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

19.
Satisfiability problem: theory and applications : DIMACS workshop, March 11-13, 1996/ Dingzhu Du, Jun Gu, Panos M. Pardalos, editors. by
  • Du, Dingzhu
  • Gu, Jun, 1956-
  • Pardalos, P. M. (Panos M.), 1954-
  • NSF Science and Technology Center in Discrete Mathematics and Theoretical Computer Science
Series: DIMACS series in discrete mathematics and theoretical computer science ; 35.
Publication details: Providence, R.I.: American Mathematical Society, c1997
Availability: Items available for loan: Castorina (1)Call number: 511.3 S253 1997 IMPA.

20.
Algorithms in algebraic geometry and applications/ Laureano González-Vega, Tomás Recio, editors. by
  • González-Vega, Laureano
  • Recio, T. (Tómas), 1949-
  • MEGA-94 Conference (1994 : University of Cantabria)
Series: Progress in mathematics
Publication details: Basel; Boston: Birkhäuser, c1996
Availability: Items available for loan: Castorina (1)Call number: 516.35 A396 1996 IMPA.

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


Powered by Koha