Su búsqueda recuperó 124 resultados.

Resultados
		Symbolic model checking / by Kenneth L. McMillan por McMillan, Kenneth L [autor]. Tipo de material: Texto; Forma literaria: No es ficción Editor: Boston : Kluwer Academic, c1993Disponibilidad: Ítems disponibles para préstamo: Libros (2)Clasificación: TK7888.4 M45, ... Agregar al carrito (remover)
		The system designer's guide to VHDL-AMS : analog, mixed-signal, and mixed-technology modeling / Peter J. Ashenden, Gregory D. Peterson, Darrell A. Teegarden por Ashenden, Peter J [autor] \| Peterson, Gregory D [autor] \| Teegarden, Darrell A [autor]. Series Morgan Kaufmann series in systems on siliconTipo de material: Texto; Formato: impreso ; Forma literaria: No es ficción Idioma: ENG Editor: San Francisco, California : M. Kaufmann, c2003Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: TK7885.7 A745. Agregar al carrito (remover)
		System-level power optimization for wireless multimedia communication : power aware computing / edited by Ramesh Karri, David Goodman por Karri, Ramesh [ed.] \| Goodman, David J, 1939- [ed.]. Tipo de material: Texto; Formato: impreso ; Forma literaria: No es ficción Idioma: ENG Detalles de publicación: Boston : Kluwer Academic, c2002Acceso en línea: Tabla de contenido Disponibilidad: Ítems disponibles para préstamo: Libros (2)Clasificación: TK7895.P68 S97, ... Agregar al carrito (remover)
		Theory and desing of digital computers. por Lewin, Douglas [autor]. Tipo de material: Texto; Formato: impreso ; Forma literaria: No es ficción Editor: London : Nelson, 1972Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: TK7888.3 L48. Agregar al carrito (remover)