Refine your search

Your search returned 563 results.

Sort
Results
161.
Correctness preserving program refinements: proof theory and applications/ R. J. R. Back. by
  • Back, R. J. R
Series: Mathematical Centre tracts ; 131.
Publication details: Amsterdam ; Mathematisch centrum, 1980
Dissertation note: Revision of thesis (doctoral)--University of Helsinki, 1978.
Availability: Items available for loan: Castorina (1)Call number: 511.3 B126c 1980 IMPA.

162.
Étude géométrique des espaces vectoriels II: polyèdres et polytopes convexes/ Jacques Bair, René Fourneau. by
  • Bair, Jacques
  • Fourneau, René [joint author.]
Series: Lecture notes in mathematics (Springer-Verlag) ; 802.
Publication details: Berlin; New York: Springer-Verlag, 1980
Availability: Items available for loan: Castorina (1).

163.
Isoperimetric inequalities and applications/ Catherine Bandle. by
  • Bandle, Catherine, 1943-
Series: Monographs and studies in mathematics ; 7.
Publication details: Boston: Pitman, 1980
Availability: Items available for loan: Castorina (1)Call number: 516 B214i 1980 IMPA.

164.
Elementos de cálculo diferencial: fasciculo I: preliminares em espaços normáveis/ por Constantino M. de Barros. by
  • Barros, Constantino M. de
Publication details: Rio de Janeiro: UFRJ/Instituto de Matemática, 1980
Availability: Items available for loan: Castorina (1)Call number: 515 B277e 1980 IMPA.

165.
Electrodynamics and classical theory of fields & particles/ A.O. Barut. by
  • Barut, A. O. (Asim Orhan), 1926-
Series: Dover books on physics and chemistry
Publication details: New York: Dover, 1980
Availability: Items available for loan: Castorina (1)Call number: 530.143 B295e 1980 IMPA.

166.
Statistical inference for stochastic processes/ Ishwar V. Basawa and B.L.S. Prakasa Rao. by
  • Basawa, Ishwar V
  • Prakasa Rao, B. L. S [joint author.]
Series: Probability and mathematical statistics
Publication details: London: New York: Academic Press, 1980
Availability: Items available for loan: Castorina (1)Call number: 519.2 B297s 1980 IMPA.

167.
Differential operators for partial differential equations and function theoretic applications/ Karl Wilhelm Bauer, Stephan Ruscheweyh. by
  • Bauer, Karl Wilhelm
  • Ruscheweyh, Stephan [joint author.]
Series: Lecture notes in mathematics (Springer-Verlag) ; 791.
Publication details: Berlin ; New York: Springer-Verlag, 1980
Availability: Items available for loan: Castorina (1).

168.
Geometry of loop spaces and the cobar construction/ by H.J. Baues. by
  • Baues, Hans J, 1943-
Series: Memoirs of the American Mathematical Society ; no. 230.
Publication details: Providence, R.I.: American Mathematical Society, 1980
Availability: Items available for loan: Castorina (1).

169.
Intermediate mathematical statistics/ G. P. Beaumont. by
  • Beaumont, G. P. (Geoffrey P.)
Publication details: London New York: Chapman & Hall, 1980
Availability: Items available for loan: Castorina (1)Call number: 519.5 B379i 1980 IMPA.

170.
Analytic number theory: an introduction/ Richard Bellman. by
  • Bellman, Richard Ernest, 1920-
Series: Mathematics lecture note series ; 57.
Publication details: Reading, Mass.: Benjamin/Cummings, 1980
Availability: Items available for loan: Castorina (1)Call number: 512.7 B445a 1980 IMPA.

171.
Strömungen zäher Flüssigkeiten/ Josef Bemelmans. by
  • Bemelmans, Josef
Series: Vorlesungsreihe (Universitat Bonn) ; 72.2.
Publication details: Bonn: Univ. Bonn, 1980
Availability: Items available for loan: Castorina (1)Call number: 530 B455s 1980 IMPA.

172.
On inverse eigenvalue problems for a second-order differential equation with parameter contained in the boundary conditions/ Agnes Ilona Benedek and Rafael Panzone. by
  • Benedek, Agnes Ilona
  • Panzone, R. (Rafael)
Series: Notas de álgebra y análisis ; no. 9
Publication details: Bahia Blanca, Argentina: INMABB-CONICET, Universidad Nacional del Sur, 1980
Availability: Items available for loan: Castorina (1).

173.
A existência de modeles não-standard de análise real/ Licio H. Bezerra. by
  • Bezerra, Licio H
Publication details: Rio de Janeiro: PUC, 1980
Availability: Items available for loan: Castorina (1).

174.
The structure of orbit spaces and the singularities of equivariant mappings/ Edward Bierstone. by
  • Bierstone, Edward, 1946-
  • Instituto de Matemática Pura e Aplicada (Brazil)
Series: Monografias de Matemática (IMPA) ; no. 35
Publication details: Rio de Janeiro: IMPA, 1980
Availability: Items available for loan: Castorina (2)Call number: 514.74 B588s 1980 IMPA, ... Items available for reference: Castorina: Not For Loan (1)Call number: IMPA's PUBLICATION.

175.
Equations of mathematical physics/ A. V. Bitsadze ; translated from the Russian by V. M. Volosov and I. G. Volosova. by
  • Bitsadze, A. V. (Andrei Vasilevich), 1916-
Publication details: Moscow: MIR, 1980
Availability: Items available for loan: Castorina (1)Call number: 515.35 B624e 1980 IMPA.

176.
The decomposition of figures into smaller parts/ Vladimir Grigorèvich Boltyanskii and Izrail Tsudikovich Gohberg ; translated and adapted from the Russian edition by Henry Christoffers and Thomas P. Branson. by
  • Boltianskii, V. G. (Vladimir Grigorevich), 1925-
  • Gohberg, I. (Israel), 1928- [joint author.]
Series: Popular lectures in mathematics | Survey of recent East European mathematical literature
Language: English Original language: Russian
Publication details: Chicago ; University of Chicago Press, 1980
Availability: Items available for loan: Castorina (1)Call number: 516.13 B694d 1980 IMPA.

177.
Computability and logic/ George Boolos, Richard Jeffrey. by
  • Boolos, George
  • Jeffrey, Richard C [joint author.]
Edition: 2d ed.
Publication details: Cambridge, UK: New York: Cambridge University Press, 1980
Availability: Items available for loan: Castorina (1)Call number: 511.3 B724c 1980 IMPA.

178.
Molecular hydrodynamics/ by Jean Pierre Boon and Sidney Yip. by
  • Boon, Jean-Pierre
  • Yip, Sidney
Publication details: New York: McGraw-Hill, 1980
Availability: Items available for loan: Castorina (1)Call number: 532.05 B724m 1980 IMPA.

179.
The genetics of altruism/ Scott A. Boorman, Paul R. Levitt. by
  • Boorman, Scott A
  • Levitt, Paul R [joint author.]
Publication details: New York: Academic Press, 1980
Availability: Items available for loan: Castorina (1)Call number: 591.3 B724g 1980 IMPA.

180.
Continuous cohomology, discrete subgroups, and representations of reductive groups/ by A. Borel and N. Wallach. by
  • Borel, Armand
  • Wallach, Nolan R [joint author.]
Series: Annals of mathematics studies ; no. 94.
Publication details: Princeton, N.J.: Princeton University Press, 1980
Availability: Items available for loan: Castorina (1)Call number: 512.55 B731c 1980 IMPA.

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


Powered by Koha