Su búsqueda retornó 4 resultados.

Ordenar
Resultados
1.
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.
2.
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, ...
3.
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, ...
4.
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 .
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)