Nantilus
Computer Aided Systems Theory EUROCAST 2011 : 13th International Conference, Las Palmas de Gran Canaria, Spain, February 6-11, 2011, Revised Selected Papers, Part I
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...
Enregistré dans:
| Auteurs principaux : | , , |
|---|---|
| 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 I / 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) ; 6927 |
| 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 |
| LEADER | 04154clm a2200721 4500 | ||
|---|---|---|---|
| 001 | PPN159086922 | ||
| 003 | http://www.sudoc.fr/159086922 | ||
| 005 | 20241001154900.0 | ||
| 010 | |a 978-3-642-27549-4 | ||
| 017 | 7 | 0 | |a 10.1007/978-3-642-27549-4 |2 DOI |
| 035 | |a (OCoLC)807331470 | ||
| 035 | |a Springer978-3-642-27549-4 | ||
| 035 | |a Springer-11645-978-3-642-27549-4 | ||
| 100 | |a 20120309d2012 u |0frey0103 ba | ||
| 101 | 0 | |a eng |2 639-2 | |
| 102 | |a DE | ||
| 135 | |a dr||||||||||| | ||
| 181 | |6 z01 |c txt |2 rdacontent | ||
| 181 | 1 | |6 z01 |a i# |b xxxe## | |
| 182 | |6 z01 |c c |2 rdamedia | ||
| 182 | 1 | |6 z01 |a b | |
| 183 | |6 z01 |a ceb |2 RDAfrCarrier | ||
| 200 | 1 | |a Computer Aided Systems Theory EUROCAST 2011 |e 13th International Conference, Las Palmas de Gran Canaria, Spain, February 6-11, 2011, Revised Selected Papers, Part I |f edited by Roberto Moreno-Díaz, Franz Pichler, Alexis Quesada-Arencibia. | |
| 214 | 0 | |a Berlin, Heidelberg |c Springer Berlin Heidelberg | |
| 214 | 2 | |a Cham |b Springer Nature |d 2012 | |
| 225 | 0 | |a Theoretical Computer Science and General Issues |x 2512-2029 |v 6927 | |
| 330 | |a 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. | ||
| 371 | 0 | |a L'accès complet à la ressource est réservé aux usagers des établissements qui en ont fait l'acquisition | |
| 410 | | | |0 200114832 |t Theoretical computer science and general issues (Online) |x 2512-2029 |v 6927 | |
| 452 | | | |t Computer Aided Systems Theory EUROCAST 2011 |b Texte imprimé |y 9783642275487 | |
| 452 | | | |t Computer Aided Systems Theory -- EUROCAST 2011 |b Texte imprimé |y 9783642275500 | |
| 606 | |3 PPN027234886 |a Informatique |2 rameau | ||
| 606 | |3 PPN027351572 |a Simulation par ordinateur |2 rameau | ||
| 606 | |3 PPN027234541 |a Intelligence artificielle |2 rameau | ||
| 606 | |3 PPN027234657 |a Traitement d'images |2 rameau | ||
| 606 | |3 PPN030284244 |a Perception des structures |2 rameau | ||
| 606 | |3 PPN030432618 |a Ingénierie assistée par ordinateur |2 rameau | ||
| 610 | 1 | |a Computer Science | |
| 610 | 2 | |a Artificial Intelligence (incl. Robotics) | |
| 610 | 2 | |a Simulation and Modeling | |
| 610 | 2 | |a Pattern Recognition | |
| 610 | 2 | |a Image Processing and Computer Vision | |
| 610 | 2 | |a Computer Imaging, Vision, Pattern Recognition and Graphics | |
| 610 | 2 | |a Computer-Aided Engineering (CAD, CAE) and Design | |
| 610 | 2 | |a Artificial Intelligence. | |
| 610 | 2 | |a Computer Vision | |
| 610 | 1 | |a Computer Modelling | |
| 610 | 2 | |a Automated Pattern Recognition | |
| 615 | |a @Computer Science |n 11645 |2 Springer | ||
| 676 | |a 003.3 |v 23 | ||
| 676 | |a 004 | ||
| 680 | |a QA76.9.C65 | ||
| 700 | 1 | |a Moreno Díaz |b Roberto |4 651 | |
| 701 | 1 | |a Pichler |b Franz |4 651 | |
| 701 | 1 | |a Quesada Arencibia |b Alexis |4 651 | |
| 801 | 3 | |a FR |b Abes |c 20231126 |g AFNOR | |
| 801 | 1 | |a DE |b Springer |c 20230502 |g AACR2 | |
| 856 | 4 | |5 441099901:830849971 |u https://budistant.univ-nantes.fr/login?url=https://doi.org/10.1007/978-3-642-27549-4 | |
| 915 | |5 441099901:830849971 |b SPRING13-00109 | ||
| 930 | |5 441099901:830849971 |b 441099901 |j g | ||
| 991 | |5 441099901:830849971 |a Exemplaire créé en masse par ITEM le 30-09-2024 16:09 | ||
| 997 | |a NUM |b SPRING13-00109 |d NUMpivo |e EM |s d | ||
| 998 | |a 977936 | ||