CATÁLOGO DE LA BIBLIOTECA DE LA FaMAF

Your search returned 627 results. Subscribe to this search

|
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 ej.2] (2).
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).
General theory of lie groupoids and lie algebroids / Kirill C. H. Mackenzie.

by Mackenzie, Kirill C. H.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge : Cambridge University, 2005Availability: Items available for loan: [Call number: M 58 M156 ej.2] (2).
Thermodynamics of the atmosphere : a course in theoretical meteorology / Wilford Zdunkowski, Andreas Bott.

by Zdunkowski, Wilford, 1929- | Bott, Andreas, 1956-.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge : Cambridge University, 2004Availability: Items available for loan: [Call number: F 92.60 ZDUt ] (1).
Lightning : physics and effects / Vladimir A. Rakov, Martin A. Uman.

by Rakov, Vladimir A, 1955- | Uman, Martin A.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge : Cambridge University, 2003Availability: No items available Checked out (1).
Representations of nilpotent lie groups and their applications / Lawrence J. Corwin, Frederick P. Greenleaf.

by Corwin, Lawrence J, 1943- | Greenleaf, Frederick P, 1938-.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge : Cambridge University, 2004Availability: No items available Checked out (1).
Nonlinear time series analysis / Holger Kantz, Thomas Schreiber.

by Kantz, Holger, 1960- | Schreiber, Thomas, 1963-.

Edition: 2a. ed.Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge : Cambridge University, 2003Availability: Items available for loan: [Call number: M 62 K686 ] (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).
MRI from picture to proton / Donald W. McRobbie, Elizabeth A. Moore, Martin J. Graves, Martin R. Prince.

by McRobbie, Donald W, 1958- | Moore, Elizabeth A | Graves, Martin J | Prince, Martin R.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge, UK : Cambridge University, 2003Availability: Items available for loan: [Call number: F 76.60 MCR] (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).
Forecasting, structural time series models and the Kalman filter / Andrew C. Harvey.

by Harvey, Andrew C, 1947-.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge : Cambridge University, 1989Availability: Items available for loan: [Call number: M 62 H341 ] (1).
Inverse modeling of the ocean and atmosphere / Andrew F. Bennett.

by Bennett, Andrew Faucett, 1945-.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge, UK : Cambridge University, 2002Availability: Items available for loan: [Call number: F 92.10 BEN ] (1).
Real analysis and probability / Richard M. Dudley.

by Dudley, Richard M.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge : Cambridge University, 2002Availability: Items available for loan: [Call number: M 60 D847 ] (1).
Introduction to circle packing : the theory of discrete analytic functions /

by Stephenson, Kenneth.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge : Cambridge University, 2005Availability: Items available for loan: [Call number: M 52 S836 ] (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