Su búsqueda retornó 15 resultados.

Ordenar
Resultados
1.
Estudio de la semántica del lenguaje intermedio il / Matías Emmanuel Debard. por
Detalles de publicación: [S.l. : s.n. ], 2013
Nota de disertación: Tesis (Lic. en Ciencias de la Computación)--Universidad Nacional de Córdoba, Facultad de Matemática, Astronomía y Física, 2013.
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: Trabajo Especial Computación CAJA 14 - 21917.
2.
pHaskell : un lenguaje funcional para metaprogramacíon / Rúben Marcelo Caro. por
Detalles de publicación: [S.l. : s.n. ], 2012
Nota de disertación: Tesis (Lic. en Ciencias de la Computación)--Universidad Nacional de Córdoba, Facultad de Matemática, Astronomía y Física, 2012.
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: Trabajo Especial Computación CAJA 13 - 21503.
3.
4.
Decision procedures : an algorithmic point of view / Daniel Kroening, Ofer Strichman ; foreword by Randal E. Bryant. por Series Texts in theoretical computer science | EATCS series
Detalles de publicación: Berlin : Springer, 2010
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C F4.1 K93.
5.
Digital logic and microprocessor design with vhdl / Enoch Hwang. por
Detalles de publicación: Australia : Thomson, 2006
Disponibilidad: Ítems disponibles para préstamo: FaMAF (2)Signatura topográfica: C B6 H991, ...
6.
VHDL : programming by example / Douglas L. Perry. por
Edición: 4a ed.
Detalles de publicación: New York : McGraw-Hill, c2002
Disponibilidad: Ítems disponibles para préstamo: FaMAF (2)Signatura topográfica: C B6.3 P462, ...
7.
8.
9.
Computer aided verification : proceedings / Ahmed Bouajjani, Oded Maler (eds.). por Series Lecture notes in computer science ; v. 5643 | LNCS ; v. 5643
Detalles de publicación: Berlin ; New York : Springer, 2009
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C LNCS v. 5643.
10.
Sobre la verificación automática de autómatas probabilistas distribuidos con información parcial / Sergio Giro. por Idioma: Inglés
Detalles de publicación: [S.l. : s.n. ], 2010
Nota de disertación: Tesis (Doctor en Ciencias de la Computación)--Universidad Nacional de Córdoba, Facultad de Matemática, Astronomía y Física, 2010.
Acceso en línea:
Disponibilidad: Ítems disponibles para préstamo: FaMAF (2)Signatura topográfica: T C GIR, ...
11.
Formal methods in circuit design / V. Stavridou. por Series Cambridge tracts in theoretical computer science ; 37
Detalles de publicación: Cambridge : Cambridge University, 1993
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C B6.3 S798 .
12.
Computer aided verification : proceedindings / ed. Orna Grumberg. por Series Lecture notes in computer science ; v. 1254 | LNCS ; v. 1254
Detalles de publicación: Berlin : Springer, 1997
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C LNCS v. 1254 .
13.
Formal methods in computer-aided design / ed. Mandayam Srivas, Albert Camilleri. por Series Lecture notes in computer science ; v. 1166 | LNCS ; v. 1166
Detalles de publicación: Berlin : Springer, 1996
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C LNCS v. 1166 .
14.
Computer aided verification / ed. Rajeev Alur, Thomas A. Henzinger. por Series Lecture notes in computer science ; v. 1102 | LNCS ; v. 1102
Detalles de publicación: Berlin : Springer, 1996
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C LNCS v. 1102 .
15.
Theorem proving in higher order logics / ed. Joakim von Wright, Jim Grundy, John Harrison. por Series Lecture notes in computer science ; v. 1125 | LNCS ; v. 1125
Detalles de publicación: Berlin : Springer, 1996
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C LNCS v. 1125 .
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)