Source: http://famaf.biblio.unc.edu.ar/cgi-bin/koha/opac-search.pl?q=(su%3A%7BTeor%C3%ADa%20de%20la%20computaci%C3%B3n.%7D)
Timestamp: 2019-04-20 18:22:17+00:00

Document:
Finite model theory and computational complexity / Xavier Caicedo.
Material type: Book; Format: print ; Literary form: Not fiction Publisher: Bogotá, Colombia : Universidad de los Andes. Departamento de Matemática, 1995Availability: Items available for loan: [Call number: M 68 C133] (1).
Practical foundations for programming languages / Robert Harper.
Material type: Book; Format: print ; Literary form: Not fiction Publisher: Cambridge ; ; New York : Cambridge University, 2013Availability: Items available for loan: [Call number: C D3 H293] (1).
Lógicas modales con datos infinitos / Gisela C. Rossi.
by Rossi, Gisela Carla, 1990- | Areces, Carlos Eduardo, 1971- [ dir.].
Material type: Book; Format: print ; Literary form: Not fiction Publisher: [S.l. : s.n. ], 2015Dissertation note: Tesis (Lic. en Ciencias de la Computación)--Universidad Nacional de Córdoba, Facultad de Matemática, Astronomía y Física, 2015. Online access: Acceso a Versión Digital | Acceso RDU-UNC Availability: Items available for loan: [Call number: TE C ROS] (1).
Aplicación de redes neuronales en la clasiificación de imágenes / Florencia Mihaiich.
by Mihaich, Florencia, 1987- | Bustos, Oscar Humberto, 1947- [dir.].
Material type: Book; Format: print ; Literary form: Not fiction Publisher: [S.l. : s.n. ], 2014Dissertation note: Tesis (Lic. en Cs. de la Computación)--Universidad Nacional de Córdoba, Facultad de Matemática, Astronomía y Física, 2014. Online access: Acceso a Versión Digital Availability: Items available for loan: [Call number: TE C MIH] (1).
Perspectives in computation / Robert Geroch.
Material type: Book; Format: print ; Literary form: Not fiction Publisher: Chicago : University of Chicago, c2009Availability: Items available for loan: [Call number: C F G377] (1).
No determinismo completamente medible en procesos probabilisticos continuos / Carlos Esteban Budde.
by Budde, Carlos Esteban, 1988- | D'Argenio, Pedro Ruben, 1968- [dir.] | Sánchez Terraf, Pedro Octavio, 1979- [dir.].
Material type: Book; Format: print ; Literary form: Not fiction Publisher: [S.l. : s.n. ], 2012Dissertation note: Tesis (Lic. en Ciencias de la Computación)--Universidad Nacional de Córdoba, Facultad de Matemática, Astronomía y Física, 2012. Online access: Acceso a Versión Digital Availability: Items available for loan: [Call number: TE C BUD] (1).
Automata, languages and programming : 34th international colloquium, ICALP 2007, Wrocأaw, Poland, July 9-13, 2007 : proceedings / Lars Arge ... [et al.] (eds.).
by International Colloquium on Automata, Languages and Programming (34th : 2007 : Wroclaw, Poland) | Arge, Lars [ed.] | Cachin, Christian [ed.] | Jurdziński, Tomasz [ed.] | Tarlecki, Andrzej [ed.] | European Association for Theoretical Computer Science.
Material type: Book; Format: print ; Literary form: Not fiction Publisher: Berlin ; New York : Springer, c2007Online access: Restricted to SpringerLink subscribers Availability: Items available for loan: [Call number: C LNCS v. 4596] (1).
Automata, languages and programming : 35th international Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, proceedings, part I-II / Luca Aceto ... [et al.] (eds.).
by international Colloquium on Automata, Languages and Programming (35th : 2008 : Reykjavik, Iceland) | Aceto, Luca [ed.] | Damgard, Ivan [ed.] | Goldberg, Leslie Ann [ed.] | Halldórsson, Magnús M [ed.] | Ingólfsdóttir, Anna [ed.] | Walukiewicz, Igor [ed.].
Material type: Book; Format: print ; Literary form: Not fiction Publisher: New York : Springer, 2008Availability: Items available for loan: [Call number: C LNCS v. 5125 pte.I] (2).
Symbolic and algebraic computation / ed. Patrizia Gianni.
by International Symposium on Symbolic and Algebraic Computation (13º : 1988 : Roma) | Gianni, Patrizia, 1952- [ed.,].
Material type: Book Publisher: Berlin : Springer, 1989Availability: Items available for loan: [Call number: C LNCS v. 358 ] (1).
Mathematical foundations of computer science 1977 : Proceedings / ed. Jozef Gruska.
by Symposium on Mathematical Foundations of Computer Science (6º : 1977 : Tatranská Lomnica, Czechoslovakia) | Gruska, Jozef, 1933- [ed.].
Material type: Book Publisher: Berlin : Springer, 1977Availability: Items available for loan: [Call number: C LNCS v. 53 ] (1).
Estructuras algebraicas / Lía Oubiña, Rubén Zucchello.
by Oubiña, Lía | Zucchello, Rubén.
Material type: Book; Format: print ; Literary form: Not fiction Publisher: La Plata : Exacta, 1994Availability: Items available for loan: [Call number: M 06 O93 ] (3).
Formal language theory : perspectives and open problems / edited by Ronald V. Book.
by Book, Ronald V [ed.].
Material type: Book; Format: print ; Literary form: Not fiction Publisher: New York : Academic Press, 1980Availability: Items available for loan: [Call number: M 03 F723 ] (1).
by Barwise, Jon, 1942-2000 | Etchemendy, John, 1952-.
Edition: 3a. ed. rev. and aum.Material type: Book; Format: print ; Literary form: Not fiction Publisher: Stanford : Centre for the study of language and information, 1992Availability: Items available for loan: [Call number: M 03 B296 ] (1).
Theoretical foundations of computer science / Dino Mandrioli, Carlo Ghezzi.
by Mandrioli, Dino | Ghezzi, Carlo, 1946-.
Material type: Book; Format: print ; Literary form: Not fiction Publisher: New York : Wiley J., 1987Availability: Items available for loan: [Call number: C F0 M273] (1).
Structural complexity / José Luis Balcázar, Josep Díaz, Joaquim Gabarró.
by Balcázar, José Luis | Díaz, Josep, 1950- | Gabarró, Joaquim.
Material type: Book Publisher: Berlin : Springer, 1995Availability: Items available for loan: [Call number: C F2 B174 v.2] (2).
Algebra VI : combinatorial and asymptotic methods of algebra : Non-associative structures / ed. Aleksei Ivanovich Kostrikin, Igor Rostislavovich Shafarevich.
by Kostrikin, Aleksei Ivanovich [ed.] | Shafarevich, Igor Rostislavovich, 1923- [ed.,].
Material type: Book Publisher: Berlin : Springer, 1995Availability: Items available for loan: [Call number: M 17 A394 v.6] (1).
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-.
Material type: Book; Format: print ; Literary form: Not fiction Publisher: New York : Freeman W. H., 1979Availability: Items available for loan: [Call number: C F2 G229 ej.2] (2).
Fundamentals of computation theory : 0th international conference, FCT '95, Dresden, Germany, August 1995 : proceedings / ed. Horst Reichel.
by FCT '95 (10º : 1995 : Dresden, Germany) | Reichel, Horst [ed.].
Material type: Book Publisher: Berlin : Springer, 1995Availability: Items available for loan: [Call number: C LNCS v. 965 ] (1).
Distributed algorithms : Proceedings / ed. Jean-Michel Hélary, Michel Raynal.
by International Workshop on Distributed Algorithms (9º : 1995 : Le-Mont Saint-Michel, France) | Hélary, Jean-Michel [ed.] | Raynal, Michel [ed.].
Material type: Book Publisher: Berlin : Springer, 1995Availability: Items available for loan: [Call number: C LNCS v. 972 ] (1).

References: v. 
 v. 
 v. 
 v. 
 V. 
 v. 
 v.