CATÁLOGO DE LA BIBLIOTECA DE LA FaMAF

Your search returned 73 results. Subscribe to this search

|
Modal logic / Patrick Blackburn, Maarten de Rijke, Yde Venema.

by Blackburn, Patrick, 1959- | Rijke, Maarten de | Venema, Yde, 1963-.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge, UK : Cambridge University, 2001Availability: Items available for loan: [Call number: C F4 B628 ] (1).
Theories of programming languages / John C. Reynolds.

by Reynolds, John C, 1935-.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge : Cambridge University, 1998Availability: Items available for loan: [Call number: C F3.2 R462 ej.3] (3).
Basic proof theory / Anne Sjerp Troelstra, Helmut Schwichtenberg.

by Troelstra, Anne Sjerp, 1939- | Schwichtenberg, Helmut, 1942-.

Edition: 2a. ed.Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge : Cambridge University, 2000Availability: Items available for loan: [Call number: C F4 T843 ] (1).
Concepts in programming languages / John C. Mitchell.

by Mitchell, John C.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge : Cambridge University, 2003Availability: Items available for loan: [Call number: C D3.1 M679 ] (1).
The functional approach to programming / Guy Cousineau, Michel Mauny.

by Cousineau, Guy, 1949- | Mauny, Michel, 1959-.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge : Cambridge University, 1998Availability: Items available for loan: [Call number: C D1.1 C867 ] (1).
Memory as a programming concept in C and C++ / Frantisek Franek.

by Franek, Frantisek, 1947-.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge : Cambridge University, 2004Availability: Items available for loan: [Call number: C D3.1 F814 ] (1).
Modern compiler implementation in C / Andrew W. Appel, Maia Ginsburg.

by Appel, Andrew W, 1960- | Ginsburg, Maia.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge : Cambridge University, 1998Availability: Items available for loan: [Call number: C D3.4 A646 ] (1).
Primes and programming : an introduction to number theory with computing / Peter J. Giblin.

by Giblin, Peter J, 1943-.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge : Cambridge University, 1993Availability: Items available for loan: [Call number: C G3 G437 ] (1).
Nonmonotonic reasoning : logical foundations of commonsense / Gerhard Brewka.

by Brewka, Gerhard, 1955-.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge : Cambridge University, 1991Availability: Items available for loan: [Call number: C F4 B828 ] (1).
Logic, induction and sets / Thomas E. Forster.

by Forster, Thomas E, 1948-.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge : Cambridge University, 2003Availability: Items available for loan: [Call number: C F4 F754] (1).
Derivation and computation : taking the Curry-Howard correspondence seriously /

by Simmons, Harold.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge : Cambridge University, 2000Availability: Items available for loan: [Call number: C F4 S592 ] (1).
Data refinement : model-oriented proof methods and their comparison / Willem-Paul de Roever, Kai Engelhardt.

by Roever, Willem-Paul de, 1943- | Engelhardt, Kai, 1966-.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge : Cambridge University, 1998Availability: Items available for loan: [Call number: C F3 R719 ] (1).
Image processing and data analysis : the multiscale approach / Jean-Luc Starck, Fionn Murtagh, A. Bijaoui.

by Starck, Jean-Luc, 1965- | Murtagh, Fionn | Bijaoui, Albert, 1943-.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge : Cambridge University, 1998Availability: Items available for loan: [Call number: C I4 S795 ] (1).

Horario de la Biblioteca: lunes a viernes de 8:30 a 18:00hs

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

publicofamaf@gmail.com