Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
expressions specification » expression purification, expression specificities, expressions specificity
communication foundation » communication education, communication communication, communication information
formal expressions » form expressions, facial expressions, form expression
foundation formal » foundations formal, foundation form, foundation journal
expressions specification » expression purification, expression specificities, expressions specificity
communication foundation » communication education, communication communication, communication information
formal expressions » form expressions, facial expressions, form expression
foundation formal » foundations formal, foundation form, foundation journal
1
Published 2014
Table of Contents:
“... Programming in Maude -- Confluence: The Unifying, Expressive Power of Locality -- Foundations for Ensemble...”View full text
Electronic
eBook
2
Published 2007
Table of Contents:
“... Modelling -- Formalisms for Property-Driven Design -- An Efficient Synthesis Method for Property-Based...”View full text
Electronic
eBook
3
Foundations of Software Science and Computation Structures 16th International Conference, FOSSACS...
Published 2013
Table of Contents:
“... of Post Embedding Problems -- Deciding Definability by Deterministic Regular Expressions -- Type-Based...”View full text
Electronic
eBook
4
Table of Contents:
“... Mutual Exclusion -- Chap. 3 - Lock-Based Concurrent Objects -- Part II - On the Foundations Side...”
View full text
View full text
Electronic
eBook
5
Published 2008
Table of Contents:
“... of Communication Faults -- Algebraic Graph Algorithms -- Contributed Papers -- Question/Answer Games on Towers...”View full text
Electronic
eBook
6
Published 2014
Table of Contents:
“... Errors in Python/C Programs with Affine Analysis -- Safely Composable Type-Specific Languages -- Graceful...”View full text
Electronic
eBook
7
Published 2010
Table of Contents:
“... Algorithm Based on Gravity and Cluster Merging -- Data Mining in Specific Areas -- Evolution Analysis of a...”View full text
Electronic
eBook
8
Published 2006
Table of Contents:
“... Interpretation of FIFO Queues -- Assessing the Expressivity of Formal Specification Languages -- Fork Algebras...”View full text
Electronic
eBook
9
Published 2008
Table of Contents:
“... Systems -- Specification-based Verification of Embedded Systems by Automated Test Case Generation...”View full text
Electronic
eBook