Computer Aided Systems Theory - EUROCAST 2007: 11th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, ... Papers (Lecture Notes in Computer Science)

***

無法訂購

商品描述

Description

This book constitutes the thoroughly refereed post-proceedings of the 11th International Conference on Computer Aided Systems Theory, EUROCAST 2007, held in Las Palmas de Gran Canaria, Spain in February 2007.

The 144 revised full papers presented were carefully reviewed and selected for inclusion in the book. The papers are organized in topical sections on formal approaches, computation and simulation in modeling biological systems, intelligent information processing, computers in education, grid computing, applied formal verification, cellular automata, computer vision, heuristic problem solving, signal processing architectures, robotics and robotic soccer, cybercars and intelligent vehicles and artificial intelligence components.