Su búsqueda retornó 139 resultados.

Ordenar
Resultados
21.
22.
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 .
23.
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 .
24.
Algorithms and data structures / ed. Frank Dehne, Andrew Rau-Chaplin. por Series Lecture notes in computer science ; v. 1272 | LNCS ; v. 1272
Detalles de publicación: Berlin : Springer, 1997
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C LNCS v. 1272 .
25.
CONCUR - 1994 : Concurrency theory / ed. Bengt Jonsson, Joachim Parrow. por Series Lecture notes in computer science ; v. 836 | LNCS ; v. 836
Detalles de publicación: Berlin : Springer, 1994
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C LNCS v. 836 .
26.
27.
28.
Trees in algebra and programming - CAAP'96 : 21st international colloquium, Linköping, Sweden, April 22-24, 1996 : proceedings / ed. Hélène Kirchner. por Series Lecture notes in computer science ; v. 1059 | LNCS ; v. 1059
Detalles de publicación: Berlin : Springer, 1996
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C LNCS v. 1059 .
29.
30.
Languages and compilers for parallel computing / ed. Chua-Huang Huang, Ponnuswany Sadayappan. por Series Lecture notes in computer science ; v. 1033 | LNCS ; v. 1033
Detalles de publicación: Berlin : Springer, 1996
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C LNCS v. 1033 .
31.
Computation theory and logic / ed. Egon Börger. por Series Lecture notes in computer science ; LNCS ; v. 270
Detalles de publicación: Berlin : Springer, 1987
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C LNCS v. 270 .
32.
33.
34.
35.
Distributed artificial intelligence : architecture and modelling / ed. Chenqi Zhang, Dickson Lukose. por Series Lecture notes in computer science ; v. 1087 | 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. 1087 .
36.
Software configuration management : ICSE SCM-4 and SCM-5 workshops : Selected papers / edited Jacky Estublier. por Series Lecture notes in computer science ; v. 1005 | LNCS ; v. 1005
Detalles de publicación: Berlin : Springer, 1995
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C LNCS v. 1005 .
37.
Algorithms and computation / edieted by John Staples, Peter Eades, Alistair Moffat. por Series Lecture notes in computer science ; v. 1004 | LNCS ; v. 1004
Detalles de publicación: Berlin : Springer, 1995
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C LNCS v. 1004 .
38.
39.
Automated deduction in equational logic and cubic curves / William McCune, Ranganathan Padmanabhan. por Series Lecture notes in computer science ; v. 1095 | 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. 1095 .
40.
Non-monotonic extensions of logic programming / ed. Jürgen Dix, Luis Moniz Pereira, Teodor C. Przymusinski. por Series Lecture notes in computer science ; v. 1216 | Lecture notes in computer science. Lecture notes in artificial intelligence
Detalles de publicación: Berlin : Springer, 1997
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C LNAI v. 1216 .
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)