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

Este libro presenta los fundamentos de las máquinas teóricas conocidas como autómatas finitos, autómatas a pila y máquinas de Turing. En esta nueva edición del libro se han introducido los fundamentos para la aplicación práctica de este tipo de máquinas en la construcción de los analizadores necesarios para la compilación de lenguajes de programación. Además, se han introducido los fundamentos para la minimización de autómatas con el objetivo de servir de base para rutinas de análisis más eficaces

Twitter es la red social con un crecimiento más acelerado en España. Pero quizá tengas la sensación de que se te está escapando el tren, o puede que te hayas visto empujado a crear tu cuenta o la de tu marca para que no te quiten el nombre y ahora no sepas muy bien qué escribir. También es posible que llenes los 140 caracteres y todavía no hayas dicho lo más importante. Y día tras día vas mirando tu número de seguidores y te desanimas. ¡Suerte que has dado con este libro! En él encontrarás respuesta a todas estas inquietudes y a muchas otras que te puedan surgir.• ¿Y por...

La creación de aplicaciones para móviles introduce nuevos desafíos para los desarrolladores. Es frecuente que surjan dudas sobre la elección de las herramientas, lenguajes y tecnologías adecuadas para poder lograr compatibilidad con la diversidad de dispositivos y sistemas existentes. Este libro nos ofrece un completo recorrido sobre las posibilidades que brinda hoy el desarrollo de aplicaciones Web para smartphones y tablets. Mediante conceptos y ejemplos, nos adentraremos en el mundo de los móviles y con un proyecto práctico como hilo conductor aprenderemos a pensar cada etapa. La...

El hardware son los cimientos de lo que podremos hacer en la actualidad y en el futuro con nuestro equipo informático. Este libro desarrolla los contenidos del módulo profesional de Montaje y Mantenimiento de Equipos, del Ciclo Formativo de grado medio de Sistemas Microinformáticos y Redes, de la familia profesional de Informática y Comunicaciones. En esta nueva edición se hace una consideración muy especial a: --- Los dispositivos móviles, como los notebooks, los smartphones y las tabletas. --- Los componentes físicos que conforman estos dispositivos. --- Un nuevo enfoque a la unidad ...