Refine your search

Your search returned 64 results.

Sort
Results
21.
The discrepancy method: randomness and complexity/ Bernard Chazelle. by
  • Chazelle, B. (Bernard)
Publication details: Cambridge, UK: New York: Cambridge University Press, 2000
Availability: Items available for loan: Castorina (1)Call number: 512.7 C513d 2000 IMPA.

22.
In pursuit of the traveling salesman: mathematics at the limits of computation/ William J. Cook. by
  • Cook, William, 1957-
Publication details: Princeton, N.J.: Princeton University Press, c2012
Availability: Items available for loan: Castorina (1)Call number: 511.5 C771i 2012 IMPA.

23.
The complexity of Boolean networks/ Paul E. Dunne. by
  • Dunne, Paul E
Series: A.P.I.C. studies in data processing ; no. 29
Publication details: London: San Diego: Academic Press, 1988
Availability: Items available for loan: Castorina (1)Call number: 511.324 D923c 1988 IMPA.

24.
Computational topology: an introduction/ Herbert Edelsbrunner, John L. Harer. by
  • Edelsbrunner, Herbert
  • Harer, J. (John), 1952-
Publication details: Providence, R.I.: American Mathematical Society, c2010
Availability: Items available for loan: Castorina (1)Call number: 514 E22c 2010 IMPA.

25.
Introduction a la résolution des systèmes polynomiaux/ Mohamed Elkadi, Bernard Mourrain. by
  • Elkadi, Mohamed
  • Mourrain, Bernard
Series: Mathématiques & applications ; 59,
Publication details: Berlin; New York: Springer, c2007
Availability: Items available for loan: Castorina (1)Call number: 512.9422 E43i 2007 IMPA.

26.
The computational complexity of logical theories/ Jeanne Ferrante, Charles W. Rackoff. by
  • Ferrante, Jeanne, 1949-
  • Rackoff, Charles W, 1948- [joint author.]
Series: Lecture notes in mathematics (Springer-Verlag) ; 718.
Publication details: Berlin: New York: Springer-Verlag, 1979
Availability: Items available for loan: Castorina (1).

27.
Computers and intractability: a guide to the theory of NP-completeness/ Michael R. Garey, David S. Johnson. by
  • Garey, Michael R
  • Johnson, David S, 1945- [joint author.]
Series: Series of books in the mathematical sciences
Publication details: San Francisco: W.H. Freeman, c1979
Availability: Items available for loan: IMPATECH (2)Call number: 005 G229c 1979 IMPA TECH, ...

28.
A primer on pseudorandom generators/ Oded Goldreich. by
  • Goldreich, Oded
Series: University lecture series ; v. 55.
Publication details: Providence, R.I.: American Mathematical Society, c2010
Availability: Items available for loan: Castorina (1)Call number: 004.015 G621p 2010 IMPA.

29.
Coping with complexity: perspectives for economics, management, and social sciences/ Hans W. Gottinger. by
  • Gottinger, Hans-Werner
Series: Theory and decision library ; v. 33.
Publication details: Dordrecht, Holland ; Boston: Hingham, MA: D. Reidel, Sold and distributed in the U.S.A. and Canada by Kluwer Academic, c1983
Availability: Items available for loan: Castorina (1)Call number: 300.1 G686c 1983 IMPA .

30.
Feasible computations and provable complexity properties/ Juris Hartmanis. by
  • Hartmanis, Juris
Series: CBMS-NSF Regional conference series in applied mathematics ; 30.
Publication details: Philadelphia: SIAM, 1978
Availability: Items available for loan: Castorina (1).

31.
Labyrinth problems: labyrinth-searching abilities of automata/ Armin Hemmerling. by
  • Hemmerling, Armin, 1948-
Series: Teubner-Texte zur Mathematik ; Bd. 114.
Edition: 1. Aufl.
Language: English Summary language: fregerrus
Publication details: Leipzig: Teubner, c1989
Availability: Items available for loan: Castorina (1)Call number: 005.1 H489l 1989 IMPA.

32.
Interior point approach to linear, quadratic, and convex programming: algorithms and complexity/ D. den Hertog. by
  • Hertog, D. den
Series: Mathematics and its applications ; v. 277.
Publication details: Dordrecht: Boston: Kluwer Academic, c1994
Availability: Items available for loan: Castorina (1)Call number: 519.7 H574i 1994 IMPA.

33.
Introduction to automata theory, languages, and computation/ John E. Hopcroft, Jeffrey D. Ullman. by
  • Hopcroft, John E, 1939-
  • Ullman, Jeffrey D, 1942- [joint author.]
Series: Addison-Wesley series in computer science and information processing
Publication details: Reading, Mass.: Addison-Wesley, c1979
Availability: Items available for loan: Castorina (1)Call number: 004.015 H791i 1979 IMPA.

34.
Counting, sampling and integrating: algorithms and complexity/ Mark Jerrum. by
  • Jerrum, Mark, 1955-
Series: Lectures in mathematics ETH Zürich
Publication details: Basel: Boston: Birkhäuser Verlag, c2003
Availability: Items available for loan: Castorina (1)Call number: 511.62 J56c 2003 IMPA.

35.
Forcing with random variables and proof complexity/ Jan Krajicek. by
  • Krajícek, Jan
Series: London Mathematical Society lecture note series ; 382.
Publication details: Cambridge, UK; New York: Cambridge University Press, 2011
Online access:
Availability: Items available for loan: Castorina (1)Call number: 511.3 K89f 2011 IMPA.

36.
Proof complexity/ Jan Krajícek, Charles University, Prague. by
  • Krajícek, Jan [author.]
Series: Encyclopedia of mathematics and its applications ; v. 170.
Publisher: Cambridge, United Kingdom; New York, NY: Cambridge University Press, 2019
Availability: Items available for loan: Castorina (1)Call number: 511.3 K89p 2019 IMPA.

37.
Computational complexity of bilinear forms: algebraic coding theory and applications of digital communication systems/ Hari Krishna. by
  • Krishna, Hari, 1960-
Series: Lecture notes in control and information sciences ; 94
Publication details: Berlin: New York: Springer-Verlag, 1987
Availability: Items available for loan: Castorina (1).

38.
Geometry and complexity theory/ J.M. Landsberg, Texas A & M University. by
  • Landsberg, J. M [author.]
Series: Cambridge studies in advanced mathematics ; 169.
Publisher: Cambridge, United Kingdom; New York, NY, USA: Cambridge University Press, 2017
Availability: Items available for loan: Castorina (1)Call number: 516.35 L263g 2017 IMPA.

39.
Combinatorial optimization: networks and matroids/ Eugene L. Lawler. by
  • Lawler, Eugene L
Publication details: New York: Holt, Rinehart and Winston, c1976
Availability: Items available for loan: Castorina (2)Call number: 519.7 L418c 1976 IMPA, ...

40.
Infectious Disease Modeling: a Hybrid System Approach/ by Xinzhi Liu, Peter Stechlinski. by
  • Liu, Xinzhi
  • Stechlinski, Peter
Series: Nonlinear Systems and Complexity
Publication details: Cham, Switzerland: Springer International Publishing, Springer, 2017
Online access:
Availability: Items available for loan: Castorina (1)Call number: 616.015 L783i 2017 IMPA .

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


Powered by Koha