Results of search for 'ccl=an:43792' › IMPA Library catalog

Results
	21.	Theories of computational complexity/ Christian Calude. by Calude, Cristian, 1952- Series: Annals of discrete mathematics ; 35. Publication details: Amsterdam ; New York: New York: North-Holland, Sole distributors for the U.S.A. and Canada, Elsevier Science, 1988 Availability: Items available for loan: Castorina (1)Call number: 511.3 C166t 1988 IMPA. Found in Open Library: Place hold Add to cart (remove)
	22.	Cellular automata and groups/ Tullio Ceccherini-Silberstein, Michel Coornaert. by Ceccherini-Silberstein, Tullio Coornaert, M. (Michel) Series: Springer monographs in mathematics Publication details: Heidelberg: Springer, 2010 Online access: Table of contents Table of contents Inhaltstext Availability: Items available for loan: Castorina (1)Call number: 511.3 C388c 2010 IMPA. Found in Open Library: Place hold Add to cart (remove)
	23.	The unknowable/ by Gregory J. Chaitin. by Chaitin, Gregory J Series: Springer series in discrete mathematics and theoretical computer science Publication details: Singapore; New York: Springer, c1999 Availability: Items available for loan: Castorina (1)Call number: 511.3 C435u 1999 IMPA. Found in Open Library: Place hold Add to cart (remove)
	24.	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. Found in Open Library: Place hold Add to cart (remove)
	25.	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. Found in Open Library: Place hold Add to cart (remove)
	26.	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. Found in Open Library: Place hold Add to cart (remove)
	27.	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. Found in Open Library: Place hold Add to cart (remove)
	28.	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. Found in Open Library: Place hold Add to cart (remove)
	29.	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). Found in Open Library: Place hold Add to cart (remove)
	30.	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: Castorina (2). Found in Open Library: Place hold Add to cart (remove)
	31.	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. Found in Open Library: Place hold Add to cart (remove)
	32.	Graphs, Dioids and Semirings [electronic resource]: New Models and Algorithms/ by Michel Gondran, Michel Minoux. by Gondran, Michel Minoux, Michel SpringerLink (Online service) Series: Operations Research/Computer Science Interfaces ; 41 Source: Springer eBooks ; Format: electronic available online Publication details: Boston: Springer US, 2008 Online access: Click here to access online Availability: No items available. Found in Open Library: Add to cart (remove)
	33.	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 . Found in Open Library: Place hold Add to cart (remove)
	34.	Building Bridges [electronic resource]: Between Mathematics and Computer Science/ edited by Martin Grötschel, Gyula O. H. Katona, Gábor Sági. by Grötschel, Martin Katona, Gyula O. H Sági, Gábor SpringerLink (Online service) Series: Bolyai Society Mathematical Studies ; 19 Source: Springer eBooks ; Format: electronic available online Publication details: Berlin, Heidelberg: Springer Berlin Heidelberg, 2008 Online access: Click here to access online Availability: No items available. Found in Open Library: Add to cart (remove)
	35.	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). Found in Open Library: Place hold Add to cart (remove)
	36.	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. Found in Open Library: Place hold Add to cart (remove)
	37.	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. Found in Open Library: Place hold Add to cart (remove)
	38.	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. Found in Open Library: Place hold Add to cart (remove)
	39.	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 Online access: Publisher description Table of contents only Availability: Items available for loan: Castorina (1)Call number: 511.62 J56c 2003 IMPA. Found in Open Library: Place hold Add to cart (remove)
	40.	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: Cover image Availability: Items available for loan: Castorina (1)Call number: 511.3 K89f 2011 IMPA. Found in Open Library: Place hold Add to cart (remove)

Refine your search

Availability

Authors

Collections

Holding libraries

Item types

Locations

Series

Topics

Your search returned 72 results.