000 03712nam a22006255i 4500
001 978-3-642-27549-4
003 DE-He213
005 20240730190242.0
007 cr nn 008mamaa
008 120201s2012 gw | s |||| 0|eng d
020 _a9783642275494
_9978-3-642-27549-4
024 7 _a10.1007/978-3-642-27549-4
_2doi
050 4 _aQA76.9.C65
072 7 _aUYM
_2bicssc
072 7 _aCOM072000
_2bisacsh
072 7 _aUYM
_2thema
082 0 4 _a003.3
_223
245 1 0 _aComputer Aided Systems Theory -- EUROCAST 2011
_h[electronic resource] :
_b13th International Conference, Las Palmas de Gran Canaria, Spain, February 6-11, 2011, Revised Selected Papers, Part I /
_cedited by Roberto Moreno Díaz, Franz Pichler, Alexis Quesada Arencibia.
250 _a1st ed. 2012.
264 1 _aBerlin, Heidelberg :
_bSpringer Berlin Heidelberg :
_bImprint: Springer,
_c2012.
300 _aXXV, 637 p.
_bonline resource.
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
_bPDF
_2rda
490 1 _aTheoretical Computer Science and General Issues,
_x2512-2029 ;
_v6927
520 _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.
650 0 _aComputer simulation.
_95106
650 0 _aArtificial intelligence.
_93407
650 0 _aPattern recognition systems.
_93953
650 0 _aComputer vision.
_9141808
650 0 _aImage processing
_xDigital techniques.
_94145
650 0 _aComputer-aided engineering.
_914016
650 1 4 _aComputer Modelling.
_9141809
650 2 4 _aArtificial Intelligence.
_93407
650 2 4 _aAutomated Pattern Recognition.
_931568
650 2 4 _aComputer Vision.
_9141810
650 2 4 _aComputer Imaging, Vision, Pattern Recognition and Graphics.
_931569
650 2 4 _aComputer-Aided Engineering (CAD, CAE) and Design.
_931735
700 1 _aMoreno Díaz, Roberto.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_9141811
700 1 _aPichler, Franz.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_9141812
700 1 _aQuesada Arencibia, Alexis.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_9141813
710 2 _aSpringerLink (Online service)
_9141814
773 0 _tSpringer Nature eBook
776 0 8 _iPrinted edition:
_z9783642275487
776 0 8 _iPrinted edition:
_z9783642275500
830 0 _aTheoretical Computer Science and General Issues,
_x2512-2029 ;
_v6927
_9141815
856 4 0 _uhttps://doi.org/10.1007/978-3-642-27549-4
912 _aZDB-2-SCS
912 _aZDB-2-SXCS
912 _aZDB-2-LNC
942 _cELN
999 _c93158
_d93158