Refine your search

Your search returned 94 results.

Sort
Results
1.
Aspectos teóricos da computação/ Cláudio L. Lucchesi ... [et al.] by
  • Lucchesi, Cláudio L, 1945-
Series: Projeto Euclides
Publication details: [Rio de Janeiro]: IMPA/CNPq, c1979
Availability: Items available for loan: Castorina (2)Call number: 004.014 A838 1979 IMPA, ... Items available for reference: Castorina: Not For Loan (1)Call number: 004.014 A838 1979 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.
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.

4.
Structure in complexity theory: proceedings of the conference held at the University of California, Berkeley, California, June 2-5, 1986/ edited by Alan L. Selman. by
  • Selman, Alan L
  • Structure in Complexity Theory Conference (1st : 1986 : Berkeley, Calif.)
Series: Lecture notes in computer science ; 223.
Publication details: Berlin ; New York: Springer-Verlag, c1986
Availability: Items available for loan: Castorina (1).

5.
Feasible mathematics: a Mathematical Sciences Institute Workshop, Ithaca, New York, June 1989/ Samuel R. Buss, Philip J. Scott, editors. by
  • Buss, Samuel R
  • Scott, Phillip J
  • Cornell University. Mathematical Sciences Institute
  • Workshop on Feasible Mathematics (1989 : Cornell University)
Series: Progress in computer science and applied logic ; v. 9.
Publication details: Boston: Birkhäuser, 1990
Availability: Items available for loan: Castorina (1)Call number: 510 F288 1990 IMPA.

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

7.
Language computations: DIMACS Workshop on Human Language, March 20-22, 1992/ Eric Sven Ristad, editor. by
  • Ristad, Eric Sven
  • DIMACS Workshop on Human Language (1992 : Princeton University)
Series: DIMACS series in discrete mathematics and theoretical computer science ; v. 17.
Publication details: Providence, R.I.: American Mathematical Society, c1994
Availability: Items available for loan: Castorina (1)Call number: 005.133 L287 1994 IMPA.

8.
Logic and computer science: lectures given at the 1st session of the Centro internazionale matematico estivo (C.I.M.E.) held at Montecatini Terme, Italy, June 20-28, 1988/ S. Homer ... [et al.] ; editor, P. Odifreddi. by
  • Homer, S. (Steven)
  • Odifreddi, Piergiorgio, 1950-
  • Centro Internazionale Matematico Estivo
Series: Lecture notes in mathematics (Springer-Verlag) ; 1429.
Publication details: Berlin; New York: Springer-Verlag, c1990
Availability: Items available for loan: Castorina (1).

9.
10.
Complexity of computer computations;: proceedings./ Editors: Raymond E. Miller and James W. Thatcher. Associate editor: Jean D. Bohlinger. by
  • Miller, Raymond E. (Raymond Edward), 1928- [ed.]
  • Thatcher, James W [ed.]
  • United States. Office of Naval Research. Mathematics Program
  • IBM World Trade Corporation
  • International Business Machines Corporation. Mathematical Sciences Dept
  • Symposium on the Complexity of Computer Computations (1972 : Yorktown Heights, N.Y.))
Series: The IBM research symposia series
Publication details: New York: Plenum Press, 1972
Availability: Items available for loan: Castorina (1)Call number: 519.4 C737 1972 IMPA.

11.
Studies in complexity theory/ Ronald V. Book editor ... [et al.]. by
  • Book, Ronald V
Series: Research notes in theoretical computer science
Publication details: London: New York: Pitman, Wiley, 1986
Availability: Items available for loan: Castorina (1)Call number: 511 S933 1986 IMPA.

12.
Advances in computational complexity theory/ Jin-yi Cai, editor. by
  • Cai, Jin-yi, 1961-
Series: DIMACS series in discrete mathematics and theoretical computer science ; v. 13
Publication details: Providence, R.I.: American Mathematical Society, c1993
Availability: Items available for loan: Castorina (1)Call number: 511.3 A244 1993 IMPA.

13.
Fundamentals of computation theory: FCT '79 : proceedings of the Conference on Algebraic, Arithmetic, and Categorial Methods in Computation Theory held in Berlin/Wendisch-Rietz (GDR), Sept. 17-21, 1979/ ed. by Lothar Budach. by
  • Budach, L. (Lothar), 1935-
  • Conference on Algebraic, Arithmetic, and Categorial Methods in Computation Theory (1979 : Wendisch Rietz, Germany)
Series: Mathematical research ; Bd. 2
Language: engfre
Publication details: Berlin: Akademie-Verlag, 1979
Availability: Items available for loan: Castorina (1)Call number: 511.35 F981 1979 IMPA.

14.
Analytic computational complexity/ edited by J. F. Traub. by
  • Traub, J. F. (Joseph Frederick), 1932-
  • Carnegie-Mellon University. Computer Science Dept
  • Symposium on Analytic Computational Complexity (1975 : Carnegie-Mellon University)
Publication details: New York: Academic Press, 1976
Availability: Items available for loan: Castorina (1)Call number: 519.4 A532 1976 IMPA.

15.
Computational complexity theory/ Juris Hartmanis, editor. by
  • Hartmanis, Juris
  • American Mathematical Society
Series: Proceedings of symposia in applied mathematics ; v. 38. | Proceedings of symposia in applied mathematics
Publication details: Providence, R.I.: American Mathematical Society, c1989
Availability: Items available for loan: Castorina (1)Call number: 511.3 C738 1989 IMPA.

16.
Complexity of computation/ edited by Richard M. Karp. by
  • Karp, Richard M, 1935- [ed.]
  • American Mathematical Society
  • Society for Industrial and Applied Mathematics
Series: SIAM-AMS proceedings ; v. 7.
Publication details: Providence, R.I.: American Mathematical Society, 1974
Availability: Items available for loan: Castorina (1).

17.
Complexity and real computation/ Lenore Blum ... [et al.] ; foreword by Richard M. Karp. by
  • Shub, Michael, 1943-
  • Smale, Stephen, 1930-
  • Cucker, Felipe, 1958-
  • Blum, Lenore
Publication details: New York: Springer, c1998
Availability: Items available for loan: Castorina (1)Call number: 511.3 C737 1998 IMPA.

18.
Proof complexity and feasible arithmetics: DIMACS workshop, April 21-24, 1996/ Paul W. Beame, Samuel R. Buss, editors. by
  • Beame, Paul W, 1959-
  • Buss, Samuel R
  • DIMACS (Group)
  • NSF Science and Technology Center in Discrete Mathematics and Theoretical Computer Science
  • DIMACS Workshop on Feasible Arithmetics and Length of Proofs (1996: Rutgers University)
Series: DIMACS series in discrete mathematics and theoretical computer science ; v. 39
Publication details: Providence, R.I.: American Mathematical Society, c1998
Availability: Items available for loan: Castorina (1)Call number: 511.3 P965 1998 IMPA.

19.
Computational complexity and feasibility of data processing and interval computations/ by Vladik Kreinovich ... [et al.]. by
  • Kreinovich, Vladik
Series: Applied optimization ; vol. 10
Publication details: Dordrecht; Boston: Kluwer Academic, c1998
Availability: Items available for loan: Castorina (1)Call number: 519.40285 C738 1998 IMPA.

20.
Optimal estimation in approximation theory: [proceedings of an International Symposium on Optimal Estimation in Approximation Theory held in Freudenstadt, Federal Republic of Germany, September 27-29, c1976]/ edited by Charles A. Micchelli and Theodore J. Rivlin. by
  • Micchelli, Charles A
  • Rivlin, Theodore J, 1926-
  • International Symposium on Optimal Estimation in Approximation Theory (Freudenstadt, Ger., 1976
Series: The IBM research symposia series
Publication details: New York: Plenum Press, c1977
Availability: Items available for loan: Castorina (1)Call number: 511.4 O62 1977 IMPA.

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


Powered by Koha