LEADER 03691nam 2200649Ia 450 001 9910483439403321 005 20200520144314.0 010 $a3-642-04772-6 024 7 $a10.1007/978-3-642-04772-5 035 $a(CKB)1000000000784705 035 $a(SSID)ssj0000316846 035 $a(PQKBManifestationID)11261826 035 $a(PQKBTitleCode)TC0000316846 035 $a(PQKBWorkID)10275982 035 $a(PQKB)10171768 035 $a(DE-He213)978-3-642-04772-5 035 $a(MiAaPQ)EBC3064641 035 $a(PPN)139958991 035 $a(EXLCZ)991000000000784705 100 $a20091007d2009 uy 0 101 0 $aeng 135 $aurnn#008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aComputer aided systems theory -- EUROCAST 2009 $e12th international conference, Las Palmas De Gran Canaria, Spain, February 15-20, 2009 : revised selected papers /$fRoberto Moreno-Diaz, Franz Pichler, Alexis Quesada-Arencibia (eds.) 205 $a1st ed. 2009. 210 $aBerlin ;$aNew York $cSpringer$dc2009 215 $a1 online resource (XVII, 950 p.) 225 1 $aLecture notes in computer science,$x0302-9743 ;$v5717 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-642-04771-8 320 $aIncludes bibliographical references and index. 327 $aSystems Theory and Simulation: Formal Approaches -- Computation and Simulation in Modelling Biological Systems -- Intelligent Information Processing -- Applied Formal Verification -- Computer Vision and Image Processing -- Mobile and Autonomous Systems: Robots and Cars -- Simulation Based System Optimization -- Signal Processing Methods in Systems Design and Cybernetics -- Polynomial Models in Control System Design -- Heuristic Problem Solving -- Simulation and Formal Methods in Systems Design and Engineering -- Models of Co-operative Engineering Systems. 330 $aThis book constitutes the thoroughly refereed post-proceedings of the 12th International Conference on Computer Aided Systems Theory, EUROCAST 2009, held in Las Palmas de Gran Canaria, Spain in February 2009. The 120 revised full papers presented were carefully reviewed and selected for inclusion in the book. The papers are organized in topical sections on systems theory and simulation: formal approaches, computation and simulation in modeling biological Systems, intelligent information processing, applied formal verification, computer vision and image processing, mobile and autonomous systems: robots and cars, simulation based system optimization, signal processing methods in systems design and cybernetics, polynomial models in control system design, heurist problem solving, simulation and formal methods in systems design and engineering, models of co-operative engineering systems. 410 0$aLecture notes in computer science ;$v5717. 517 3 $aEUROCAST 2009 606 $aComputer-aided design$vCongresses 606 $aComputer-aided engineering$vCongresses 606 $aSystem analysis$vCongresses 606 $aSystem theory$vCongresses 615 0$aComputer-aided design 615 0$aComputer-aided engineering 615 0$aSystem analysis 615 0$aSystem theory 676 $a620.00420285 701 $aMoreno-Diaz$b Roberto$053948 701 $aPichler$b Franz$cIng., Dr. phil.$0109399 701 $aQuesada Arencibia$b Alexis$01756990 712 12$aInternational Conference on Computer Aided Systems Theory 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910483439403321 996 $aComputer aided systems theory -- EUROCAST 2009$94194625 997 $aUNINA