CATÁLOGO DE LA BIBLIOTECA DE LA FaMAF

Your search returned 72 results. Subscribe to this search

|
Logical dynamics of information and interaction / Johan van Benthem.

by Benthem, Johan van, 1949-.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge ; New York : Cambridge University, 2011Availability: Items available for loan: [Call number: C H1 B476] (1).
An introduction to description logic / Franz Baader, Ian Horrocks, Carsten Lutz, Uli Sattler.

by Baader, Franz, 1959- | Horrocks, Ian, 1958- | Lutz, Carsten, 1971- | Sattler, Uli, 1966-.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge : Cambridge University, 2017Availability: Items available for loan: [Call number: C F3 I61] (1).
Networks, crowds and markets : reasoning about a highly connected world / David Easley, Jon Kleinberg.

by Easley, David | Kleinberg, Jon, 1971-.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York : Cambridge University, 2010Availability: Items available for loan: [Call number: C I2 E13] (1).
An introduction to bisimulation and coinduction / Davide Sangiorgi.

by Sangiorgi, Davide, 1964-.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge ; New York : Cambridge University, c2012Online access: Publisher description | Table of contents only Availability: Items available for loan: [Call number: C F3 S195] (1).
Advanced topics in bisimulation and coinduction / edited by Davide Sangiorgi, Jan Rutten.

by Sangiorgi, Davide, 1964- | Rutten, Johannes Josephus Martinus Matheus, 1959-.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge ; New York : Cambridge University, 2012Availability: Items available for loan: [Call number: C F3 A244t] (1).
Quantum computation and quantum information / Michael A. Nielsen & Isaac L. Chuang.

by Nielsen, Michael A, 1974- | Chuang, Isaac L, 1968-.

Edition: 10th anniversary ed.Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge ; New York : Cambridge University, 2010Availability: Items available for loan: [Call number: C F1.2 N669] (1).
Computational complexity : a conceptual perspective / Oded Goldreich.

by Goldreich, Oded, 1957-.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge : Cambridge University, 2008Availability: Items available for loan: [Call number: C F2 G621] (1).
Conceptual mathematics : a first introduction to categories / F. William Lawvere, Stephen Hoel Schanuel.

by Lawvere, F. William | Schanuel, Stephen Hoel, 1933-.

Edition: 2a ed.Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge ; New York : Cambridge University, 2009Availability: Items available for loan: [Call number: C F4.1 L425] (1).
Theory of decision under uncertainty / Itzhak Gilboa.

by Gilboa, Itzhak, 1963-.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge ; New York : Cambridge University, 2010Availability: Items available for loan: [Call number: C F4 G466] (1).
Practical foundations of mathematics / Paul Taylor.

by Taylor, Paul, 1960-.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge : Cambridge University, 1999Availability: Items available for loan: [Call number: C F4 T238] (1).
Reactive systems : modelling, specification and verification / Luca Aceto ... [et al.].

by Anna Ingólfsdóttir, 1952- | Larsen, Kim G, 1957- | Srba, Jiří.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge ; New York : Cambridge University, 2007Online access: Contributor biographical information | Publisher description | Table of contents only Availability: Items available for loan: [Call number: C C2.4 R281] (1).
Semantics and logics of computation / edited by Andrew M. Pitts, Peter Dybjer.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge ; New York : Cambridge University, 1997Online access: Publisher description | Table of contents Availability: Items available for loan: [Call number: C F4.1 S471] (1).
Introduction to higher order categorical logic / Joachim Lambek, P. J. Scott.

by Lambek, Joachim, 1922- | Scott, P. J.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge ; New York : Cambridge University, 1994Availability: Items available for loan: [Call number: C F4.1 L221] (1).
First steps in modal logic / Sally Popkorn.

by Popkorn, Sally.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge : Cambridge University, 1994Online access: Sample text | Table of contents | Publisher description Availability: Items available for loan: [Call number: C F4 P828] (1).
The text mining handbook : advanced approaches in analyzing unstructured data / Ronen Feldman, James Sanger.

by Feldman, Ronen, 1962- | Sanger, James, 1965-.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge ; New York : Cambridge University, 2009Online access: Table of contents only | Publisher description | Contributor biographical information Availability: Items available for loan: [Call number: C I2 F312] (1).
Computational complexity : a modern approach / Sanjeev Arora, Boaz Barak.

by Arora, Sanjeev, 1968- | Barak, Boaz.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge ; New York : Cambridge University, 2009Availability: Items available for loan: [Call number: C F1 A769] (1).
Information theory, inference and learning algorithms / David J.C. MacKay.

by MacKay, David J. C.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge ; New York : Cambridge University, 2003Online access: Publisher description | Table of contents Availability: Items available for loan: [Call number: C H1.1 M153] (1).
Multiple view geometry in computer vision / Richard Hartley, Andrew Zisserman.

by Hartley, Richard, 1948- | Zisserman, Andrew.

Edition: 2nd ed., 7a reimp.Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge ; New York : Cambridge University, 2010Online access: Table of contents | Publisher description Availability: Items available for loan: [Call number: C I3.5 H332] (1).
Fundamentals of error-correcting codes / William Cary Huffman and Vera Pless.

by Huffman, William Cary, 1931- | Pless, Vera.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge, U.K. ; New York : Cambridge University, 2003Online access: Sample text | Publisher description | Table of contents | Contributor biographical information Availability: Items available for loan: [Call number: C E4 H889] (1).
The B-book : assigning programs to meanings / Jean-Raymond Abrial.

by Abrial, Jean-Raymond, 1938-.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge ; New York : Cambridge University, 1996Online access: Publisher description | Table of contents Availability: Items available for loan: [Call number: C F3 A163] (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