Book Details

978-3-540-75867-9

Computer Aided Systems Theory – EUROCAST 2007

Publication year: 2007

ISBN: 978-3-540-75867-9

Internet Resource: Please Login to download book


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.


Subject: Computer Science, Automat, architecture, artificial intelligence, automata, computer vision, formal verification, grid computing, intelligence, modeling, robot, robotics, simulation, systems theory, verification