The two-volume proceedings, LNCS 6927 and LNCS 6928, constitute the papers presented at the 13th ...

The two-volume set LNCS 10671 and 10672 constitutes the thoroughly refereed proceedings of the 16...

The two-volume set LNCS 10671 and 10672 constitutes the thoroughly refereed proceedings of the 16...

The concept of CAST as Computer Aided Systems Theory was introduced by F. Pichler in the late 198...

The two-volume set LNCS 8111 and LNCS 8112 constitute the papers presented at the 14th Internatio...

The concept of CAST, computer aided systems Theory, was introduced by F. Pichler of Linz in the l...

The concept of CAST as Computer Aided Systems Theory was introduced by F. Pichler in the late 198...

The two-volume proceedings, LNCS 6927 and LNCS 6928, constitute the papers presented at the 13th ...

The two-volume set LNCS 8111 and LNCS 8112 constitute the papers presented at the 14th Internatio...

This volume constitutes the papers presented at the 15thInternational Conference on Computer Aide...

This LNCS double volume LNCS 10069-10070 constitutes the refereed proceedings of the 10th Interna...

This LNCS double volume LNCS 10069-10070 constitutes the refereedproceedings of the 10th Intern...