Su búsqueda retornó 158 resultados.

Ordenar
Resultados
1.
2.
3.
4.
5.
6.
Computation and proof theory / ed. Michael M. Richter. por Series Lecture notes in mathematics ; v. 1104 | LNM ; v. 1104
Detalles de publicación: Berlin : Springer, 1984
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: M LNM v. 1104 .
7.
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 .
8.
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 .
9.
Proceedings of the 15th scandinavian congress Oslo 1968 / ed. Karl Egil Aubert, W. Junggren. por Series Lecture notes in mathematics ; v. 118 | LNM ; v. 118
Detalles de publicación: Berlin : Springer, 1970
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: M LNM v. 118 .
10.
11.
12.
13.
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 .
14.
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 .
15.
16.
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 .
17.
Algorithmic learning for knowledge-based systems : GOSLER final report / ed. Klaus P. Jantke, Steffen Lange. por Series Lecture notes in computer science ; v. 961 | Lecture notes in computer science. Lecture notes in artificial intelligence
Detalles de publicación: Berlin : Springer, 1995
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C LNAI v. 961 .
18.
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.
19.
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 .
20.
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.
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)