Información del autor
Autor Kari, Jarkko |
Documentos disponibles escritos por este autor (2)
Crear una solicitud de compra Refinar búsqueda
TÃtulo : Reversible Computation : 10th International Conference, RC 2018, Leicester, UK, September 12-14, 2018, Proceedings Tipo de documento: documento electrónico Autores: Kari, Jarkko, ; Ulidowski, Irek, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2018 Número de páginas: XIII, 353 p. 132 ilustraciones ISBN/ISSN/DL: 978-3-319-99498-7 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: diseño lógico Inteligencia artificial Compiladores (programas informáticos) Red de computadoras IngenierÃa de software Compiladores e intérpretes Redes de comunicación informática Clasificación: Resumen: Este libro constituye las actas arbitradas de la Décima Conferencia Internacional sobre Computación Reversible, RC 2018, celebrada en Leicester, Reino Unido, en septiembre de 2018. Los 13 artÃculos completos, 7 breves y un tutorial incluidos en este volumen, junto con cuatro charlas invitadas, fueron cuidadosamente revisado y seleccionado entre 28 presentaciones. Los artÃculos están organizados en las siguientes secciones temáticas: computación concurrente reversible; circuitos cuánticos; lenguajes de programación reversibles; y aplicaciones. Nota de contenido: Reversible concurrent computation -- Quantum circuits -- Reversible programming languages -- Applications. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Reversible Computation : 10th International Conference, RC 2018, Leicester, UK, September 12-14, 2018, Proceedings [documento electrónico] / Kari, Jarkko, ; Ulidowski, Irek, . - 1 ed. . - [s.l.] : Springer, 2018 . - XIII, 353 p. 132 ilustraciones.
ISBN : 978-3-319-99498-7
Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos.
Palabras clave: diseño lógico Inteligencia artificial Compiladores (programas informáticos) Red de computadoras IngenierÃa de software Compiladores e intérpretes Redes de comunicación informática Clasificación: Resumen: Este libro constituye las actas arbitradas de la Décima Conferencia Internacional sobre Computación Reversible, RC 2018, celebrada en Leicester, Reino Unido, en septiembre de 2018. Los 13 artÃculos completos, 7 breves y un tutorial incluidos en este volumen, junto con cuatro charlas invitadas, fueron cuidadosamente revisado y seleccionado entre 28 presentaciones. Los artÃculos están organizados en las siguientes secciones temáticas: computación concurrente reversible; circuitos cuánticos; lenguajes de programación reversibles; y aplicaciones. Nota de contenido: Reversible concurrent computation -- Quantum circuits -- Reversible programming languages -- Applications. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
TÃtulo : Unveiling Dynamics and Complexity : 13th Conference on Computability in Europe, CiE 2017, Turku, Finland, June 12-16, 2017, Proceedings Tipo de documento: documento electrónico Autores: Kari, Jarkko, ; Manea, Florin, ; Petre, Ion, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2017 Número de páginas: XIII, 401 p. 57 ilustraciones ISBN/ISSN/DL: 978-3-319-58741-7 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: Ciencias de la Computación Algoritmos Inteligencia artificial Sistemas de reconocimiento de patrones Informática Matemáticas discretas TeorÃa de las máquinas TeorÃa de la Computación Reconocimiento de patrones automatizado Matemáticas discretas en informática Lenguajes formales y teorÃa de los autómatas Clasificación: Resumen: Este libro constituye las actas arbitradas de la 13.ª Conferencia sobre Computabilidad en Europa, CiE 2017, celebrada en Turku, Finlandia, en junio de 2017. Los 24 artÃculos completos revisados ​​y los 12 artÃculos invitados fueron cuidadosamente revisados ​​y seleccionados entre 69 presentaciones. La conferencia CiE 2016 cuenta con seis sesiones especiales, a saber: algorÃtmica para biologÃa; combinatoria y algorÃtmica de palabras; computabilidad en análisis, álgebra y geometrÃa; criptografÃa y teorÃa de la información; lenguajes formales y teorÃa de autómatas; e historia y filosofÃa de la informática. Nota de contenido: Algorithmics for biology -- Combinatorics and algorithmics on words -- Computability in analysis, algebra, and geometry.-Cryptography and information theory -- Formal languages and automata theory -- History and philosophy of computing. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Unveiling Dynamics and Complexity : 13th Conference on Computability in Europe, CiE 2017, Turku, Finland, June 12-16, 2017, Proceedings [documento electrónico] / Kari, Jarkko, ; Manea, Florin, ; Petre, Ion, . - 1 ed. . - [s.l.] : Springer, 2017 . - XIII, 401 p. 57 ilustraciones.
ISBN : 978-3-319-58741-7
Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos.
Palabras clave: Ciencias de la Computación Algoritmos Inteligencia artificial Sistemas de reconocimiento de patrones Informática Matemáticas discretas TeorÃa de las máquinas TeorÃa de la Computación Reconocimiento de patrones automatizado Matemáticas discretas en informática Lenguajes formales y teorÃa de los autómatas Clasificación: Resumen: Este libro constituye las actas arbitradas de la 13.ª Conferencia sobre Computabilidad en Europa, CiE 2017, celebrada en Turku, Finlandia, en junio de 2017. Los 24 artÃculos completos revisados ​​y los 12 artÃculos invitados fueron cuidadosamente revisados ​​y seleccionados entre 69 presentaciones. La conferencia CiE 2016 cuenta con seis sesiones especiales, a saber: algorÃtmica para biologÃa; combinatoria y algorÃtmica de palabras; computabilidad en análisis, álgebra y geometrÃa; criptografÃa y teorÃa de la información; lenguajes formales y teorÃa de autómatas; e historia y filosofÃa de la informática. Nota de contenido: Algorithmics for biology -- Combinatorics and algorithmics on words -- Computability in analysis, algebra, and geometry.-Cryptography and information theory -- Formal languages and automata theory -- History and philosophy of computing. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
