Leveraging Applications of Formal Methods, Verification, and Validation (Registro nro. 890100)
[ vista simple ]
000 -CABECERA | |
---|---|
Longitud fija campo de control | 03901nam a2200505 i 4500 |
003 - IDENTIFICADOR DEL NÚMERO DE CONTROL | |
Identificador del número de control | OSt |
008 - CÓDIGOS DE INFORMACIÓN DE LONGITUD FIJA | |
Códigos de información de longitud fija | 121026s2012 gw | s |||| 0|eng d |
020 ## - NÚMERO INTERNACIONAL NORMALIZADO PARA LIBROS | |
Número Internacional Normalizado para Libros (ISBN) | 9783642347818 |
-- | 978-3-642-34781-8 |
040 ## - FUENTE DE LA CATALOGACIÓN | |
Centro catalogador | UCA |
Centro transcriptor | UCA |
080 ## - NÚMERO DE LA CLASIFICACIÓN DECIMAL UNIVERSAL | |
Número de la Clasificación Decimal Universal | 681.5 |
100 1# - PUNTO DE ACCESO PRINCIPAL-NOMBRE DE PERSONA | |
Nombre de persona | HÃ{u8BAC}e, Reiner. |
245 10 - MENCIÓN DE TÍTULO | |
Título | Leveraging Applications of Formal Methods, Verification, and Validation |
Medio | [Recurso electrónico] : |
Resto del título | International Workshops, SARS 2011 and MLSC 2011, Held Under the Auspices of ISoLA 2011 in Vienna, Austria, October 17-18, 2011. Revised Selected Papers / |
Mención de responsabilidad, etc. | edited by Reiner HÃ{u8BAC}e, Jens Knoop, Tiziana Margaria, Dietmar Schreiner, Bernhard Steffen. |
260 ## - PUBLICACIÓN, DISTRIBUCIÓN, ETC. (PIE DE IMPRENTA) | |
Lugar de publicación, distribución, etc. | Berlin, Heidelberg : |
Nombre del editor, distribuidor, etc. | Springer Berlin Heidelberg : |
-- | Imprint: Springer, |
Fecha de publicación, distribución, etc. | 2012. |
490 00 - MENCIÓN DE SERIE | |
Mención de serie | Communications in Computer and Information Science |
505 0# - NOTA DE CONTENIDO CON FORMATO | |
Nota de contenido con formato | Robot programming -- Languages and compilation techniques -- Real-time and fault tolerance -- Dependability -- Software architectures -- computer vision -- Cognitive robotics -- Multi-robot-coordination -- Simulation -- Bio-inspired algorithms -- Machine learning for anomaly detection -- Model construction in software product lines -- Classification of web service interfaces. |
520 ## - NOTA DE SUMARIO | |
Sumario, etc, | This volume contains a selection of revised papers that were presented at the Software Aspects of Robotic Systems, SARS 2011 Workshop and the Machine Learning for System Construction, MLSC 2011 Workshop, held during October 17-18 in Vienna, Austria, under the auspices of the International Symposium Series on Leveraging Applications of Formal Methods, Verification, and Validation, ISoLA. The topics covered by the papers of the SARS and the MLSC workshop demonstrate the breadth and the richness of the respective fields of the two workshops stretching from robot programming to languages and compilation techniques, to real-time and fault tolerance, to dependability, software architectures, computer vision, cognitive robotics, multi-robot-coordination, and simulation to bio-inspired algorithms, and from machine learning for anomaly detection, to model construction in software product lines to classification of web service interfaces. In addition the SARS workshop hosted a special session on the recently launched KOROS project on collaborating robot systems that is borne by a consortium of researchers of the faculties of architecture and planning, computer science, electrical engineering and information technology, and mechanical and industrial engineering at the Vienna University of Technology. The four papers devoted to this session highlight important research directions pursued in this interdisciplinary research project. |
506 ## - NOTA DE RESTRICCIONES AL ACCESO | |
Limitaciones de acceso | Restringido a usuarios de la UCA |
538 ## - NOTA DE DETALLES DEL SISTEMA | |
Nota de detalles del sistema | Modo de acceso: World Wide Web |
650 04 - PUNTO DE ACCESO ADICIONAL DE MATERIA - TÉRMINO DE MATERIA | |
Término de materia o nombre geográfico como elemento inicial | Inteligencia artificial |
9 (RLIN) | 4772 |
650 #0 - PUNTO DE ACCESO ADICIONAL DE MATERIA - TÉRMINO DE MATERIA | |
Término de materia o nombre geográfico como elemento inicial | Computer science. |
650 #0 - PUNTO DE ACCESO ADICIONAL DE MATERIA - TÉRMINO DE MATERIA | |
Término de materia o nombre geográfico como elemento inicial | Software engineering. |
650 #0 - PUNTO DE ACCESO ADICIONAL DE MATERIA - TÉRMINO DE MATERIA | |
Término de materia o nombre geográfico como elemento inicial | Data mining. |
650 #0 - PUNTO DE ACCESO ADICIONAL DE MATERIA - TÉRMINO DE MATERIA | |
Término de materia o nombre geográfico como elemento inicial | Information storage and retrieval systems. |
650 #0 - PUNTO DE ACCESO ADICIONAL DE MATERIA - TÉRMINO DE MATERIA | |
Término de materia o nombre geográfico como elemento inicial | Artificial intelligence. |
650 #0 - PUNTO DE ACCESO ADICIONAL DE MATERIA - TÉRMINO DE MATERIA | |
Término de materia o nombre geográfico como elemento inicial | Optical pattern recognition. |
650 #0 - PUNTO DE ACCESO ADICIONAL DE MATERIA - TÉRMINO DE MATERIA | |
Término de materia o nombre geográfico como elemento inicial | Computer Science. |
650 #0 - PUNTO DE ACCESO ADICIONAL DE MATERIA - TÉRMINO DE MATERIA | |
Término de materia o nombre geográfico como elemento inicial | Artificial Intelligence (incl. Robotics). |
650 #0 - PUNTO DE ACCESO ADICIONAL DE MATERIA - TÉRMINO DE MATERIA | |
Término de materia o nombre geográfico como elemento inicial | Data Mining and Knowledge Discovery. |
650 #0 - PUNTO DE ACCESO ADICIONAL DE MATERIA - TÉRMINO DE MATERIA | |
Término de materia o nombre geográfico como elemento inicial | Software Engineering. |
650 #0 - PUNTO DE ACCESO ADICIONAL DE MATERIA - TÉRMINO DE MATERIA | |
Término de materia o nombre geográfico como elemento inicial | Computation by Abstract Devices. |
650 #0 - PUNTO DE ACCESO ADICIONAL DE MATERIA - TÉRMINO DE MATERIA | |
Término de materia o nombre geográfico como elemento inicial | Information Storage and Retrieval. |
650 #0 - PUNTO DE ACCESO ADICIONAL DE MATERIA - TÉRMINO DE MATERIA | |
Término de materia o nombre geográfico como elemento inicial | Pattern Recognition. |
700 1# - PUNTO DE ACCESO ADICIONAL - NOMBRE DE PERSONA | |
Nombre de persona | Knoop, Jens. |
700 1# - PUNTO DE ACCESO ADICIONAL - NOMBRE DE PERSONA | |
Nombre de persona | Margaria, Tiziana. |
700 1# - PUNTO DE ACCESO ADICIONAL - NOMBRE DE PERSONA | |
Nombre de persona | Schreiner, Dietmar. |
700 1# - PUNTO DE ACCESO ADICIONAL - NOMBRE DE PERSONA | |
Nombre de persona | Steffen, Bernhard. |
740 0# - PUNTO DE ACCESO ADICIONAL - TÍTULO RELACIONADO O ANALÍTICO NO CONTROLADO | |
Título relacionado o analítico no controlado | SpringerLink e-Books (Servicio en línea) |
740 0# - PUNTO DE ACCESO ADICIONAL - TÍTULO RELACIONADO O ANALÍTICO NO CONTROLADO | |
Título relacionado o analítico no controlado | Springer e-books (Servicio en línea) |
740 0# - PUNTO DE ACCESO ADICIONAL - TÍTULO RELACIONADO O ANALÍTICO NO CONTROLADO | |
Título relacionado o analítico no controlado | Communications in Computer and Information Science (Servicio en línea) |
776 08 - ENLACE A UN FORMATO FÍSICO ADICIONAL | |
Información sobre la relación | Printed edition: |
Número Internacional Normalizado para Libros (ISBN) | 9783642347801 |
856 40 - LOCALIZACIÓN Y ACCESO ELECTRÓNICO | |
Identificador Uniforme del Recurso (URI) | <a href="http://dx.doi.org/10.1007/978-3-642-34781-8">http://dx.doi.org/10.1007/978-3-642-34781-8</a> |
Nota pública | Texto completo |
909 ## - No. registro Millennium | |
-- | inter |
-- | - |
942 ## - ENTRADA DE ELEMENTOS AGREGADOS (KOHA) | |
Suprimir del OPAC | No |
998 ## - CONTROL LOCAL DE INFORMACIÓN (RLIN) | |
Iniciales de operador, IOP (RLIN) | 0 |
Iniciales de catalogador, INC (RLIN) | 130306 |
Primera fecha, PF (RLIN) | e |
-- | y |
-- | - |
-- | 0 |
No hay ítems disponibles.