Theoretical Computer Science : 8th IFIP TC 1/WG 2.2 International Conference, TCS 2014, Rome, Italy, September 1-3, 2014 : Proceedings /

Selección de ponencias de la octava Conferencia Internacional sobre Informática Teórica, celebrada en Roma, Italia, en septiembre de 2014. Las colaboraciones abordan temas relacionados con los aspectos teóricos de la computación, entre los que destacan, algoritmos, complejidad y modelos de computaci...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autor corporativo: International Conference on Theoretical Computer Science ( Roma, Italia)
Otros autores: Diaz, Josep (edición) (edición)
Formato: Procedimiento de la conferencia Libro
Idioma:Inglés
Publicado: Heidelberg, Alemania : Springer, 2014, c2014
Colección:(Lecture Notes in Computer Science ; 8705)
Temas:
Acceso en línea:Ver documento en línea
Etiquetas: Agrega una etiqueta
Sin etiquetas, Sé el primero en etiquetar este registro!
Descripción
Resumen:Selección de ponencias de la octava Conferencia Internacional sobre Informática Teórica, celebrada en Roma, Italia, en septiembre de 2014. Las colaboraciones abordan temas relacionados con los aspectos teóricos de la computación, entre los que destacan, algoritmos, complejidad y modelos de computación, lógica, semántica, especificación y verificación.
Descripción física:1 libro electrónico en línea (XVI, 355 p.)
1 recurso en línea
ISBN:978-3-662-44602-7
Acceso:Licencias ilimitadas