The two-volume set LNCS 10671 and 10672 constitutes the thoroughly refereed proceedings of the 16...
The concept of CAST, computer aided systems Theory, was introduced by F. Pichler of Linz in the l...
This volume constitutes the papers presented at the 15thInternational Conference on Computer Aide...
The two-volume set LNCS 8111 and LNCS 8112 constitute the papers presented at the 14th Internatio...
This three part LNCS volumes constitutes the refereed proceedings of the 19th International Confe...
The two-volume set LNCS 8111 and LNCS 8112 constitute the papers presented at the 14th Internatio...
The two-volume set LNCS 10671 and 10672 constitutes the thoroughly refereed proceedings of the 16...
The two-volume set LNCS 12013 and 12014 constitutes the thoroughly refereed proceedings of the 17...
The two-volume set LNCS 12013 and 12014 constitutes the thoroughly refereed proceedings of the 17...
This three part LNCS volumes constitutes the refereed proceedings of the 19th International Confe...
This LNCS double volume LNCS 10069-10070 constitutes the refereedproceedings of the 10th Internat...
This three part LNCS volumes constitutes the refereed proceedings of the 19th International Confe...