Su búsqueda retornó 72 resultados.

Ordenar
Resultados
1.
Logical dynamics of information and interaction / Johan van Benthem. por
Detalles de publicación: Cambridge ; New York : Cambridge University, 2011
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C H1 B476.
2.
An introduction to description logic / Franz Baader, Ian Horrocks, Carsten Lutz, Uli Sattler. por
Detalles de publicación: Cambridge : Cambridge University, 2017
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C F3 I61.
3.
Networks, crowds and markets : reasoning about a highly connected world / David Easley, Jon Kleinberg. por
Detalles de publicación: New York : Cambridge University, 2010
Disponibilidad: No disponible:FaMAF: Prestado (1).
4.
An introduction to bisimulation and coinduction / Davide Sangiorgi. por
Detalles de publicación: Cambridge ; New York : Cambridge University, c2012
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C F3 S195.
5.
Advanced topics in bisimulation and coinduction / edited by Davide Sangiorgi, Jan Rutten. por Series Cambridge tracts in theoretical computer science ; 52
Detalles de publicación: Cambridge ; New York : Cambridge University, 2012
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C F3 A244t.
6.
Quantum computation and quantum information / Michael A. Nielsen & Isaac L. Chuang. por
Edición: 10th anniversary ed.
Detalles de publicación: Cambridge ; New York : Cambridge University, 2010
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C F1.2 N669.
7.
Practical foundations for programming languages / Robert Harper. por
Detalles de publicación: Cambridge ; ; New York : Cambridge University, 2013
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C D3 H293.
8.
Computational complexity : a conceptual perspective / Oded Goldreich. por
Detalles de publicación: Cambridge : Cambridge University, 2008
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C F2 G621.
9.
Conceptual mathematics : a first introduction to categories / F. William Lawvere, Stephen Hoel Schanuel. por
Edición: 2a ed.
Detalles de publicación: Cambridge ; New York : Cambridge University, 2009
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C F4.1 L425.
10.
Theory of decision under uncertainty / Itzhak Gilboa. por Series Econometric Society monographs ; v. 45
Detalles de publicación: Cambridge ; New York : Cambridge University, 2010
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C F4 G466.
11.
Practical foundations of mathematics / Paul Taylor. por Series Cambridge studies in advanced mathematics ; 59
Detalles de publicación: Cambridge : Cambridge University, 1999
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C F4 T238.
12.
Reactive systems : modelling, specification and verification / Luca Aceto ... [et al.]. por
Detalles de publicación: Cambridge ; New York : Cambridge University, 2007
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C C2.4 R281.
13.
Semantics and logics of computation / edited by Andrew M. Pitts, Peter Dybjer. Series Publications of the Newton Institute ; 14
Detalles de publicación: Cambridge ; New York : Cambridge University, 1997
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C F4.1 S471.
14.
Introduction to higher order categorical logic / Joachim Lambek, P. J. Scott. por Series Cambridge studies in advanced mathematics ; 7
Detalles de publicación: Cambridge ; New York : Cambridge University, 1994
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C F4.1 L221.
15.
First steps in modal logic / Sally Popkorn. por
Detalles de publicación: Cambridge : Cambridge University, 1994
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C F4 P828.
16.
The text mining handbook : advanced approaches in analyzing unstructured data / Ronen Feldman, James Sanger. por
Detalles de publicación: Cambridge ; New York : Cambridge University, 2009
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C I2 F312.
17.
Computational complexity : a modern approach / Sanjeev Arora, Boaz Barak. por
Detalles de publicación: Cambridge ; New York : Cambridge University, 2009
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C F1 A769.
18.
Multiple view geometry in computer vision / Richard Hartley, Andrew Zisserman. por
Edición: 2nd ed., 7a reimp.
Detalles de publicación: Cambridge ; New York : Cambridge University, 2010
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C I3.5 H332.
19.
Fundamentals of error-correcting codes / William Cary Huffman and Vera Pless. por
Detalles de publicación: Cambridge, U.K. ; New York : Cambridge University, 2003
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C E4 H889.
20.
The B-book : assigning programs to meanings / Jean-Raymond Abrial. por
Detalles de publicación: Cambridge ; New York : Cambridge University, 1996
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C F3 A163.
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)