Refine your search

Your search returned 251 results.

Sort
Results
1.
Statistical methods for digital computers/ edited by Kurt Enslein, Anthony Ralston, Herbert S. Wilf. by
  • Enslein, Kurt [ed.]
  • Ralston, Anthony [ed.]
  • Wilf, Herbert S, 1931- [ed.]
Publication details: New York: Wiley-Interscience, c1977
Availability: Items available for loan: Castorina (1)Call number: 519.53 S797 1977 IMPA.

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

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

4.
Topics in interval analysis/ edited by E. Hansen. by
  • Hansen, Eldon R [ed.]
  • Oxford University Computing Laboratory
  • Culham Laboratory
  • Symposium on Interval Analysis (1968 : Culham, England)
Publication details: Oxford: Clarendon Press, 1969
Availability: Items available for loan: Castorina (1)Call number: 518 T674 1969 IMPA.

5.
Computing methods in optimization problems; proceedings/ Edited by A.V. Balakrishnan [and] Lucien W. Neustadt. by
  • Balakrishnan, A. V [ed.]
  • Neustadt, Lucien W [ed.]
  • Conference on Computing Methods on Optimization Problems (1964 : : Los Angeles, Calif.)
Publication details: New York: Academic Press, 1964
Availability: Items available for loan: Castorina (1)Call number: 519.92 C738 1964 IMPA.

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

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

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

9.
Automated reasoning: introduction and applications/ Larry Wos ... [et al.]. by
  • Wos, Larry
Publication details: Englewood Cliffs, N.J.: Prentice-Hall, c1984
Availability: Items available for loan: Castorina (1)Call number: 006.3 A939 1984 IMPA.

10.
Ninth colloquium on trees in algebra and programming 5-7 March 1984, Bordeaux, France : proceedings/ edited by B. Courcelle. by
  • Courcelle, B
  • Colloquium on Trees in Algebra and Programming (9th : 1984 : Bordeaux, France)
Language: English Summary language: French
Publication details: Cambridge, UK New York: Cambridge University Press, 1984
Availability: Items available for loan: Castorina (1)Call number: 511.5 N716 1984 IMPA.

11.
Dynamical systems and cellular automata/ edited by J. Demongeot, E. Golès, and M. Tchuente. by
  • Demongeot, Jaques
  • Goles, E
  • Tchuente, Maurice, 1951-
Publication details: London Orlando: Academic Press, 1985
Availability: Items available for loan: Castorina (1)Call number: 515.39 D997 1985 IMPA.

12.
Ethical issues in the use of computers/ compiled by Deborah G. Johnson, John W. Snapper. by
  • Johnson, Deborah G, 1945-
  • Snapper, John W
Publication details: Belmont, CA: Wadsworth Pub. Co., c1985
Availability: Items available for loan: Castorina (1)Call number: 174.9 E84 1985 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.
Differential equations and computer algebra/ edited by M. Singer. by
  • Singer, Michael F, 1950-
Series: Computational mathematics and applications
Publication details: Academic Press, c1991
Availability: Items available for loan: Castorina (1)Call number: 515.350 D569 1991 IMPA.

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

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

17.
Texturing and modeling: a procedural approach/ David S. Ebert ... [et al.]. by
  • Ebert, David S, 1964-
Publication details: Boston: AP Professional, c1994
Availability: Items available for loan: Castorina (2)Call number: 006.6 T355 1994 IMPA, ...

18.
Parallel processing of discrete optimization problems: DIMACS workshop, April 28-29, 1994/ Panos M. Pardalos, Mauricio G.C Resende, K.G. Ramakrishnan, editors. by
  • Pardalos, P. M. (Panos M.), 1954-
  • Resende, Mauricio G. C, 1955-
  • Ramakrishnan, K. G, 1952-
  • DIMACS (Group)
  • NSF Science and Technology Center in Discrete Mathematics and Theoretical Computer Science
Series: DIMACS series in discrete mathematics and theoretical computer science ; v. 22.
Publication details: [Providence, RI]: American Mathematical Society, c1995
Availability: Items available for loan: Castorina (1)Call number: 519.3 P222 1995 IMPA.

19.
DNA based computers: proceedings of a DIMACS workshop, April 4, 1995, Princeton University/ Richard J. Lipton, Eric B. Baum, editors. by
  • Lipton, Richard J
  • Baum, Eric B, 1957-
  • NSF Science and Technology Center in Discrete Mathematics and Theoretical Computer Science
  • DIMACS (Group)
Series: DIMACS series in discrete mathematics and theoretical computer science ; v. 27.
Publication details: Providence, R.I.: American Mathematical Society, 1996
Availability: Items available for loan: Castorina (1)Call number: 511.3 D629 1996 IMPA.

20.
Computer algebra and differential equations/ edited by E. Tournier. by
  • Tournier, E
Series: London Mathematical Society lecture note series ; 193.
Publication details: Cambridge, UK; New York: Cambridge University Press, 1994
Availability: Items available for loan: Castorina (1)Call number: 515.35 C738 1994 IMPA.

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


Powered by Koha