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
