Refine your search

Your search returned 1428 results.

Sort
Results
1.
Groups and computation: workshop on groups and computation, October 7-10, 1991/ Larry Finkelstein, William M. Kantor, editors. by
  • Finkelstein, Larry
  • Kantor, W. M. (William M.), 1944-
Series: DIMACS series in discrete mathematics and theoretical computer science ; v. 11
Publication details: Providence, R.I.: American Mathematical Society, c1993
Availability: Items available for loan: Castorina (1)Call number: 512.2 G882 1993 IMPA.

2.
Expanding graphs: proceedings of a DIMACS workshop, May 11-14, 1992/ Joel Friedman, editor. by
  • Friedman, Joel, 1962-
  • DIMACS (Group)
  • DIMACS Workshop on Expander Graphs (1992 : Princeton University)
Series: DIMACS series in discrete mathematics and theoretical computer science ; v. 10
Publication details: Providence, R.I.: American Mathematical Society, c1993
Availability: Items available for loan: Castorina (1)Call number: 511.5 E96 1993 IMPA.

3.
Stability of dynamical systems: theory and applications : proceedings of the National Science Foundation-Conference Board of Mathematical Sciences regional conference held at Mississippi State University/ edited by John R. Graef. by
  • Graef, John R, 1942-
  • National Science Foundation (U.S.)
  • Conference Board of the Mathematical Sciences
Series: Lecture notes in pure and applied mathematics ; 28
Publication details: New York: M. Dekker, c1977
Availability: Items available for loan: Castorina (1)Call number: 515.39 S775 1977 IMPA.

4.
Network flows and matching: first DIMACS implementation challenge/ David S. Johnson, Catherine C. McGeoch, editors. by
  • Johnson, David S, 1945-
  • McGeoch, Catherine C, 1959-
  • DIMACS (Group)
  • Challenge Workshop (1991 : DIMACS)
Series: DIMACS series in discrete mathematics and theoretical computer science ; v. 12.
Publication details: Providence, R.I.: American Mathematical Society, c1993
Availability: Items available for loan: Castorina (1)Call number: 511.8 N476 1993 IMPA.

5.
Mathematical logic and theoretical computer science/ edited by David W. Kueker, Edgar G.K. Lopez-Escobar, Carl H. Smith. by
  • Kueker, D. W, 1943-
  • Lopez-Escobar, Edgar G. K, 1937-
  • Smith, Carl, 1950-
  • University of Maryland, College Park. Dept. of Mathematics
Series: Lecture notes in pure and applied mathematics ; v. 106.
Publication details: New York: M. Dekker, c1987
Availability: Items available for loan: Castorina (1)Call number: 511.3 M426 1987 IMPA.

6.
Algorithms and complexity: recent results and new directions : [proceedings of a Symposium on New Directions and Recent Results in Algorithms and Complexity held by the Computer Science Department, Carnegie-Mellon University, April 7-9, 1976]/ edited by J. F. Traub. by
  • Traub, J. F. (Joseph Frederick), 1932-
  • Carnegie-Mellon University. Computer Science Dept
  • Symposium on New Directions and Recent Results in Algorithms and Complexity (1976 : Carnegie-Mellon University)
Publication details: New York: Academic Press, 1976
Availability: Items available for loan: Castorina (1)Call number: 519.4 A396 1976 IMPA.

7.
8.
Optimization techniques, with applications to aerospace systems. by
  • Leitmann, George [ed.]
Series: Mathematics in science and engineering ; v. 5
Publication details: New York: Academic Press, 1962
Availability: Items available for loan: Castorina (1)Call number: 629.4 O62 1962 IMPA.

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

10.
Adaptive, learning, and pattern recognition systems: theory and applications,/ edited by J. M. Mendel and K. S. Fu. by
  • Fu, K. S. (King Sun), 1930-
Series: Mathematics in science and engineering ; v. 66.
Publication details: New York: Academic Press, 1970
Availability: Items available for loan: Castorina (1)Call number: 519 A221 1970 IMPA.

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

12.
Network and switching theory/ Edited by Giuseppe Biorci. by
  • Biorci, Giuseppe [ed.]
  • NATO Advanced Study Institute on Network and Switching Theory (1966 : Trieste)
Series: Electrical science series
Publication details: New York: Academic Press, 1968
Availability: Items available for loan: Castorina (1)Call number: 621.3192 N476 1968 IMPA.

13.
Matrix eigensystem routines; EISPACK guide/ [by] B. T. Smith ... [and others]. by
  • Smith, Brian T
Series: Lecture notes in computer science ; 6.
Publication details: Berlin: New York: Springer-Verlag, 1974
Availability: Items available for loan: Castorina (1).

14.
Differential games and control theory: proceedings of a National Science Foundation-Conference Board of the Mathematical Sciences Regional Research Conference, held at University of Rhode Island, Kingston, Rhode Island, June 4-8, 1973 : the invited lectures and contributed papers/ edited by Emilio O. Roxin, Pan-Tai Liu and Robert L. Sternberg. by
  • Roxin, Emilio O
  • Liu, Pan-Tai
  • Sternberg, Robert L
  • National Science Foundation (U.S.)
  • Conference Board of the Mathematical Sciences
  • Regional Research Conference on Differential Games and Control Theory (1st : 1973 : University of Rhode Island)
Series: Lecture notes in pure and applied mathematics ; v. 10.
Publication details: New York: M. Dekker, c1974
Availability: Items available for loan: Castorina (1)Call number: 519.7 D569 1974 IMPA.

15.
Algebraic number fields: L-functions and Galois properties : proceedings of a symposium/ organised by the London Mathematical Society with the support of the Science Research Council and the Royal Society ; edited by A. Fröhlich. by
  • Fröhlich, A. (Albrecht), 1916-
  • London Mathematical Society
Language: English Summary language: French
Publication details: London New York: Academic Press, 1977
Availability: Items available for loan: Castorina (1)Call number: 512.74 A394 1977 IMPA.

16.
Homological group theory: proceedings of a symposium, held at Durham in September 1977, on "Homological and combinatorial techniques in group theory"/ supported by the Science Research Council ; organised by the London Mathematical Society ; edited by C.T.C. Wall. by
  • Wall, C. T. C. (Charles Terence Clegg)
  • Science Research Council (Great Britain)
  • London Mathematical Society
Series: London Mathematical Society lecture note series ; 36.
Publication details: Cambridge, UK: New York: Cambridge University Press, 1979
Availability: Items available for loan: Castorina (1)Call number: 512.22 H768 1979 IMPA.

17.
Matrix eigensystem routines: EISPACK guide extension/ B. S. Garbow ... [et al.]. by
  • Garbow, B. S, 1930-
Series: Lecture notes in computer science ; 51.
Publication details: Berlin ; New York: Springer-Verlag, 1977
Availability: Items available for loan: Castorina (1).

18.
Symmetries in science/ edited by Bruno Gruber, Richard S. Millman. by
  • Gruber, Bruno, 1936-
  • Millman, Richard S, 1945-
  • Southern Illinois University (System)
Publication details: New York: Plenum Press, c1980
Availability: Items available for loan: Castorina (1)Call number: 530.15 S987 1980 IMPA.

19.
Advances in geometric programming/ edited by Mordecai Avriel. by
  • Avriel, M
Series: Mathematical concepts and methods in science and engineering ; v. 21.
Publication details: New York: Plenum Press, c1980
Availability: Items available for loan: Castorina (1)Call number: 519.76 A244 1980 IMPA.

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

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


Powered by Koha