Su búsqueda retornó 12 resultados.

Ordenar
Resultados
1.
2.
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.
3.
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, ...
4.
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, ...
5.
6.
7.
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.
8.
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 .
9.
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 .
10.
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 .
11.
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 .
12.
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)