Periódicos correntes

Your search returned 17 results.

Results
	1.	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. Found in Open Library: Place hold Add to cart (remove)
	2.	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). Found in Open Library: Place hold Add to cart (remove)
	3.	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. Found in Open Library: Place hold Add to cart (remove)
	4.	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. Found in Open Library: Place hold Add to cart (remove)
	5.	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). Found in Open Library: Place hold Add to cart (remove)
	6.	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. Found in Open Library: Place hold Add to cart (remove)
	7.	No cover image available No cover image available 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. Found in Open Library: Place hold Add to cart (remove)
	8.	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. Found in Open Library: Place hold Add to cart (remove)
	9.	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). Found in Open Library: Place hold Add to cart (remove)
	10.	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. Found in Open Library: Place hold Add to cart (remove)
	11.	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. Found in Open Library: Place hold Add to cart (remove)
	12.	Descriptive complexity and finite models: proceedings of a DIMACS workshop, January 14-17, 1996, Princeton University/ Neil Immerman, Phokion G. Kolaitis, editor. by Immerman, Neil, 1953- Kolaitis, Phokion DIMACS Workshop on Descriptive Complexity and Finite Models (1996: Princeton University) Series: DIMACS series in discrete mathematics and theoretical computer science ; v. 31 Publication details: Providence, R.I.: American Mathematical Society, c1997 Availability: Items available for loan: Castorina (1)Call number: 511.3 D449 1997 IMPA. Found in Open Library: Place hold Add to cart (remove)
	13.	Complex systems/ edited by Eric Goles and Servet Martínez. by Goles, E Martínez, Servet Summer School on Complex Systems (6th: 1998: Santiago, Chile) Series: Nonlinear phenomena and complex systems ; v. 6 Publication details: Dordrecht; Boston: Kluwer Academic, c2001 Availability: Items available for loan: Castorina (1)Call number: 515.39 C737 2001 IMPA. Found in Open Library: Place hold Add to cart (remove)
	14.	Boolean function complexity/ edited by M.S. Paterson. by Paterson, Michael S Series: London Mathematical Society lecture note series ; 169 Publication details: Cambridge, UK; New York: Cambridge University Press, 1992 Online access: Publisher description Table of contents Availability: Items available for loan: Castorina (1)Call number: 511.324 B724 1992 IMPA. Found in Open Library: Place hold Add to cart (remove)
	15.	Harmonic analysis, signal processing, and complexity: festschrift in honor of the 60th birthday of Carlos A. Berenstein/ Irene Sabadini, Daniele C. Struppa, David F. Walnut, editors. by Berenstein, Carlos A Sabadini, Irene, 1965- Struppa, Daniele Carlo, 1955- Walnut, David F Series: Progress in mathematics ; v. 238. Publication details: Boston: Birkhäuser, c2005 Availability: Items available for loan: Castorina (1)Call number: 515.243 H288 2005 IMPA. Found in Open Library: Place hold Add to cart (remove)
	16.	Computational group theory and the theory of groups: AMS Special Session on Computational Group Theory, March 3-4, 2007, Davidson College, Davidson, North Carolina/ Luise-Charlotte Kappe, Arturo Magidin, Robert Fitzgerald Morse, editors. by AMS Special Session on Computational Group Theory (2007: Davidson College) Kappe, Luise-Charlotte Magidin, Arturo Morse, Robert Fitzgerald Series: Contemporary mathematics (American Mathematical Society) ; v. 470. Publication details: Providence, R.I.: American Mathematical Society, c2008 Availability: Items available for loan: Castorina (1). Found in Open Library: Place hold Add to cart (remove)
	17.	Logic and machines: decision problems and complexity : Proceedings of the Symposium "Rekursive Kombinatorik" held from May 23-28, 1983 at the Institut für Mathematische Logik und Frundlagenforschung der UniversitÌat Münster/Westfalen/ edited by E. Börger, G. Hasenjaeger, and D. Rödding. by Symposium "Rekursive Kombinatorik" (1983 : Institut für Mathematische Logik und Grundlagenforschung der Universität Münster/Westfalen) Borger, E. (Egon), 1946- Hasenjaeger, G. (Gisbert), 1919- Rödding, D. (Dieter), 1937- Series: Lecture notes in computer science ; 171. Publication details: Berlin ; New York: Springer-Verlag, 1984 Availability: Items available for loan: Castorina (1). Found in Open Library: Place hold Add to cart (remove)

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

Powered by Koha