
Symbolic and Quantitative Approaches to Reasoning with Uncertainty
611,-

Tools and Algorithms for the Construction and Analysis of Systems
584,-

Conceptual Modeling
584,-

Advances in Conceptual Modeling
584,-

Computational Theory of Mind for Human-Machine Teams
1 214,-

Structured Object-Oriented Formal Language and Method
584,-

Rigorous State-Based Methods
791,-

Rigorous State-Based Methods
1 340,-

Rigorous State-Based Methods
674,-

The Semantic Web. Latest Advances and New Domains
1 124,-

Symbolic and Quantitative Approaches to Reasoning with Uncertainty
611,-

Tools and Algorithms for the Construction and Analysis of Systems
584,-

Conceptual Modeling
584,-

Advances in Conceptual Modeling
584,-

Computational Theory of Mind for Human-Machine Teams
1 214,-

Structured Object-Oriented Formal Language and Method
584,-

Rigorous State-Based Methods
791,-

Rigorous State-Based Methods
1 340,-

Rigorous State-Based Methods
674,-

The Semantic Web. Latest Advances and New Domains
1 124,-