LEADER 04070nam  22007695  450 
001 996465907303316
005 20230406011549.0
010   $a3-642-27549-4
024 7 $a10.1007/978-3-642-27549-4
035   $a(CKB)3400000000025751
035   $a(SSID)ssj0000666009
035   $a(PQKBManifestationID)11402171
035   $a(PQKBTitleCode)TC0000666009
035   $a(PQKBWorkID)10646875
035   $a(PQKB)10582266
035   $a(DE-He213)978-3-642-27549-4
035   $a(MiAaPQ)EBC3070314
035   $a(PPN)159086922
035   $a(EXLCZ)993400000000025751
100   $a20120201d2012      u|             0
101 0 $aeng
135   $aurnn#008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aComputer Aided Systems Theory -- EUROCAST 2011$b[electronic resource] $e13th International Conference, Las Palmas de Gran Canaria, Spain, February 6-11, 2011, Revised Selected Papers, Part I /$fedited by Roberto Moreno Díaz, Franz Pichler, Alexis Quesada Arencibia
205   $a1st ed. 2012.
210  1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2012.
215   $a1 online resource (XXV, 637 p.)
225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v6927
300   $aBibliographic Level Mode of Issuance: Monograph
311   $a3-642-27548-6 
320   $aIncludes bibliographical references and author index.
330   $aThe two-volume proceedings, LNCS 6927 and LNCS 6928, constitute the papers presented at the 13th International Conference on Computer Aided Systems Theory, EUROCAST 2011, held in February 2011 in Las Palmas de Gran Canaria, Spain. The total of 160 papers presented were carefully reviewed and selected for inclusion in the books. The contributions are organized in topical sections on concepts and formal tools; software applications; computation and simulation in modelling biological systems; intelligent information processing; heurist problem solving; computer aided systems optimization; model-based system design, simulation, and verification; computer vision and image processing; modelling and control of mechatronic systems; biomimetic software systems; computer-based methods for clinical and academic medicine; modeling and design of complex digital systems; mobile and autonomous transportation systems; traffic behaviour, modelling and optimization; mobile computing platforms and technologies; and engineering systems applications.
410  0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v6927
606   $aComputer simulation
606   $aArtificial intelligence
606   $aPattern recognition systems
606   $aComputer vision
606   $aImage processing?Digital techniques
606   $aComputer-aided engineering
606   $aComputer Modelling
606   $aArtificial Intelligence
606   $aAutomated Pattern Recognition
606   $aComputer Vision
606   $aComputer Imaging, Vision, Pattern Recognition and Graphics
606   $aComputer-Aided Engineering (CAD, CAE) and Design
615  0$aComputer simulation.
615  0$aArtificial intelligence.
615  0$aPattern recognition systems.
615  0$aComputer vision.
615  0$aImage processing?Digital techniques.
615  0$aComputer-aided engineering.
615 14$aComputer Modelling.
615 24$aArtificial Intelligence.
615 24$aAutomated Pattern Recognition.
615 24$aComputer Vision.
615 24$aComputer Imaging, Vision, Pattern Recognition and Graphics.
615 24$aComputer-Aided Engineering (CAD, CAE) and Design.
676   $a003.3
702   $aMoreno Díaz$b Roberto$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aPichler$b Franz$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aQuesada Arencibia$b Alexis$4edt$4http://id.loc.gov/vocabulary/relators/edt
906   $aBOOK
912   $a996465907303316
996   $aComputer Aided Systems Theory -- EUROCAST 2011$92831615
997   $aUNISA