Refinar su búsqueda

Su búsqueda retornó 37 resultados.

Ordenar
Resultados
21.
CONCUR - 1995 : Concurrency theory : Proceedings / ed. Insup Lee, Scott A. Smolka. por Series Lecture notes in computer science ; v. 962 | LNCS ; v. 962
Detalles de publicación: Berlin : Springer, 1995
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C LNCS v. 962.
22.
Logic and computational complexity : selected papers / ed. Daniel Leivant. por Series Lecture notes in computer science ; v. 960 | LNCS ; v. 960
Detalles de publicación: Berlin : Springer, 1995
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C LNCS v. 960 .
23.
Algorithms and data structures : Proceedings / ed. Selim G. Akl, Frank Dehne. por Series Lecture notes in computer science ; v. 955 | LNCS ; v. 955
Detalles de publicación: Berlin : Springer, 1995
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C LNCS v. 955.
24.
Trees in algebra and programming - CAAP'96 : 21st international colloquium, Linköping, Sweden, April 22-24, 1996 : proceedings / ed. Hélène Kirchner. por Series Lecture notes in computer science ; v. 1059 | LNCS ; v. 1059
Detalles de publicación: Berlin : Springer, 1996
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C LNCS v. 1059 .
25.
Computation theory and logic / ed. Egon Börger. por Series Lecture notes in computer science ; LNCS ; v. 270
Detalles de publicación: Berlin : Springer, 1987
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C LNCS v. 270 .
26.
27.
28.
Handbook of theoretical computer science / ed. Jan van Leeuwen. por
Detalles de publicación: Amsterdam : Elsevier, 1992
Disponibilidad: Ítems disponibles para préstamo: FaMAF (2)Signatura topográfica: C F0 H236 v.A, ...
29.
Foundations of computer science : C edition / Alfred V. Aho, Jeffrey D. Ullman. por Series Principles of computer science series
Detalles de publicación: New York : Computer science, 1998
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C F0 A286 .
30.
31.
32.
33.
34.
35.
Combinatorial group theory / Roger C. Lyndon, Paul E. Schupp. por Series Classics in mathematics
Detalles de publicación: Berlin : Springer, 2001
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: M 20 L988c .
36.
Estudio algebráico del operador "if-then-else" / Gabriel Gastón Infante-Lopez. por
Detalles de publicación: [S.l. : s.n.], 1999
Nota de disertación: Tesis (Lic. en Computación)--Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía y Física, 1999.
Disponibilidad: Ítems disponibles para préstamo: FaMAF (2)Signatura topográfica: TE C INF ej.2, ...
37.
Especificación de álgebras con equality - test / Gabriela Martín ; dir. por Héctor Gramaglia. por
Detalles de publicación: [S.l. : s.n. ], 1999
Nota de disertación: Tesis (Lic. en Matemática)--Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía y Física, 1999.
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: Trabajo Especial Matemática CAJA 11 - 13848.
Páginas


Nuestras Redes Sociales

facebook Instagram

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

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 (Dirección)

publicofamaf@gmail.com (Atención al público)