Materias dentro de su búsqueda.
Mostrando 1 - 9 Resultados de 9 Para Buscar 'Coding theory.~', tiempo de consulta: 6.92s 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
Logic Synthesis for FSM-Based Control Units
Tabla de Contenidos: “... FSM -- FSM Synthesis with Transformation of GSA -- FSM Synthesis with Object Code Transformation...”
Enlace del recurso
eBook
4
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
5
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
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
Tests and Proofs : 11th International Conference, TAP 2017, Held as Part of STAF 2017, Marburg, Germany, July 19–20, 2017, Proceedings /
Publicado 2017
Tabla de Contenidos: “... Analysis for Real-World C Code -- Symbolic Execution of Transition Systems with Function Summaries -- Unit...”
eBook
9
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