Your search returned 72 results.

Sort
Results
41.
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.

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

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

44.
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, ...

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

46.
Foundations of Generic Optimization [electronic resource]: Volume 2: Applications of Fuzzy Control, Genetic Algorithms and Neural Networks/ edited by Robert Lowen, Alain Verschoren. by
  • Lowen, Robert
  • Verschoren, Alain
  • SpringerLink (Online service)
Series: Mathematical Modelling: Theory and Applications ; 24
Source: Springer eBooks
; Format: electronic available online remote
Publication details: Dordrecht ;: Springer, 2008
Availability: No items available.

47.
The nature of computation/ Cristopher Moore, Stephan Mertens. by
  • Moore, Cristopher
  • Mertens, Stephan
Publication details: New York; Oxford: Oxford University Press, 2011
Other title:
  • Computation
Availability: Items available for loan: Castorina (1)Call number: 004.015 M821n 2011 IMPA.

48.
Combinatorial optimization: algorithms and complexity/ Christos H. Papadimitriou, Kenneth Steiglitz. by
  • Papadimitriou, Christos H
  • Steiglitz, Kenneth, 1939-
Publication details: Englewood Cliffs, N.J.: Prentice-Hall, c1982
Availability: Items available for loan: Castorina (1)Call number: 511.6 P213c 1982 IMPA.

49.
The Steiner tree problem: a tour through graphs, algorithms, and complexity/ Hans Jürgen Prömel, Angelika Steger. by
  • Prömel, H. J
  • Steger, Angelika
Series: Advanced lectures in mathematics
Edition: 1st ed.
Publication details: Braunschweig: Vieweg, 2002
Availability: Items available for loan: Castorina (1)Call number: 511.5 P965s 2002 IMPA.

50.
Substitutions in dynamics, arithmetics, and combinatorics/ N. Pytheas Fogg ; editors, V. Berthé ... [et al.]. by
  • Pytheas Fogg, N
  • Berthé, V. (Valérie), 1957-
Series: Lecture notes in mathematics (Springer-Verlag) ; 1794.
Publication details: Berlin; New York: Springer, c2002
Availability: Items available for loan: Castorina (1).

51.
The pillars of computation theory: state, encoding, nondeterminism/ Arnold L. Rosenberg. by
  • Rosenberg, Arnold L, 1941-
Series: Universitext
Publication details: New York: Springer, c2010
Availability: Items available for loan: Castorina (1)Call number: 004.015 R813p 2010 IMPA.

52.
Computation and automata/ Arto Salomaa. by
  • Salomaa, Arto
Series: Encyclopedia of mathematics and its applications ; v. 25
Publication details: Cambridge, UK: New York: Cambridge University Press, 1985
Availability: Items available for loan: Castorina (1)Call number: 005.015 S173c 1985 IMPA.

53.
Die Baumweite von Graphen als ein Mass für die Kompliziertheit algorithmischer Probleme/ Petra Scheffler ; eingereicht von W. Schade. by
  • Scheffler, Petra
Series: Report (Karl-Weierstrass-Institut fur Mathematik) ; R-Math-89/04.
Language: German Summary language: English
Publication details: Berlin: Akademie der Wissenschaften der DDR, Karl-Weierstrass-Institut für Mathematik, 1989
Availability: Items available for loan: Castorina (1)Call number: 511.5 IMPA.

54.
Kolmogorov complexity and algorithmic randomness/ A. Shen, V.A. Uspensky, N. Vereshchagin. by
  • Shen, A. (Alexander), 1958-
  • Uspensky, V. A. (Vladimir Andreevich)
  • Vereshchagin, Nikolai Konstantinovich, 1958-
Series: Mathematical surveys and monographs ; no. 220.
Publisher: Providence, Rhode Island: American Mathematical Society, [2017]
Availability: Items available for loan: Castorina (1)Call number: 511.342 S546k 2017 IMPA.

55.
Coding theory and bilinear complexity/ Salahoddin Shokranian, Mohammad Amin Shokrollahi. by
  • Shokranian, Salahoddin, 1948-
  • Shokrollahi, Mohammad Amin
Series: Scientific Series of the International Bureau ; v. 21
Publication details: Jülich [Germany]: Forschungzentrum Jülich, c1993
Availability: Items available for loan: Castorina (1)Call number: 003.54 S559c 1993 IMPA.

56.
Cryptographic applications of analytic number theory: complexity lower bounds and pseudorandomness/ Igor Shparlinski. by
  • Shparlinski, Igor E
Series: Progress in computer science and applied logic ; v. 22
Publication details: Basel; Boston: Birkhäuser Verlag, c2003
Availability: Items available for loan: Castorina (1)Call number: 512.73 S559c 2003 IMPA.

57.
Introduction to the theory of computation/ Michael Sipser. by
  • Sipser, Michael
Edition: 3rd ed.
Publication details: Australia; México: Cengage Learning PTR, 2013
Other title:
  • Computation
Availability: Items available for reference: Castorina: Not For Loan (2).

58.
Introduction to the theory of computation/ Michael Sipser. by
  • Sipser, Michael
Edition: 3rd ed.
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Australia; México: Cengage Learning PTR, 2013
Other title:
  • Computation
Availability: Items available for loan: Castorina (3)Call number: 004.015 S618i 2013 IMPA, ...

59.
Turing machines with sublogarithmic space/ Andrzej Szepietowski. by
  • Szepietowski, Andrzej
Series: Lecture notes in computer science ; 843.
Publication details: Berlin ; New York: Springer-Verlag, c1994
Availability: Items available for loan: Castorina (1).

60.
Complexity and cryptography: an introduction/ John Talbot, Dominic Welsh. by
  • Talbot, John, 1974-
  • Welsh, D. J. A
Publication details: Cambridge, UK: Cambridge University Press, 2006
Availability: Items available for loan: Castorina (1)Call number: 005.82 T139c 2006 IMPA.

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


Powered by Koha