Refinar su búsqueda

Su búsqueda retornó 92 resultados.

Ordenar
Resultados
81.
82.
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 , ...
83.
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 , ...
84.
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 .
85.
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 .
86.
87.
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 .
88.
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 .
89.
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 .
90.
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 .
91.
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.
92.
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)