Tópicos Sugeridos dentro de su búsqueda.
Tópicos Sugeridos dentro de su búsqueda.
Buscar alternativas:
expressions specification » expression specificities, expressions specificity, expressions classification
communication foundation » communication education, communication communication, communication information
expression purification » extraction purification
foundation formal » foundations formal, foundation form, foundation journal
expressions specification » expression specificities, expressions specificity, expressions classification
communication foundation » communication education, communication communication, communication information
expression purification » extraction purification
foundation formal » foundations formal, foundation form, foundation journal
1
Publicado 2014
Tabla de Contenidos:
“... Programming in Maude -- Confluence: The Unifying, Expressive Power of Locality -- Foundations for Ensemble...”Enlace del recurso
Electrónico
eBook
2
Publicado 2007
Tabla de Contenidos:
“... Modelling -- Formalisms for Property-Driven Design -- An Efficient Synthesis Method for Property-Based...”Enlace del recurso
Electrónico
eBook
3
Foundations of Software Science and Computation Structures 16th International Conference, FOSSACS...
Publicado 2013
Tabla de Contenidos:
“... of Post Embedding Problems -- Deciding Definability by Deterministic Regular Expressions -- Type-Based...”Enlace del recurso
Electrónico
eBook
4
Tabla de Contenidos:
“... Mutual Exclusion -- Chap. 3 - Lock-Based Concurrent Objects -- Part II - On the Foundations Side...”
Enlace del recurso
Enlace del recurso
Electrónico
eBook
5
Publicado 2008
Tabla de Contenidos:
“... of Communication Faults -- Algebraic Graph Algorithms -- Contributed Papers -- Question/Answer Games on Towers...”Enlace del recurso
Electrónico
eBook
6
Publicado 2014
Tabla de Contenidos:
“... Errors in Python/C Programs with Affine Analysis -- Safely Composable Type-Specific Languages -- Graceful...”Enlace del recurso
Electrónico
eBook
7
Publicado 2010
Tabla de Contenidos:
“... Algorithm Based on Gravity and Cluster Merging -- Data Mining in Specific Areas -- Evolution Analysis of a...”Enlace del recurso
Electrónico
eBook
8
Publicado 2006
Tabla de Contenidos:
“... Interpretation of FIFO Queues -- Assessing the Expressivity of Formal Specification Languages -- Fork Algebras...”Enlace del recurso
Electrónico
eBook
9
Publicado 2008
Tabla de Contenidos:
“... Systems -- Specification-based Verification of Embedded Systems by Automated Test Case Generation...”Enlace del recurso
Electrónico
eBook