| Título : |
11th International Conference, ICGT 2018, Held as Part of STAF 2018, Toulouse, France, June 25–26, 2018, Proceedings |
| Tipo de documento: |
documento electrónico |
| Autores: |
Lambers, Leen, ; Weber, Jens, |
| Mención de edición: |
1 ed. |
| Editorial: |
[s.l.] : Springer |
| Fecha de publicación: |
2018 |
| Número de páginas: |
XVI, 179 p. 60 ilustraciones |
| ISBN/ISSN/DL: |
978-3-319-92991-0 |
| 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: |
Informática Matemáticas discretas Algoritmos Teoría de las máquinas Inteligencia artificial Compiladores (programas informáticos) Programación de computadoras Matemáticas discretas en informática Lenguajes formales y teoría de los autómatas Ciencia de los datos Compiladores e intérpretes Técnicas de programación |
| Índice Dewey: |
40.151 |
| Resumen: |
Este libro constituye las actas arbitradas de la 11.ª Conferencia Internacional sobre Transformación de Gráficos, ICGT 2018, celebrada como parte de STAF 2018, en Toulouse, Francia, en junio de 2018. Los 9 artículos completos, 2 artículos breves y 1 conferencia magistral presentados en este libro fueron cuidadosamente revisados y seleccionados de 16 presentaciones. Los artículos tratan los siguientes temas: lenguajes de gráficos; formalismos de transformación de gráficos; independencia paralela y conflictos; y condiciones y verificación de gráficos. |
| Nota de contenido: |
Graph languages -- Graph transformation formalisms -- Parallel independence and conflicts -- Graph conditions and verification. |
| 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 |
11th International Conference, ICGT 2018, Held as Part of STAF 2018, Toulouse, France, June 25–26, 2018, Proceedings [documento electrónico] / Lambers, Leen, ; Weber, Jens, . - 1 ed. . - [s.l.] : Springer, 2018 . - XVI, 179 p. 60 ilustraciones. ISBN : 978-3-319-92991-0 Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos. |  |