Refinar su búsqueda

Su búsqueda retornó 88 resultados.

Ordenar
Resultados
61.
62.
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 .
63.
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 .
64.
65.
66.
67.
68.
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 .
69.
70.
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 .
71.
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 .
72.
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 .
73.
74.
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 .
75.
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 .
76.
77.
Modal logic / Patrick Blackburn, Maarten de Rijke, Yde Venema. por Series Cambridge tracts in theoretical computer science ; 53
Detalles de publicación: Cambridge, UK : Cambridge University, 2001
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C F4 B628 .
78.
79.
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 .
80.
Basic proof theory / Anne Sjerp Troelstra, Helmut Schwichtenberg. por Series Cambridge tracts in theoretical computer science ; 43
Edición: 2a. ed.
Detalles de publicación: Cambridge : Cambridge University, 2000
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C F4 T843 .
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)