Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
1
Publicado 2017
Tabla de Contenidos:
“... for strings, trees, graphics, arrays -- Algebraic theories for automata and languages -- Codes -- Efficient...”
eBook
2
Publicado 2017
Tabla de Contenidos:
“... -- Unary Coded PSPACE-Complete Languages in ASPACE(loglog n) -- Turing Degree Spectra of Minimal Subshifts...”
eBook
3
Publicado 2017
Tabla de Contenidos:
“... of Relational Properties by Self-Composition -- autoCode4: Structural Controller Synthesis -- Automata -- Lazy...”
eBook
4
Publicado 2017
Tabla de Contenidos:
“... the numerical quality of an industrial computing code: a case study on Code_Aster -- Challenges and Tool...”
eBook
5
Publicado 2017
Tabla de Contenidos:
“... -- Invariance: a Theoretical Approach for Coding Sets of Words Modulo Literal (Anti)Morphisms -- Burrows-Wheeler...”
eBook
6
Publicado 2017
Tabla de Contenidos:
“..., Codes -- On the Degree of Nondeterminism of Tree Adjoining Languages and Head Grammar Languages...”
eBook
7
Publicado 2017
Tabla de Contenidos:
“...Bringing LTL Model Checking to Biologists -- Verified Concurrent Code: Tricks of the Trade...”
eBook
8
Publicado 2017
Tabla de Contenidos:
“... -- Computing Verified Machine Address Bounds during Symbolic Exploration of Code -- Engineering a Formal...”
eBook