

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

Numerical Computations
584,-

Numerical Computations - Theory and Algorithms
854,-

Numerical Computations - Theory and Algorithms
791,-

Numerical Computations - Theory and Algorithms
791,-

The Logic of Software. A Tasting Menu of Formal Methods
1 124,-

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

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

Theory and Applications of Formal Argumentation
584,-

Programming Languages and Systems
674,-

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

Numerical Computations
584,-

Numerical Computations - Theory and Algorithms
854,-

Numerical Computations - Theory and Algorithms
791,-

Numerical Computations - Theory and Algorithms
791,-

The Logic of Software. A Tasting Menu of Formal Methods
1 124,-

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

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

Theory and Applications of Formal Argumentation
584,-

Programming Languages and Systems
674,-















