LEADER 05500nam 22009495 450 001 9910483459603321 005 20251226200125.0 010 $a3-540-75867-4 024 7 $a10.1007/978-3-540-75867-9 035 $a(CKB)1000000000490395 035 $a(SSID)ssj0000316845 035 $a(PQKBManifestationID)11225852 035 $a(PQKBTitleCode)TC0000316845 035 $a(PQKBWorkID)10275981 035 $a(PQKB)11009612 035 $a(DE-He213)978-3-540-75867-9 035 $a(MiAaPQ)EBC6281866 035 $a(MiAaPQ)EBC4976460 035 $a(Au-PeEL)EBL4976460 035 $a(CaONFJC)MIL135474 035 $a(OCoLC)1024255868 035 $a(PPN)123728754 035 $a(MiAaPQ)EBC5610950 035 $a(EXLCZ)991000000000490395 100 $a20100301d2007 u| 0 101 0 $aeng 135 $aurnn#008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aComputer Aided Systems Theory - EUROCAST 2007 $e11th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 12-16, 2007, Revised Selected Papers /$fedited by Roberto Moreno Díaz, Franz Pichler, Alexis Quesada Arencibia 205 $a1st ed. 2007. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2007. 215 $a1 online resource (XXXVIII, 1236 p.) 225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v4739 300 $aBibliographic Level Mode of Issuance: Monograph 311 08$a3-540-75866-6 320 $aIncludes bibliographical references and index. 327 $aSystems Theory and Simulation: 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 Solving -- Signal Processing Architectures -- Robotics and Robotic Soccer -- Cybercars and Intelligent Vehicles -- Artificial Intelligence Components. 330 $aThe concept of CAST as Computer Aided Systems Theory was introduced by F. Pichler in the late 1980s to encompass computer-theoretical and practical developments as tools for problem-solving in system science. It was thought of as the third of three components (the other two being CAD and CAM) that together provide a complete picture of the path from computer and systems sciences to practical developments in science and engineering. Franz Pichler, of the University of Linz, organized the first CAST workshop in April 1988, which demonstrated the acceptance of the concepts by the scientific and technical community. Next, the University of Las Palmas de Gran Canaria joined the University of Linz to organize the first international meeting on CAST (Las Palmas, February 1989), under the name EUROCAST 1989. This proved to be a very successful gathering of systems theorists, computer scientists and engineers from Europe, North America and Japan. It was agreed that EUROCAST international conferences would be organized every two years. Thus, successive EUROCAST meetings have taken place in Krems (1991), Las Palmas (1993), Innsbruck (1995), Las Palmas (1997), Vienna (1999), Las Palmas (2001), Las Palmas (2003) and Las Palmas (2005), in addition to an extra- European CAST Conference in Ottawa in 1994. Selected papers from those meetings were published in springer?s Lecture Notes in Computer Science series, as numbers 410, 585, 763, 1030, 1333, 1798, 2178, 2809 and 3643, and in several special issues of the international journal Cybernetics and Systems. 410 0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v4739 606 $aComputer-aided engineering 606 $aComputer simulation 606 $aPattern recognition systems 606 $aArtificial intelligence 606 $aComputer science 606 $aMicroprocessors 606 $aComputer architecture 606 $aComputer-Aided Engineering (CAD, CAE) and Design 606 $aComputer Modelling 606 $aAutomated Pattern Recognition 606 $aArtificial Intelligence 606 $aComputer Science Logic and Foundations of Programming 606 $aProcessor Architectures 615 0$aComputer-aided engineering. 615 0$aComputer simulation. 615 0$aPattern recognition systems. 615 0$aArtificial intelligence. 615 0$aComputer science. 615 0$aMicroprocessors. 615 0$aComputer architecture. 615 14$aComputer-Aided Engineering (CAD, CAE) and Design. 615 24$aComputer Modelling. 615 24$aAutomated Pattern Recognition. 615 24$aArtificial Intelligence. 615 24$aComputer Science Logic and Foundations of Programming. 615 24$aProcessor Architectures. 676 $a620.00285 686 $a004$2sdnb 686 $aMSR 580f$2stub 686 $aSS 4800$2rvk 702 $aMoreno-Di?az$b Roberto$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aPichler$b Franz$f1936-$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aQuesada Arencibia$b Alexis$4edt$4http://id.loc.gov/vocabulary/relators/edt 712 12$aInternational Conference on Computer Aided Systems Theory. 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910483459603321 996 $aComputer Aided Systems Theory – EUROCAST 2007$9772489 997 $aUNINA