CATÁLOGO DE LA BIBLIOTECA DE LA FaMAF

Your search returned 35 results. Subscribe to this search

|
Analizando la forma de estructuras de datos no lineales en memoria dinámica con Separation Logic / Lucas Agustín Rearte.

by Rearte, Lucas Agustín, 1986- | Cherini, Renato, 1981- [dir.] | Blanco, Javier Oscar, 1968- [dir.].

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: [S.l. : s.n. ], 2017Dissertation note: Tesis (Lic. en Ciencias de la Computación)--Universidad Nacional de Córdoba, Facultad de Matemática, Astronomía, Física y Computación, 2017. Online access: Acceso a RDU-UNC Availability: Items available for loan: [Call number: TE C REA] (1).
Simetrías en lógicas de descripción / Giovanni Rescia.

by Rescia, Giovanni, 1989- | Orbe, Alejandro Ezequiel, 1981-.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: [S.l. : s.n. ], 2016Dissertation note: Tesis (Lic. en Ciencias de la Computación)--Universidad Nacional de Córdoba, Facultad de Matemática, Astronomía, Física y Computación, 2017. Online access: Acceso a Versión Digital | RDU-UNC Availability: Items available for loan: [Call number: TE C RES] (1).
Análisis de sentimiento en Twitter : el bueno, el malo y el >:( / Carlos Martín Becerra.

by Becerra, Carlos Martín, 1990- | Alonso i Alemany, Laura, 1977- [dir.].

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: [S.l. : s.n. ], 2016Dissertation note: Tesis (Lic. en Ciencias de la Computación)--Universidad Nacional de Córdoba, Facultad de Matemática, Astronomía, Física y Computación, 2016. Online access: Acceso a Versión Digital | RDU_UNC Availability: Items available for loan: [Call number: TE C BECa] (1).
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).
Quantum computation and quantum information / Michael A. Nielsen & Isaac L. Chuang.

by Nielsen, Michael A, 1974- | Chuang, Isaac L, 1968-.

Edition: 10th anniversary ed.Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge ; New York : Cambridge University, 2010Availability: Items available for loan: [Call number: C F1.2 N669] (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: No items available Checked out (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).
Formalización de la semántica del lenguaje de programacion Lua / Mallku Ernesto Soldevila Raffa.

by Soldevila Raffa, Mallku Ernesto, 1986- | Lima Ventura, Daniel, 1980- [dir.].

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: [S.l. : s.n. ], 2015Dissertation note: Tesis (Lic. en Cs. 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 SOL] (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).
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).
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).
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).
Algorithms and data structures : Proceedings / ed. Selim G. Akl, Frank Dehne.

by WADS '95 (4º : 1995 : Kingston, Canada) | Akl, Selim G, 1948- [ed.] | Dehne, Frank [ed.].

Material type: book Book Publisher: Berlin : Springer, 1995Availability: Items available for loan: [Call number: C LNCS v. 955] (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

publicofamaf@gmail.com