Computer Aided Systems Theory - EUROCAST 2003

This book constitutes the thoroughly refereed post-proceedings of the 9th International Workshop on Computer Aided Systems Theory, EUROCAST 2003, held in Las Palmas de Gran Canaria, Spain in February 2003. The 60 revised full papers presented were carefully selected during two rounds of reviewing and improvement. The papers are organized in topical sections on complex systems tools and applications, logic and formal tools, social and intelligent systems, distributed computing, autonomous and control systems, computational methods in bioinformatics, natural and artificial neural networks, neuroinformatics and neuroimaging, and image processing.