
Design, User Experience, and Usability. Design for Contemporary Interactive Environments
584,-

Application and Theory of Petri Nets and Concurrency
584,-

Universal Access in Human-Computer Interaction. Applications and Practice
584,-

Formal Techniques for Distributed Objects, Components, and Systems
584,-

Trends in Functional Programming
611,-

Human-Computer Interaction. Interaction Platforms and Techniques
584,-

Transactions on Large-Scale Data- and Knowledge-Centered Systems XXXIV
584,-

Verification, Model Checking, and Abstract Interpretation
584,-

Leveraging Applications of Formal Methods, Verification and Validation
584,-

Verification, Model Checking, and Abstract Interpretation
584,-

Design, User Experience, and Usability. Design for Contemporary Interactive Environments
584,-

Application and Theory of Petri Nets and Concurrency
584,-

Universal Access in Human-Computer Interaction. Applications and Practice
584,-

Formal Techniques for Distributed Objects, Components, and Systems
584,-

Trends in Functional Programming
611,-

Human-Computer Interaction. Interaction Platforms and Techniques
584,-

Transactions on Large-Scale Data- and Knowledge-Centered Systems XXXIV
584,-

Verification, Model Checking, and Abstract Interpretation
584,-

Leveraging Applications of Formal Methods, Verification and Validation
584,-

Verification, Model Checking, and Abstract Interpretation
584,-










