Theory and Applications of Models of Computation / Gopal, T.V ; Jäger, Gerhard ; Steila, Silvia  

Público ISBD Ningún comentario para este título. Título : Theory and Applications of Models of Computation : 14th Annual Conference, TAMC 2017, Bern, Switzerland, April 20-22, 2017, Proceedings Tipo de documento: documento electrónico Autores: Gopal, T.V, ; Jäger, Gerhard, ; Steila, Silvia, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2017 Número de páginas: XXVI, 698 p. 80 ilustraciones ISBN/ISSN/DL: 978-3-319-55911-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: Teoría de las máquinas  Informática  Algoritmos  Ciencias de la Computación  Estructuras de datos (Informática)  Teoría de la información  Inteligencia artificial  Lenguajes formales y teoría de los autómatas  Matemáticas de la Computación  Lógica informática y fundamentos de la programación.  Estructuras de datos y teoría de la información Clasificación: 5.131 Resumen: Este libro constituye las actas arbitradas de la 14.ª Conferencia Anual sobre Teoría y Aplicaciones de Modelos de Computación, TAMC 2017, celebrada en Berna, Suiza, en abril de 2017. Los 45 artículos completos revisados ​​presentados junto con 4 artículos invitados fueron cuidadosamente revisados ​​y seleccionados de 103 presentaciones. Los principales temas de TAMC 2017 han sido la computabilidad, la lógica informática, la complejidad, los algoritmos y los modelos de computación y teoría de sistemas. Nota de contenido: Computability -- Computer science logic -- Complexity -- Algorithms -- Models of computation and systems theory. Tipo de medio : Computadora Summary : This book constitutes the refereed proceedings of the 14th Annual Conference on Theory and Applications of Models of Computation, TAMC 2017, held in Bern, Switzerland, in April 2017. The 45 revised full papers presented together with 4 invited papers were carefully reviewed and selected from 103 submissions. The main themes of TAMC 2017 have been computability, computer science logic, complexity, algorithms, and models of computation and systems theory. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Theory and Applications of Models of Computation : 14th Annual Conference, TAMC 2017, Bern, Switzerland, April 20-22, 2017, Proceedings [documento electrónico] / Gopal, T.V, ; Jäger, Gerhard, ; Steila, Silvia,  . -  1 ed.  . - [s.l.] : Springer, 2017 . - XXVI, 698 p. 80 ilustraciones. ISBN : 978-3-319-55911-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: Teoría de las máquinas  Informática  Algoritmos  Ciencias de la Computación  Estructuras de datos (Informática)  Teoría de la información  Inteligencia artificial  Lenguajes formales y teoría de los autómatas  Matemáticas de la Computación  Lógica informática y fundamentos de la programación.  Estructuras de datos y teoría de la información Clasificación: 5.131 Resumen: Este libro constituye las actas arbitradas de la 14.ª Conferencia Anual sobre Teoría y Aplicaciones de Modelos de Computación, TAMC 2017, celebrada en Berna, Suiza, en abril de 2017. Los 45 artículos completos revisados ​​presentados junto con 4 artículos invitados fueron cuidadosamente revisados ​​y seleccionados de 103 presentaciones. Los principales temas de TAMC 2017 han sido la computabilidad, la lógica informática, la complejidad, los algoritmos y los modelos de computación y teoría de sistemas. Nota de contenido: Computability -- Computer science logic -- Complexity -- Algorithms -- Models of computation and systems theory. Tipo de medio : Computadora Summary : This book constitutes the refereed proceedings of the 14th Annual Conference on Theory and Applications of Models of Computation, TAMC 2017, held in Bern, Switzerland, in April 2017. The 45 revised full papers presented together with 4 invited papers were carefully reviewed and selected from 103 submissions. The main themes of TAMC 2017 have been computability, computer science logic, complexity, algorithms, and models of computation and systems theory. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]

---

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