Refine your search

Your search returned 221 results.

Sort
Results
101.
Computation, proof, machine: mathematics enters a new age/ Gilles Dowek. by
  • Dowek, Gilles
  • Guillot, Pierre, 1978-
  • Roman, Marion
Edition: First English edition.
Publisher: New York, NY: Cambridge University Press, 2015
Other title:
  • Mathematics enters a new age
Availability: Items available for loan: Castorina (1)Call number: 510.9 D746c 2007 IMPA.

102.
Computational topology: an introduction/ Herbert Edelsbrunner, John L. Harer. by
  • Edelsbrunner, Herbert
  • Harer, J. (John), 1952-
Publication details: Providence, R.I.: American Mathematical Society, c2010
Availability: Items available for loan: Castorina (1)Call number: 514 E22c 2010 IMPA.

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

104.
Algorithmic properties of structure: selected papers of Erwin Engeler. by
  • Engeler, Erwin
Publication details: Singapore River Edge, NJ: World Scientific, 1993
Availability: Items available for loan: Castorina (1)Call number: 512.3 E57a 1993 IMPA.

105.
The multilevel fast multipole algorithm (MLFMA) for solving large-scale computational electromagnetics problems / Ozgur Ergul. by
  • Ergul, Ozgur [author.]
  • Gurel, Levent [author.]
  • IEEE Xplore (Online Service) [distributor.]
  • Wiley [publisher.]
  • IEEE Antennas and Propagation Society [sponsor.]
Series: IEEE Press series on electromagnetic wave theory
Edition: First edition.
Material type: Text Text; Format: available online remote
Publisher: Piscataway, NJ : Chichester, West Sussex : IEEE Press ; Wiley, 2014Distributor: [Piscataqay, New Jersey] : IEEE Xplore, [2014]
Availability: No items available.

106.
Alternating projection methods/ René Escalante, Marcos Raydan. by
  • Escalante, Rene
  • Raydan, Marcos
  • Society for Industrial and Applied Mathematics
Series: Fundamentals of algorithms ; FA08.
Publication details: Philadelphia: Society for Industrial and Applied Mathematics, c2011
Availability: Not available: Castorina: Checked out (1).

107.
Algorithmic combinatorics/ Shimon Even. by
  • Even, Shimon
Publication details: New York: Macmillan, [1973]
Availability: Items available for loan: Castorina (1)Call number: 511.6 E93a 1973 IMPA.

108.
Graph algorithms/ Shimon Even. by
  • Even, Shimon
Series: Computer software engineering series
Publication details: Potomac, MD: Computer Science Press, c1979
Availability: Items available for loan: Castorina (1)Call number: 511.5 E93g 1979 IMPA.

109.
Practical algorithms for 3D computer graphics/ R. Stuart Ferguson. by
  • Ferguson, R. Stuart (Robin Stuart), 1953-
Publication details: Natick, MA: A K Peters, c2001
Availability: Items available for loan: Castorina (2)Call number: 006.69 F353p 2001 IMPA, ...

110.
Nonlinear programming; sequential unconstrained minimization techniques/ [by] Anthony V. Fiacco [and] Garth P. McCormick. by
  • Fiacco, Anthony V
  • McCormick, Garth P [joint author.]
Publication details: New York: Wiley, [1968]
Availability: Items available for loan: Castorina (1)Call number: 519.92 F438n 1968 IMPA.

111.
The Golden ticket: P, NP, and the search for the impossible/ Lance Fortnow. by
  • Fortnow, Lance, 1963- [author.]
Publication details: 2013
Availability: Items available for loan: Castorina (1)Call number: 005.1 F743g 2013 IMPA.

112.
Combinatoire des structures de données/ par Jean Françon. by
  • Françon, Jean
Series: Publication de l'Institut de Recherche Mathématique Avancée ; 61. | Séries de mathématiques pures et appliquées. Thèses d'état ; TE-04.
Publication details: Strasbourg: Institut de recherche mathématique avancée, 1979
Dissertation note: Thesis (doctoral)--Université Louis Pasteur, 1979.
Availability: Items available for loan: Castorina (1).

113.
Computers and intractability: a guide to the theory of NP-completeness/ Michael R. Garey, David S. Johnson. by
  • Garey, Michael R
  • Johnson, David S, 1945- [joint author.]
Series: Series of books in the mathematical sciences
Publication details: San Francisco: W.H. Freeman, c1979
Availability: Items available for loan: IMPATECH (2)Call number: 005 G229c 1979 IMPA TECH, ...

114.
Modern computer algebra/ Joachim von zur Gathen, Jürgen Gerhard. by
  • Gathen, Joachim von zur
  • Gerhard, Jürgen, 1967-
Edition: 2nd ed.
Publication details: Cambridge, UK; New York: Cambridge University Press, 2003
Availability: Items available for loan: Castorina (1)Call number: 004.0151 G259m 2003 IMPA.

115.
Algorithms for computer algebra/ K.O. Geddes, S.R. Czapor, G. Labahn. by
  • Geddes, K. O (Keith O.), 1947
  • Czapor, S. R (Stephen R.), 1957
  • Labahn, G (George), 1951
Publication details: Boston: Kluwer Academic, 1992
Online access:
Availability: Items available for loan: Castorina (1)Call number: 005.1 G295a 1992 IMPA.

116.
Interactive computer graphics: data structures, algorithms, languages/ Wolfgang K. Giloi. by
  • Giloi, Wolfgang
Publication details: Englewood Cliffs, N.J.: Prentice-Hall, c1978
Availability: Items available for loan: Castorina (1)Call number: 006.6 G488i 1978 IMPA.

117.
Graphs and algorithms/ Michel Gondran and Michel Minoux ; translated by Steven Vajda. by
  • Gondran, Michel
  • Minoux, Michel
Series: Wiley-Interscience series in discrete mathematics
Language: engfre
Publication details: Chichester New York: Wiley, c1984
Availability: Items available for loan: Castorina (1)Call number: 511.5 G637g 1984 IMPA.

118.
Introduction to the design and analysis of algorithms/ S. E. Goodman, S. T. Hedetniemi. by
  • Goodman, Seymour E
  • Hedetniemi, S. T [joint author.]
Series: McGraw-Hill computer science series
Publication details: New York: McGraw-Hill, c1977
Availability: Items available for loan: Castorina (1)Call number: 005.1 G653i 1977 IMPA.

119.
Mathematics for the analysis of algorithms/ Daniel H. Greene, Donald E, Knuth. by
  • Greene, Daniel H, 1955-
  • Knuth, Donald Ervin, 1938-
Series: Progress in computer science ; no. 1.
Publication details: Boston: Birkhäuser, c1981
Availability: Items available for loan: Castorina (1)Call number: 005.1 G799m 1981 IMPA.

120.
Mathematics for the analysis of algorithms/ Daniel H. Greene, Donald E. Knuth. by
  • Greene, Daniel H, 1955-
  • Knuth, Donald Ervin, 1938-
Series: Modern Birkhäuser Classics
Edition: 3rd ed.
Publication details: Boston: Birkhäuser, c2008
Availability: Items available for loan: Castorina (1)Call number: 005.1 G799m 2008 IMPA.

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


Powered by Koha