Your search returned 87 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.
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.

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

5.
Anwendung von Rechenmaschinen bei der Berechnung von Regelvorgangen; Vortrage, gehalten bei einer Tagung des Fachausschusses Regelungsmathematik der Gesellschaft für angewandte Mathematik und Mechanik (GAMM) in Düsseldorf am 8.november 1957/ Zusammengestellt von W. Oppelt. by
  • Oppelt, Winfried
  • Gesellschaft für Angewandte Mathematik und Mechanik Fachausschuss Regelungsmathematik
  • Tagung der Anwendung von Rechenmaschinen bei der Berechnung von RegelvergÌangen (1957 : DÌusseldorf)
Series: Regelungstechnik. Beihefte ; [6]
Publication details: München: R. Oldenbourg, 1958
Availability: Items available for loan: Castorina (1)Call number: 629.83 A637 1958 IMPA .

6.
Data base management: proceedings of the IFIP Workshop Conference on Data Base Management/ edited by J.W. Klimbie and K.L. Koffeman. by
  • Klimbie, J. W
  • Koffeman, K. L
  • IFIP Technical Committee 2--Programming
  • IFIP Working Conference on Data Base Management (1974 : Cargese, France)
Publication details: Amsterdam ; New York: North-Holland, American Elsevier, 1974
Availability: Items available for loan: Castorina (1)Call number: 005.74 D232 1974 IMPA.

7.
Computers and thought/ a collection of articles by Armer ... [and others]. Edited by Edward A. Feigenbaum & Julian Feldman. by
  • Feldman, Julian [joint ed.]
Publication details: New York: McGraw-Hill, [c1963]
Availability: Items available for loan: Castorina (1)Call number: 001.535 C738 1963 IMPA.

8.
Perspectives on the computer revolution/ Edited with commentaries by Zenon W. Pylyshyn. Series: Prentice-Hall series in automatic computation
Publication details: Englewood Cliffs, N.J.: Prentice-Hall, [1970]
Availability: Items available for loan: Castorina (1)Call number: 651.8 P467 1970 IMPA.

9.
Foundations of computer science/ J. W. De Bakker, (ed.). by
  • Bakker, J. W. de (Jacobus Willem), 1939-
  • Advanced Course on the Foundations of Computer Science (1974 : University of Amsterdam)
Series: Mathematical Centre tracts ; 63.
Publication details: Amsterdam ; Mathematisch Centrum, 1975
Availability: Items available for loan: Castorina (1)Call number: 004.15 F771 1975 IMPA.

10.
Theoretical computer science. by
  • Preparata, Franco P
Series: Centro internazionale matematico estivo. Volumes on C.I.M.E. sessions ; 1975, no. 1.Volumes on C.I.M.E. sessions
Publication details: Roma: Cremonese, 1975
Availability: Items available for loan: Castorina (1)Call number: 004 T396 1975 IMPA.

11.
The application of mini- and micro-computers in information, documentation, and libraries: proceedings of the International Conference on the Application of Mini- and Micro-Computers in Information, Documentation, and Libraries, Tel-Aviv, Israel, March 13-18, 1983/ edited by Carl Keren and Linda Perlmutter. by
  • Keren, C
  • Perlmutter, Linda
  • International Conference on the Application of Mini- and Micro-Computers in Information, Documentation, and Libraries (1983 : Tel Aviv, Israel)
Series: Contemporary topics in information transfer ; v. 3.
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: 025.04 A652 1985 IMPA.

12.
Uncertainty in artificial intelligence/ edited by Laveen N. Kanal and John F. Lemmer. by
  • Kanal, Laveen N
  • Lemmer, John F
Series: Machine intelligence and pattern recognition ; v. 4.
Publication details: Amsterdam ; North-Holland, 1986
Availability: Items available for loan: Castorina (1)Call number: 006.3 U54 1986 IMPA.

13.
History of programming languages/ edited by Richard L. Wexelblat. by
  • Wexelblat, Richard L
  • History of Programming Languages Conference (1978 : Los Angeles, Calif.)
Series: ACM monograph series
Publication details: New York: Academic Press, 1981
Availability: Items available for loan: Castorina (1)Call number: 005.133 H673 1981 IMPA.

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

15.
Distributed computing and cryptography: proceedings of a DIMACS Workshop, October 4-6, 1989/ Joan Feigenbaum, Michael Merritt, editors. by
  • Feigenbaum, Joan, 1958-
  • Merritt, Michael, 1957-
  • DIMACS Workshop in Distributed Computing and Cryptography (1989 : Princeton, N.J.)
Series: DIMACS series in discrete mathematics and theoretical computer science ; v. 2.
Publication details: Providence, R.I.: Baltimore: American Mathematical Society, Association for Computing Machinery, c1991
Availability: Items available for loan: Castorina (1)Call number: 005.82 D614 1991 IMPA.

16.
Applied geometry and discrete mathematics: the Victor Klee festschrift/ Peter Gritzmann, Bernd Sturmfels, editors. by
  • Gritzmann, Peter, 1954-
  • Sturmfels, Bernd
  • Klee, Victor
Series: DIMACS series in discrete mathematics and theoretical computer science ; v. 4
Publication details: Providence, R.I.: Baltimore: American Mathematical Society, Association for Computing Machinery, c1991
Availability: Items available for loan: Castorina (1)Call number: 510.92 A652 1991 IMPA.

17.
Planar graphs/ William T. Trotter, editor. by
  • Trotter, William T
Series: DIMACS series in discrete mathematics and theoretical computer science ; v. 9.
Publication details: Providence, R.I.: American Mathematical Society, c1993
Availability: Items available for loan: Castorina (1)Call number: 511.5 P699 1993 IMPA.

18.
Mathematical methods of analysis of biopolymer sequences/ Simon Gindikin, editor ; translated from the Russian by Oksana Khleborodova. by
  • Gindikin, S. G. (Semen Grigorevich)
Series: DIMACS series in discrete mathematics and theoretical computer science ; v. 8.
Language: English Original language: Russian
Publication details: Providence, R.I.: American Mathematical Society, c1992
Availability: Items available for loan: Castorina (1)Call number: 515.24 M427 1992 IMPA.

19.
Hypercube multiprocessors, 1987: proceedings of the Second Conference on Hypercube Multiprocessors, Knoxville, Tennessee, September 29-October 1, 1986/ edited by Michael T. Heath. by
  • Heath, Michael T
  • Oak Ridge National Laboratory. Mathematical Sciences Section
  • Society for Industrial and Applied Mathematics
  • Conference on Hypercube Multiprocessors (2nd : 1986 : Knoxville, Tenn.)
Publication details: Philadelphia: Siam, 1987
Availability: Items available for loan: Castorina (1)Call number: 004.35 H998 1987 IMPA.

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

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


Powered by Koha