Materias dentro de su búsqueda.
Mostrando 1 - 7 Resultados de 7 Para Buscar 'Algorithms.', tiempo de consulta: 0.03s Limitar resultados
1
NASA Formal Methods : 9th International Symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017, Proceedings /
Publicado 2017
Materias: “...Algorithms....”
eBook
2
Small Dynamic Complexity Classes : An Investigation into Dynamic Descriptive Complexity /
por Zeume, Thomas.
Publicado 2017
Materias: “...Algorithms....”
eBook
3
Topics in Theoretical Computer Science : Second IFIP WG 1.8 International Conference, TTCS 2017, Tehran, Iran, September 12-14, 2017, Proceedings /
Publicado 2017
Materias: “...Algorithms....”
eBook
4
Logic-Based Program Synthesis and Transformation : 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6–8, 2016, Revised Selected Papers /
Publicado 2017
Materias: “...Algorithms....”
eBook
5
Fundamentals of Software Engineering : 7th International Conference, FSEN 2017, Tehran, Iran, April 26–28, 2017, Revised Selected Papers /
Publicado 2017
Materias: “...Algorithms....”
eBook
6
Provably Correct Systems /
Publicado 2017
Tabla de Contenidos: “...: Correctness of Concurrent Algorithms -- A Proof Method for Linearizability on TSO Architectures -- Part IV...”
eBook
7
Programming Languages and Systems : 26th European Symposium on Programming, ESOP 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22–29, 2017, Proceedings /
Publicado 2017
Tabla de Contenidos: “..., and Behavioral Types -- Temporary Read-Only Permissions for Separation Logic -- Faster Algorithms for Weighted...”
eBook
Herramientas de búsqueda: RSS — Enviar por Correo electrónico esta Búsqueda