Refinar su búsqueda

Su búsqueda retornó 96 resultados.

Ordenar
Resultados
81.
SOFSEM'95 : theory and practice / edited by Miroslav Bartosek, Jan Staudek, Jiri Wiedermann. por Series Lecture notes in computer science ; v. 1012 | LNCS ; v. 1012
Detalles de publicación: Berlin : Springer, 1995
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C LNCS v. 1012 .
82.
Graph-theoretic concepts in computer science / edited by Manfred Nagl. por Series Lecture notes in computer science ; v. 1017 | LNCS ; v. 1017
Detalles de publicación: Berlin : Springer, 1995
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C LNCS v. 1017 .
83.
84.
Computer science logic / edited by Egon Börger, Yuri Gurevich, Karl Meinke. por Series Lecture notes in computer science ; v. 832
Detalles de publicación: Berlin : Springer, 1994
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C LNCS v. 832 .
85.
Constraints in computational logics : first international conference, CCL '94, Munich, Germany, September 7-9, 1994 : proceedings / edited by Jean-Pierre Jouannaud. por Series Lecture notes in computer science ; v. 845
Detalles de publicación: Berlin : Springer, 1994
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C LNCS v. 845 .
86.
Introducción a la teoría de autómatas, lenguajes y computación / John E. Hopcroft, Jeffrey D. Ullman. por
Detalles de publicación: México : CECSA, 1998
Disponibilidad: Ítems disponibles para préstamo: FaMAF (2)Signatura topográfica: C C1.3 H791 , ...
87.
Sistemas operativos / Stuart E. Madnick, John J. Donovan. por
Detalles de publicación: México : Diana, 1986
Disponibilidad: Ítems disponibles para préstamo: FaMAF (3)Signatura topográfica: C D4 M178 , ...
88.
Introduction to formal languages / György E. Revesz. por Series McGraw-Hill computer science series
Detalles de publicación: New York : McGraw-Hill, 1983
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C F4.3 R453 .
89.
Basic proof theory / Anne Sjerp Troelstra, Helmut Schwichtenberg. por Series Cambridge tracts in theoretical computer science ; 43
Edición: 2a. ed.
Detalles de publicación: Cambridge : Cambridge University, 2000
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C F4 T843 .
90.
91.
Introduction to languages, machines and logic : computable languages, abstract machines and formal logic / Alan P. Parkes. por
Detalles de publicación: London : Springer, 2002
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C F4 P235 .
92.
Information algebras : generic structures for inference / Jürg Kohlas. por Series Discrete mathematics and theoretical computer science
Detalles de publicación: London : Springer, 2003
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C F4 K791 .
93.
Nonmonotonic reasoning : logical foundations of commonsense / Gerhard Brewka. por Series Cambridge tracts in theoretical computer science ; 12
Detalles de publicación: Cambridge : Cambridge University, 1991
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C F4 B828 .
94.
Trends in logic : 50 years of studia logica / edited by Vicent F. Hendricks, Jacek Malinowski. por Series Trends in logic ; v. 21
Detalles de publicación: Dordrecht : Kluwer, 2003
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C F4 T794 .
95.
Logic, induction and sets / Thomas E. Forster. por Series London Mathematical Society student texts ; v. 56
Detalles de publicación: Cambridge : Cambridge University, 2003
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C F4 F754.
96.
Derivation and computation : taking the Curry-Howard correspondence seriously / por Series Cambridge tracts in theoretical computer science ; 51
Detalles de publicación: Cambridge : Cambridge University, 2000
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C F4 S592 .
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)