Su búsqueda retornó 70 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.
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.
4.
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.
5.
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.
6.
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.
7.
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.
8.
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.
9.
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.
10.
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.
11.
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.
12.
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.
13.
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.
14.
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.
15.
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.
16.
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.
17.
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.
18.
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.
19.
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.
20.
Multiagent systems : algorithmic, game-theoretic and logical foundations / Yoav Shoham, Kevin Leyton-Brown. por
Detalles de publicación: Cambridge ; New York : Cambridge University, 2009
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C C2.4 S559.
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)