Materias dentro de su búsqueda.
Mostrando 1 - 8 Resultados de 8 Para Buscar 'Coding theory.~', tiempo de consulta: 5.44s Limitar resultados
1
Developments in Language Theory : 21st International Conference, DLT 2017, Liège, Belgium, August 7-11, 2017, Proceedings /
Publicado 2017
Tabla de Contenidos: “... for strings, trees, graphics, arrays -- Algebraic theories for automata and languages -- Codes -- Efficient...”
eBook
2
Computer Science – Theory and Applications : 12th International Computer Science Symposium in Russia, CSR 2017, Kazan, Russia, June 8-12, 2017, Proceedings /
Publicado 2017
Tabla de Contenidos: “... -- Unary Coded PSPACE-Complete Languages in ASPACE(loglog n) -- Turing Degree Spectra of Minimal Subshifts...”
eBook
3
Tools and Algorithms for the Construction and Analysis of Systems : 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part I /
Publicado 2017
Tabla de Contenidos: “... of Relational Properties by Self-Composition -- autoCode4: Structural Controller Synthesis -- Automata -- Lazy...”
eBook
4
Numerical Software Verification : 10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017, Proceedings /
Publicado 2017
Tabla de Contenidos: “... the numerical quality of an industrial computing code: a case study on Code_Aster -- Challenges and Tool...”
eBook
5
Combinatorics on Words : 11th International Conference, WORDS 2017, Montréal, QC, Canada, September 11-15, 2017, Proceedings /
Publicado 2017
Tabla de Contenidos: “... -- Invariance: a Theoretical Approach for Coding Sets of Words Modulo Literal (Anti)Morphisms -- Burrows-Wheeler...”
eBook
6
Descriptional Complexity of Formal Systems : 19th IFIP WG 1.02 International Conference, DCFS 2017, Milano, Italy, July 3-5, 2017, Proceedings /
Publicado 2017
Tabla de Contenidos: “..., Codes -- On the Degree of Nondeterminism of Tree Adjoining Languages and Head Grammar Languages...”
eBook
7
Verification, Model Checking, and Abstract Interpretation : 18th International Conference, VMCAI 2017, Paris, France, January 15–17, 2017, Proceedings /
Publicado 2017
Tabla de Contenidos: “...Bringing LTL Model Checking to Biologists -- Verified Concurrent Code: Tricks of the Trade...”
eBook
8
Provably Correct Systems /
Publicado 2017
Tabla de Contenidos: “... -- Computing Verified Machine Address Bounds during Symbolic Exploration of Code -- Engineering a Formal...”
eBook
Herramientas de búsqueda: RSS — Enviar por Correo electrónico esta Búsqueda