Refinar su búsqueda

Su búsqueda retornó 110 resultados.

Ordenar
Resultados
81.
82.
83.
84.
85.
86.
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 .
87.
88.
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 .
89.
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 .
90.
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 .
91.
92.
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 .
93.
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 .
94.
95.
Introducción a la teoría de autómatas, lenguajes y computación / John E. Hopcroft, Jeffrey D. Ullman. por
Detalles de publicación: México : CECSA, 1998
Disponibilidad: Ítems disponibles para préstamo: FaMAF (2)Signatura topográfica: C C1.3 H791 , ...
96.
Sistemas operativos / Stuart E. Madnick, John J. Donovan. por
Detalles de publicación: México : Diana, 1986
Disponibilidad: Ítems disponibles para préstamo: FaMAF (3)Signatura topográfica: C D4 M178 , ...
97.
Introduction to formal languages / György E. Revesz. por Series McGraw-Hill computer science series
Detalles de publicación: New York : McGraw-Hill, 1983
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C F4.3 R453 .
98.
Groups, languages, algorithms / ed. Alexandre V. Borovik. por Series Contemporary Mathematics, CONM ; v. 378
Detalles de publicación: Providence : American Mathematical Society, 2003
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: AMS CONM v. 378.
99.
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 .
100.
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)