Su búsqueda retornó 116 resultados.

Ordenar
Resultados
1.
2.
3.
4.
5.
Symbolic and algebraic computation / ed. Patrizia Gianni. por Series Lecture notes in computer science ; v. 358 | LNCS ; v. 358
Detalles de publicación: Berlin : Springer, 1989
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C LNCS v. 358 .
6.
Word equations and related topics / ed. Klaus Ulrich Schulz. por Series Lecture notes in computer science ; v. 572 | LNCS ; v. 572
Detalles de publicación: Berlin : Springer, 1992
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C LNCS v. 572 .
7.
8.
9.
Conditional term rewriting systems / ed. Michaël Rusinowitch, Jean-Luc Rémy. por Series Lecture notes in computer science ; v. 656 | LNCS ; v. 656
Detalles de publicación: Berlin : Springer, 1993
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C LNCS v. 656 .
10.
Fundamentals of computation theory : 0th international conference, FCT '95, Dresden, Germany, August 1995 : proceedings / ed. Horst Reichel. por Series Lecture notes in computer science ; v. 965 | LNCS ; v. 965
Detalles de publicación: Berlin : Springer, 1995
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C LNCS v. 965 .
11.
12.
Object representation in computer vision : Proceedings / ed. Martial Hebert, Jean Ponce. por Series Lecture notes in computer science ; v. 994 | LNCS ; v. 994
Detalles de publicación: Berlin : Springer, 1995
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C LNCS v. 994 .
13.
CONCUR - 1995 : Concurrency theory : Proceedings / ed. Insup Lee, Scott A. Smolka. por Series Lecture notes in computer science ; v. 962 | LNCS ; v. 962
Detalles de publicación: Berlin : Springer, 1995
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C LNCS v. 962.
14.
Logic and computational complexity : selected papers / ed. Daniel Leivant. por Series Lecture notes in computer science ; v. 960 | LNCS ; v. 960
Detalles de publicación: Berlin : Springer, 1995
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C LNCS v. 960 .
15.
Algorithms and data structures : Proceedings / ed. Selim G. Akl, Frank Dehne. por Series Lecture notes in computer science ; v. 955 | LNCS ; v. 955
Detalles de publicación: Berlin : Springer, 1995
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C LNCS v. 955.
16.
17.
18.
19.
Computer science today : recent trends and developments / edited by Jan van Leeuwen. por Series Lecture notes in computer science ; LNCS ; v. 1000
Detalles de publicación: Berlin : Springer, 1995
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C LNCS v. 1000 .
20.
First-order in dynamic logic / David Harel. por Series Lecture notes in computer science ; LNCS ; v. 68
Detalles de publicación: Berlin : Springer, 1979
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C LNCS v. 68 .
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)