Su búsqueda obtuvo 2 resultados.

Ordenar
Resultados
Machine learning/ Tom M. Mitchell

por Mitchell, Tom M.

Series McGraw-Hill Series in Computer ScienceTipo de material: Texto Texto; Formato: impreso Detalles de publicación: New York : McGraw-Hill, 1997Disponibilidad: Ítems disponibles para préstamo: 00. BIBLIOTECA CAMPUS DE ALGECIRAS (1)Ubicación, signatura topográfica: Depósito-519.712/MIT/mac. 02. BIBLIOTECA CAMPUS PUERTO REAL (2)Ubicación, signatura topográfica: 519.712/MIT/mac, ... 03. BIBLIOTECA INGENIERÍA PUERTO REAL (3)Ubicación, signatura topográfica: 519.712/MIT/mac, ... Ítems disponibles para referencia: 02. BIBLIOTECA CAMPUS PUERTO REAL: Not for loan (1)Ubicación, signatura topográfica: Sist.Computac. - 519.712/MIT/mac.

Corrección de algoritmos complejos : verificación formal / Esther Lidia Silva Ramírez y Manuel López Coello

por Silva Ramírez, Esther Lidia | Lopez Coello, Manuel.

Series ManualesTipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Detalles de publicación: Cádiz : Universidad de Cádiz, Servicio de Publicaciones, 2010Disponibilidad: Ítems disponibles para préstamo: 02. BIBLIOTECA CAMPUS PUERTO REAL (1)Ubicación, signatura topográfica: 510.5/SIL/cor. 03. BIBLIOTECA INGENIERÍA PUERTO REAL (6)Ubicación, signatura topográfica: 510.5/SIL/cor, ... No disponible:03. BIBLIOTECA INGENIERÍA PUERTO REAL: Prestado (9).

Páginas

Con tecnología Koha