| Título : |
21st International Symposium, FCT 2017, Bordeaux, France, September 11–13, 2017, Proceedings |
| Tipo de documento: |
documento electrónico |
| Autores: |
Klasing, Ralf, ; Zeitoun, Marc, |
| Mención de edición: |
1 ed. |
| Editorial: |
Berlin [Alemania] : Springer |
| Fecha de publicación: |
2017 |
| Número de páginas: |
XXI, 432 p. 33 ilustraciones |
| ISBN/ISSN/DL: |
978-3-662-55751-8 |
| 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 Red de computadoras Informática Matemáticas discretas Ingeniería de software Lógica informática y fundamentos de la programación Redes de comunicación informática Teoría de la Computación Matemáticas discretas en informática |
| Índice Dewey: |
40.151 |
| Resumen: |
Este libro constituye las actas arbitradas del 21.º Simposio Internacional sobre Fundamentos de Teoría de la Computación, FCT 2017, celebrado en Burdeos, Francia, en septiembre de 2017. Los 29 artículos completos revisados y los 5 artículos invitados presentados fueron cuidadosamente revisados y seleccionados entre 99 presentaciones. Los artículos cubren temas de todos los aspectos de la informática teórica, en particular algoritmos, complejidad y métodos formales y lógicos. |
| Nota de contenido: |
Theoretical computer science -- Algorithms -- Complexity -- Formal and logical methods. |
| 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 |
21st International Symposium, FCT 2017, Bordeaux, France, September 11–13, 2017, Proceedings [documento electrónico] / Klasing, Ralf, ; Zeitoun, Marc, . - 1 ed. . - Berlin [Alemania] : Springer, 2017 . - XXI, 432 p. 33 ilustraciones. ISBN : 978-3-662-55751-8 Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos. |  |