Refinar su búsqueda

Su búsqueda retornó 395 resultados.

Ordenar
Resultados
161.
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 .
162.
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 .
163.
164.
165.
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 .
166.
167.
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 .
168.
A history of computing technology / Michael Roy Williams. por
Edición: 2a. ed.
Detalles de publicación: Washington : IEE Computer Society, 1997
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C A0 W725 .
169.
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 .
170.
171.
172.
173.
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 .
174.
Programs, recursion and unbounded choice : predicate-transformation semantics and transformation rules / Wim H. Hesselink. por Series Cambridge tracts in theoretical computer science ; 27
Detalles de publicación: Cambridge : Cambridge University, 1992
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C F4.1 H587 .
175.
Free choice Petri nets / Jörg Desel, Javier Esparza. por Series Cambridge tracts in theoretical computer science ; 40
Detalles de publicación: Cambridge : Cambridge University, 1995
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C F1.1 D451 .
176.
Logics of time and computation / Robert Goldblatt. por Series CSLI lecture notes ; no. 7
Edición: 2a. ed. rev. and expanded.
Detalles de publicación: Stanford, United States : Center for the Study of Language and Information, 1992
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C F4.1 G618 .
177.
Cornerstones of undecidability / Grzegorz Rozenberg, Arto Salomaa. por Series Prentice-Hall international series in computer science
Detalles de publicación: New York : Prentice-Hall, 1994
Disponibilidad: Ítems disponibles para préstamo: FaMAF (2)Signatura topográfica: C F1.1 R893 ej.2, ...
178.
Lambda calculi : a guide for computer scientists / Chris Hankin. por Series Graduate texts in computer science ; v. 3
Detalles de publicación: Oxford : Oxford university, 1994
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C F4.1 H241 .
179.
Handbook of theoretical computer science / ed. Jan van Leeuwen. por
Detalles de publicación: Amsterdam : Elsevier, 1992
Disponibilidad: Ítems disponibles para préstamo: FaMAF (2)Signatura topográfica: C F0 H236 v.A, ...
180.
Computability, complexity, logic / Egon Börger. por Series Studies in logic and the foundations of mathematics ; v. 128
Detalles de publicación: Amsterdam : North-Holland, 1989
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C F4.1 B732 .
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)