Reversible Computation / Kari, Jarkko ; Ulidowski, Irek  

Público ISBD Ningún comentario para este registro. 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. Idioma : Inglés (eng) 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: 621.395 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. Tipo de medio : Computadora Summary : This book constitutes the refereed proceedings of the 10th International Conference on Reversible Computation, RC 2018, held in Leicester, UK, in September 2018. The 13 full, 7 short, and one tutorial papers included in this volume together with four invited talks were carefully reviewed and selected from 28 submissions. The papers are organized in the following topical sections: reversible concurrent computation; quantum circuits; reversible programming languages; and 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. Idioma : Inglés (eng) 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: 621.395 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. Tipo de medio : Computadora Summary : This book constitutes the refereed proceedings of the 10th International Conference on Reversible Computation, RC 2018, held in Leicester, UK, in September 2018. The 13 full, 7 short, and one tutorial papers included in this volume together with four invited talks were carefully reviewed and selected from 28 submissions. The papers are organized in the following topical sections: reversible concurrent computation; quantum circuits; reversible programming languages; and applications. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]

Unveiling Dynamics and Complexity / Kari, Jarkko ; Manea, Florin ; Petre, Ion  

Público ISBD Ningún comentario para este registro. 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. Idioma : Inglés (eng) 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: 40.151 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. Tipo de medio : Computadora Summary : This book constitutes the refereed proceedings of the 13th Conference on Computability in Europe, CiE 2017, held in Turku, Finland, in June 2017. The 24 revised full papers and 12 invited papers were carefully reviewed and selected from 69 submissions. The conference CiE 2016 has six special sessions, namly: algorithmics for biology; combinatorics and algorithmics on words; computability in analysis, algebra, and geometry; cryptography and information theory; formal languages and automata theory; and 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. Idioma : Inglés (eng) 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: 40.151 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. Tipo de medio : Computadora Summary : This book constitutes the refereed proceedings of the 13th Conference on Computability in Europe, CiE 2017, held in Turku, Finland, in June 2017. The 24 revised full papers and 12 invited papers were carefully reviewed and selected from 69 submissions. The conference CiE 2016 has six special sessions, namly: algorithmics for biology; combinatorics and algorithmics on words; computability in analysis, algebra, and geometry; cryptography and information theory; formal languages and automata theory; and history and philosophy of computing. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]

---

1 (1 - 2 / 2) Ver por página : 25 50 100 200