Su búsqueda retornó 139 resultados.

Ordenar
Resultados
81.
82.
83.
84.
Algorithmic learning theory / ed. Setsuo Arikawa, Arun K. Sharma. por Series Lecture notes in computer science ; v. 1160 | Lecture notes in computer science. Lecture notes in artificial intelligence
Detalles de publicación: Berlin : Springer, 1996
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C LNAI v. 1160 .
85.
Conceptual modeling - ER '96 / ed. Bernhard Thalheim. por Series Lecture notes in computer science ; v. 1157 | LNCS ; v. 1157
Detalles de publicación: Berlin : Springer, 1996
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C LNCS v. 1157 .
86.
Types for proofs and programs / edited by Stefano Berardi, Mario Coppo. por Series Lecture notes in computer science ; v. 1158 | LNCS ; v. 1158
Detalles de publicación: Berlin : Springer, 1996
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C LNCS v. 1158 .
87.
88.
Software process technology : 5º European workshop, EWSPT ’96, Nancy, France, October 9-11, 1996 : proceedings / ed. Carlo Montangero. por Series Lecture notes in computer science ; v. 1149 | LNCS ; v. 1149
Detalles de publicación: Berlin : Springer, 1996
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C LNCS v. 1149 .
89.
90.
91.
Logic in databases / ed. Dino Pedreschi, Carlo Zaniolo. por Series Lecture notes in computer science ; v. 1154 | LNCS ; v. 1154
Detalles de publicación: Berlin : Springer, 1996
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C LNCS v. 1154 .
92.
93.
94.
Evolutionary computing : AISB Workshop, Brighton, U.K., April 1-2, 1996 : selected papers / ed. Terence C. Fogarty. por Series Lecture notes in computer science ; LNCS ; v. 1143
Detalles de publicación: Berlin : Springer, 1996
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C LNCS v. 1143 .
95.
96.
97.
Computer aided verification / ed. Rajeev Alur, Thomas A. Henzinger. por Series Lecture notes in computer science ; v. 1102 | LNCS ; v. 1102
Detalles de publicación: Berlin : Springer, 1996
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C LNCS v. 1102 .
98.
99.
100.
Theorem proving in higher order logics / ed. Joakim von Wright, Jim Grundy, John Harrison. por Series Lecture notes in computer science ; v. 1125 | LNCS ; v. 1125
Detalles de publicación: Berlin : Springer, 1996
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C LNCS v. 1125 .
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)