Computer Aided Systems Theory EUROCAST 2011 : 13th International Conference, Las Palmas de Gran Canaria, Spain, February 6-11, 2011, Revised Selected Papers, Part II

The 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 selecte...

Description complète

Enregistré dans:
Détails bibliographiques
Auteurs principaux : Moreno Díaz Roberto (Directeur de publication), Pichler Franz (Directeur de publication), Quesada Arencibia Alexis (Directeur de publication)
Format : Livre
Langue : anglais
Titre complet : Computer Aided Systems Theory EUROCAST 2011 : 13th International Conference, Las Palmas de Gran Canaria, Spain, February 6-11, 2011, Revised Selected Papers, Part II / edited by Roberto Moreno-Díaz, Franz Pichler, Alexis Quesada-Arencibia.
Publié : Berlin, Heidelberg : Springer Berlin Heidelberg , 2012
Cham
Collection : Theoretical computer science and general issues (Online) ; 6928
Accès en ligne : Accès Nantes Université
Accès direct soit depuis les campus via le réseau ou le wifi eduroam soit à distance avec un compte @etu.univ-nantes.fr ou @univ-nantes.fr
Sujets :
Documents associés : Autre format: Computer Aided Systems Theory EUROCAST 2011
Autre format: Computer Aided Systems Theory -- EUROCAST 2011
Description
Résumé : The 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.
ISBN : 978-3-642-27579-1