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
Tabla de Contenidos:
“... FSM -- FSM Synthesis with Transformation of GSA -- FSM Synthesis with Object Code Transformation...”
Enlace del recurso
Enlace del recurso
eBook
4
Publicado 2017
Tabla de Contenidos:
“... of Relational Properties by Self-Composition -- autoCode4: Structural Controller Synthesis -- Automata -- Lazy...”
eBook
5
Publicado 2017
Tabla de Contenidos:
“... the numerical quality of an industrial computing code: a case study on Code_Aster -- Challenges and Tool...”
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:
“... Analysis for Real-World C Code -- Symbolic Execution of Transition Systems with Function Summaries -- Unit...”
eBook
9
Publicado 2017
Tabla de Contenidos:
“... -- Computing Verified Machine Address Bounds during Symbolic Exploration of Code -- Engineering a Formal...”
eBook