Publication year: 2007
: 978-3-540-75867-9
This book presented formal approaches, Computation and Simulation in Modelling Biological Systems, Intelligent Information Processing, Computers in Education, Grid Computing, Applied Formal Verification, Cellular Automata, Computer Vision, Heuristic Problem So.
: Computer Science, Automat, architecture, artificial intelligence, automata, computer vision, formal verification, grid computing, intelligence, modeling, robot, robotics, simulation, systems theory, verification