Su búsqueda retornó 72 resultados.

Ordenar
Resultados
61.
Theories of programming languages / John C. Reynolds. por
Detalles de publicación: Cambridge : Cambridge University, 1998
Disponibilidad: Ítems disponibles para préstamo: FaMAF (3)Signatura topográfica: C F3.2 R462 ej.3, ...
62.
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 .
63.
Concepts in programming languages / John C. Mitchell. por
Detalles de publicación: Cambridge : Cambridge University, 2003
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C D3.1 M679 ej.1. No disponible:FaMAF: Prestado (1).
64.
The functional approach to programming / Guy Cousineau, Michel Mauny. por
Detalles de publicación: Cambridge : Cambridge University, 1998
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C D1.1 C867 .
65.
Memory as a programming concept in C and C++ / Frantisek Franek. por
Detalles de publicación: Cambridge : Cambridge University, 2004
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C D3.1 F814 .
66.
Modern compiler implementation in C / Andrew W. Appel, Maia Ginsburg. por
Detalles de publicación: Cambridge : Cambridge University, 1998
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C D3.4 A646 .
67.
Primes and programming : an introduction to number theory with computing / Peter J. Giblin. por
Detalles de publicación: Cambridge : Cambridge University, 1993
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C G3 G437 .
68.
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 .
69.
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.
70.
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 .
71.
Data refinement : model-oriented proof methods and their comparison / Willem-Paul de Roever, Kai Engelhardt. por Series Cambridge tracts in theoretical computer science ; 47
Detalles de publicación: Cambridge : Cambridge University, 1998
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C F3 R719 .
72.
Image processing and data analysis : the multiscale approach / Jean-Luc Starck, Fionn Murtagh, A. Bijaoui. por
Detalles de publicación: Cambridge : Cambridge University, 1998
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C I4 S795 .
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)