• Inicio
  • Búsquedas avanzadas
  • Búsqueda de antiguos poseedores
  • Ayuda
Biblioteca Nacional de España

"Datos.bne no es un reflejo en tiempo real del catálogo oficial de la BNE, sino que se actualiza periódicamente mediante procesos de carga y transformación de datos"

Se recomienda el uso de Mozilla Firefox para la navegación en este buscador

Fecha de actualización de datos: 31/05/2023

López Coello, Manuel

En la BNE

Participa en 4 Ediciones

Obras en las que participa

  • Corrección de algoritmos complejos : ...

    Silva Ramírez, Esther Lydia

    2018

    Libro
  • Corrección de algoritmos complejos verificación ...

    Silva Ramírez, Esther Lydia

    2010

    Libro
  • Verificación formal de algoritmos : Ejercicios ...

    Silva Ramírez, Esther Lydia

    2010

    Libro
  • Verificación formal de algoritmos ejercicios ...

    Silva Ramírez, Esther Lydia

    2010

    Libro

Enlaces

VIAF http://viaf.org/viaf/136676811/

Más información

Nota de fuente Corrección de algoritmos complejos, 2010---port. (Manuel López Coello)

Descarga en otros formatos

Obtener el registro en ttl Obtener el registro en JSON-LDObtener el registro en RDF/XML Ver en catálogo
datos.bne.es
Contacto: info.datosenlazados@bne.es
Desarrollado por el Ontology Engineering Group en la Universidad Politécnica de Madrid
Acerca de datos.bne.es
datos.bne.es