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...
Guardado en:
| Autor corporativo: | |
|---|---|
| Otros autores: | |
| 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: |
Sin etiquetas, Sé el primero en etiquetar este registro!
|
| 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 |