Refinar su búsqueda

Su búsqueda retornó 92 resultados.

Ordenar
Resultados
61.
62.
63.
Automata implementation / ed. Darrell Raymond, Derick Wood, Sheng Yu. por Series Lecture notes in computer science ; v. 1260 | LNCS ; v. 1260
Detalles de publicación: Berlin : Springer, 1997
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C LNCS v. 1260 .
64.
Rewriting techniques and applications / edited by Hubert Comon. por Series Lecture notes in computer science ; v. 1232 | LNCS ; v. 1232
Detalles de publicación: Berlin : Springer, 1997
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C LNCS v. 1232 .
65.
Logic foundations of computer science / edited by Sergei Adian, Anil Nerode. por Series Lecture notes in computer science ; v. 1234 | LNCS ; v. 1234
Detalles de publicación: Berlin : Springer, 1997
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C LNCS v. 1234 .
66.
67.
New trends in formal languages : control, cooperation and combinatorics / ed. Gheorghe Paun, Arto Salomaa. por Series Lecture notes in computer science ; LNCS ; v. 1218
Detalles de publicación: Berlin : Springer, 1997
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C LNCS v. 1218 .
68.
69.
70.
71.
72.
73.
Reasoning with logic programming / José Júlio Alferes, Luís Moniz Pereira. por Series Lecture notes in computer science ; v. 1111 | Lecture notes in computer science. Lecture notes in artificial inteligence
Detalles de publicación: Berlin : Springer, 1996
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C LNAI v. 1111 .
74.
75.
Rewriting techniques and applications / edited by Harald Ganzinger. por Series Lecture notes in computer science ; v. 1103 | LNCS ; v. 1103
Detalles de publicación: Berlin : Springer, 1996
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C LNCS v. 1103 .
76.
Programming languages and systems-ESOP'96 / edited by Hanne Riis Nielson. por Series Lecture notes in computer science ; v. 1058 | LNCS ; v. 1058
Detalles de publicación: Berlin : Springer, 1996
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C LNCS v. 1058 .
77.
Computer science logic / edited by Hans Kleine Büning. por Series Lecture notes in computer science ; v. 1092 | LNCS ; v. 1092
Detalles de publicación: Berlin : Springer, 1996
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C LNCS v. 1092 .
78.
79.
SOFSEM'95 : theory and practice / edited by Miroslav Bartosek, Jan Staudek, Jiri Wiedermann. por Series Lecture notes in computer science ; v. 1012 | LNCS ; v. 1012
Detalles de publicación: Berlin : Springer, 1995
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C LNCS v. 1012 .
80.
Graph-theoretic concepts in computer science / edited by Manfred Nagl. por Series Lecture notes in computer science ; v. 1017 | LNCS ; v. 1017
Detalles de publicación: Berlin : Springer, 1995
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C LNCS v. 1017 .
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)