Su búsqueda retornó 40 resultados.

Ordenar
Resultados
21.
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 .
22.
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 .
23.
24.
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 .
25.
26.
27.
28.
29.
30.
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 .
31.
32.
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 .
33.
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 .
34.
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 .
35.
36.
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 .
37.
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 .
38.
39.
40.
Formal methods at the crossroads : from panacea to foundational support / ed. Bernhard K. Aichernig, Thomas S. E. Maibaum. por Series Lecture notes in computer science, LNCS ; v. 2757
Detalles de publicación: Berlin : Springer, 2003
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C LNCS v. 2757 .
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)