Buscador

Su búsqueda retornó 6 resultados.

Resultados
	1.	Corrección de algoritmos complejos : verificación formal / Esther Lydia Silva Ramírez y Manuel López Coello. por Silva Ramírez, Esther Lydia Lopez Coello, Manuel [autor.] Series E-libro \| Universidad de Cádiz. Manuales. Ingenierías y arquitectura.Editor: Cádiz : Universidad de Cádiz, 2017 Acceso en línea: Ver registro en E-Libro Disponibilidad: Ítems disponibles para préstamo: Biblioteca Virtual UTC (1)Signatura topográfica: BV.
	2.	Fundamentos de la electrónica y los semiconductores / Juan Antonio Leñero Bardallo. por Leñero Bardallo, Juan Antonio [autor.] Series E-libro \| Manuales. Ingenierías y arquitecturaEditor: Cádiz (España) : Editorial UCA, [2018] Acceso en línea: Ver registro en E-Libro Disponibilidad: Ítems disponibles para préstamo: Biblioteca Virtual UTC (1)Signatura topográfica: BV.
	3.	Introducción a la síntesis y programación de automatismos secuenciales / Daniel Sánchez Morillo. por Sánchez Morillo, Daniel Series E-libro \| Manuales ingenierías y arquitecturaEditor: Cádiz : Servicio de Publicaciones de la Universidad de Cádiz, 2013 Acceso en línea: Ver registro en E-Libro Disponibilidad: Ítems disponibles para préstamo: Biblioteca Virtual UTC (1)Signatura topográfica: BV.
	4.	Manual de prácticas de seguridad en el trabajo / Andrés Pastor Fernández [y otros 3]. por Pastor Fernández, Andrés [autor.] Series E-libro \| Manuales Ingenierías y ArquitecturaEditor: Cádiz : Servicio de Publicaciones de la Universidad de Cádiz, 2016 Acceso en línea: Ver registro en E-Libro Disponibilidad: Ítems disponibles para préstamo: Biblioteca Virtual UTC (1)Signatura topográfica: BV.
	5.	Sistemas integrados de gestión / Andrés Pastor Fernández [y otros 4]. por Pastor Fernández, Andrés [autor.] Series E-libro \| Manuales. Ingenierías y arquitecturaEditor: Cádiz : Servicio de Publicaciones de la Universidad de Cádiz, 2013 Acceso en línea: Ver registro en E-Libro Disponibilidad: Ítems disponibles para préstamo: Biblioteca Virtual UTC (1)Signatura topográfica: BV.
	6.	Verificación formal de algoritmos : ejercicios resueltos / Esther Lydia Silva Ramírez, Manuel López Coello. por Silva Ramírez, Esther Lydia López Coello, Manuel [autor.] Series E-libro \| Universidad de Cádiz. Manuales. Ingenierías y arquitectura.Editor: Cádiz : Universidad de Cádiz, 2018 Acceso en línea: Ver registro en E-Libro Disponibilidad: Ítems disponibles para préstamo: Biblioteca Virtual UTC (1)Signatura topográfica: BV.