Theoretical Computer Science : 35th National Conference, NCTCS 2017, Wuhan, China, October 14-15, 2017, Proceedings /
Autor Corporativo: | SpringerLink (Online service) |
---|---|
Otros Autores: | Du, Dingzhu. (Editor ), Li, Lian. (Editor ), Zhu, En. (Editor ), He, Kun. (Editor ) |
Formato: | eBook |
Lenguaje: | English |
Publicado: |
Singapore :
Springer Singapore : Imprint: Springer,
2017.
|
Edición: | 1st ed. 2017. |
Colección: | Communications in Computer and Information Science,
768 |
Materias: |
Ejemplares similares
-
Topics in Theoretical Computer Science : Second IFIP WG 1.8 International Conference, TTCS 2017, Tehran, Iran, September 12-14, 2017, Proceedings /
Publicado: (2017) -
Numerical Software Verification : 10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017, Proceedings /
Publicado: (2017) -
Computer Science – Theory and Applications : 12th International Computer Science Symposium in Russia, CSR 2017, Kazan, Russia, June 8-12, 2017, Proceedings /
Publicado: (2017) -
Automated Deduction – CADE 26 : 26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6–11, 2017, Proceedings /
Publicado: (2017) -
Formal Aspects of Component Software : 14th International Conference, FACS 2017, Braga, Portugal, October 10-13, 2017, Proceedings /
Publicado: (2017)