Computer Aided Systems Theory - EUROCAST 2003 00de Roberto Moreno-Daz, Franz PichlerMateriasMathematical Logic and Formal LanguagesProcessor ArchitecturesSimulation and ModelingArtificial Intelligence (incl. Robotics)Logic designComputer-Aided Engineering (CAD, CAE) and DesignLogics and Meanings of ProgramsComputer-aided design
