

Descriptional Complexity of Formal Systems
674,-

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

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

Human Interface and the Management of Information. Interaction, Visualization, and Analytics
584,-

Trends in Functional Programming
584,-

New Directions in Logic, Language, and Computation
476,-

Computational Issues in Fluid Construction Grammar
584,-

Theory and Applications of Formal Argumentation
584,-

Rigorous Methods for Software Construction and Analysis
584,-

Human Interface and the Management of Information
1 340,-

Descriptional Complexity of Formal Systems
674,-

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

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

Human Interface and the Management of Information. Interaction, Visualization, and Analytics
584,-

Trends in Functional Programming
584,-

New Directions in Logic, Language, and Computation
476,-

Computational Issues in Fluid Construction Grammar
584,-

Theory and Applications of Formal Argumentation
584,-

Rigorous Methods for Software Construction and Analysis
584,-

Human Interface and the Management of Information
1 340,-















