Especificación, derivación y análisis de algoritmos

Ciclo de vida de desarrollo ágil de software seguro es un libro resultado de un proyecto de investigación donde confluyen e integran tres grandes temáticas relacionadas con la construcción de software seguro: desarrollo ágil, buenas prácticas y seguridad; que, a través de una metodología y un caso de estudio concreto, se propone brindar una serie de insumos que se deberían contemplar en el momento de emprender un proyecto de software, convirtiéndose de esta manera, en una herramienta fundamental de consulta para los programadores y demás integrantes del equipo de trabajo. En este...

Los grandes avances teóricos en inteligencia artificial han producido prácticas aplicaciones que están a punto de cambiar nuestra vida. Ya impulsa muchos de nuestros sitios web favoritos pero en los próximos años también conducirá nuestros coches, gestionará nuestras carteras, fabricará gran parte de lo que compramos y sus consecuencias podrían dejarnos sin trabajo. En los últimos años China se ha convertido en una verdadera superpotencia de la IA y el único verdadero contrapeso nacional a Estados Unidos en esta tecnología emergente. Por ello, la forma en que estos dos países...

En este libro aprenderás la electrónica de forma sencilla tanto analógica, digital y de potencia, la electrónica no es compleja si se conoce cómo funcionan los componentes, a lo largo de este veremos ejemplos, diagramas electrónicos, además de ser más prácticos que teóricos, realizaremos circuitos para alguna utilidad que le sea necesaria al lector, en el proceso observaras lo sencillo que es la electrónica donde podemos empezar a crear proyectos básicos y complejos para la función que sea requerida. Los componentes electrónicos usados en este libro son accesibles para que...

La presente obra está dirigida a los estudiantes de los nuevos Certificados de Profesionalidad de la familia profesional Informática y Comunicaciones, en concreto al Módulo Formativo Mantenimiento del Subsistema Físico de Sistemas Informáticos. Los contenidos incluidos en este libro abarcan desde conceptos más teóricos, como el procesador, la memoria, el sistema de E/S, los inventarios, el material fungible, etc., pasando por contenidos más prácticos, como pueden ser la evaluación del rendimiento del sistema, herramientas de monitorización, benchmark, etc. Los capítulos incluyen...