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

This volume contains a selection of papers presented at thethird EuropeanComputer Aided Systems...

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

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

This book constitutes the refereed proceedings of the International Work-Conference on Artificial...

This volume contains a selection of papers on the current state of research in computer aided sys...

This book constitutes a refereed post-workshop selection of papers presented at the 6th Internati...

Computer Aided Systems Theory (CAST) deals with the task of contributing to the creation and impl...

The papers in this volume reflect the current state in the development of computer aided systems ...

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

This book presents a collection of revised refereed papers selected from the contributions to the...

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