CATÁLOGO DE LA BIBLIOTECA

Your search returned 37 results. Subscribe to this search

|
Finite model theory and computational complexity / Xavier Caicedo.

by Caicedo, Xavier.

Material type: book 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.

by Harper, Robert.

Material type: book 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 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 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.

by Geroch, Robert, 1942-.

Material type: book 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 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 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 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 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 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 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 Book; Format: print ; Literary form: Not fiction Publisher: New York : Academic Press, 1980Availability: Items available for loan: [Call number: M 03 F723 ] (1).
Introduction to automata theory, languages, and computation / John E. Hopcroft, Jeffrey D. Ullman.

by Hopcroft, John E, 1939- | Ullman, Jeffrey D, 1942-.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Reading, Mass. : Addison-Wesley, 1979Availability: Items available for loan: [Call number: C C1.3 H791i ] (2).
The language of first-order logic : Jon Barwise, John Etchemendy. ncluding the IBM-compatible Windows version of Tarski's world 4.0 /

by Barwise, Jon, 1942-2000 | Etchemendy, John, 1952-.

Edition: 3a. ed. rev. and aum.Material type: book 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 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 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 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 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 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 Book Publisher: Berlin : Springer, 1995Availability: Items available for loan: [Call number: C LNCS v. 972 ] (1).

Horario de la Biblioteca: lunes a viernes de 8:30 a 18:00hs

Av. Medina Allende s/n , Ciudad Universitaria, Córdoba, Argentina

Tel: +54 351 5353701 int. 41127(Atención al Público) int. 41151(Dirección)

biblio@famaf.unc.edu.ar