Autor Caires, Luís
|
|
Documentos disponibles escritos por este autor (2)
Hacer una sugerencia Refinar búsqueda28th European Symposium on Programming, ESOP 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings / Caires, Luís
Título : 28th European Symposium on Programming, ESOP 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings Tipo de documento: documento electrónico Autores: Caires, Luís, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2019 Número de páginas: XV, 816 p. 5223 ilustraciones, 70 ilustraciones en color. ISBN/ISSN/DL: 978-3-030-17184-1 Nota general: Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos. Palabras clave: Compiladores (programas informáticos) Programación de computadoras Ingeniería de software Ciencias de la Computación Ordenadores Profesiones Computadoras digitales electrónicas Compiladores e intérpretes Técnicas de programación Teoría de la Computación La profesión informática Rendimiento y evaluación del sistema Índice Dewey: 005.45 interfaces con el computador y los controladores del dispositivo Resumen: Este libro es de Acceso Abierto bajo licencia CC BY. En línea: https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Link: https://biblioteca.umanizales.edu.co/ils/opac_css/index.php?lvl=notice_display&i 28th European Symposium on Programming, ESOP 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings [documento electrónico] / Caires, Luís, . - 1 ed. . - [s.l.] : Springer, 2019 . - XV, 816 p. 5223 ilustraciones, 70 ilustraciones en color.
ISBN : 978-3-030-17184-1
Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos.
Palabras clave: Compiladores (programas informáticos) Programación de computadoras Ingeniería de software Ciencias de la Computación Ordenadores Profesiones Computadoras digitales electrónicas Compiladores e intérpretes Técnicas de programación Teoría de la Computación La profesión informática Rendimiento y evaluación del sistema Índice Dewey: 005.45 interfaces con el computador y los controladores del dispositivo Resumen: Este libro es de Acceso Abierto bajo licencia CC BY. En línea: https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Link: https://biblioteca.umanizales.edu.co/ils/opac_css/index.php?lvl=notice_display&i
Título : Formal Techniques for Distributed Objects, Components, and Systems : 38th IFIP WG 6.1 International Conference, FORTE 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018, Proceedings Tipo de documento: documento electrónico Autores: Baier, Christel, ; Caires, Luís, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2018 Número de páginas: XI, 197 p. 2095 ilustraciones, 16 ilustraciones en color. ISBN/ISSN/DL: 978-3-319-92612-4 Nota general: Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos. Palabras clave: Ingeniería de software Sistemas operativos (computadoras) Compiladores (programas informáticos) Protección de datos Red de computadoras Sistemas informáticos Sistemas operativos Compiladores e intérpretes Seguridad de datos e información Redes de comunicación informática Implementación de sistema informático Índice Dewey: 005.1 Programación (Computadoras) Resumen: Este libro constituye las actas de la 38.ª Conferencia Internacional IFIP WG 6.1 sobre Técnicas Formales para Objetos, Componentes y Sistemas Distribuidos, FORTE 2018, celebrada en Madrid, España, en junio de 2018, como parte de la 13.ª Conferencia Federada Internacional sobre Técnicas de Computación Distribuida. , DisCoTec 2018. Los 10 artículos completos presentados fueron cuidadosamente revisados y seleccionados entre 28 presentaciones. La conferencia está dedicada a la investigación fundamental sobre teoría, modelos, herramientas y aplicaciones para sistemas distribuidos. Nota de contenido: Component- and Model-Based Design.-Object Technology -- Service-Oriented Computing Systems -- Mobile Computing Systems -- Security -- Privacy -- Adaptive Distributed Systems -- Self-Stabilization -- Self-Healing -- Verification -- Formal Analysis. En línea: https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Link: https://biblioteca.umanizales.edu.co/ils/opac_css/index.php?lvl=notice_display&i Formal Techniques for Distributed Objects, Components, and Systems : 38th IFIP WG 6.1 International Conference, FORTE 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018, Proceedings [documento electrónico] / Baier, Christel, ; Caires, Luís, . - 1 ed. . - [s.l.] : Springer, 2018 . - XI, 197 p. 2095 ilustraciones, 16 ilustraciones en color.
ISBN : 978-3-319-92612-4
Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos.
Palabras clave: Ingeniería de software Sistemas operativos (computadoras) Compiladores (programas informáticos) Protección de datos Red de computadoras Sistemas informáticos Sistemas operativos Compiladores e intérpretes Seguridad de datos e información Redes de comunicación informática Implementación de sistema informático Índice Dewey: 005.1 Programación (Computadoras) Resumen: Este libro constituye las actas de la 38.ª Conferencia Internacional IFIP WG 6.1 sobre Técnicas Formales para Objetos, Componentes y Sistemas Distribuidos, FORTE 2018, celebrada en Madrid, España, en junio de 2018, como parte de la 13.ª Conferencia Federada Internacional sobre Técnicas de Computación Distribuida. , DisCoTec 2018. Los 10 artículos completos presentados fueron cuidadosamente revisados y seleccionados entre 28 presentaciones. La conferencia está dedicada a la investigación fundamental sobre teoría, modelos, herramientas y aplicaciones para sistemas distribuidos. Nota de contenido: Component- and Model-Based Design.-Object Technology -- Service-Oriented Computing Systems -- Mobile Computing Systems -- Security -- Privacy -- Adaptive Distributed Systems -- Self-Stabilization -- Self-Healing -- Verification -- Formal Analysis. En línea: https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Link: https://biblioteca.umanizales.edu.co/ils/opac_css/index.php?lvl=notice_display&i
