| 000 -LEADER |
|---|
| fixed length control field |
04017nam a22005655i 4500 |
| 003 - CONTROL NUMBER IDENTIFIER |
|---|
| control field |
OSt |
| 005 - DATE AND TIME OF LATEST TRANSACTION |
|---|
| control field |
20140310151127.0 |
| 007 - PHYSICAL DESCRIPTION FIXED FIELD--GENERAL INFORMATION |
|---|
| fixed length control field |
cr nn 008mamaa |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION |
|---|
| fixed length control field |
121026s2012 gw | s |||| 0|eng d |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
9783642347818 |
|
978-3-642-34781-8 |
| 050 #4 - LIBRARY OF CONGRESS CALL NUMBER |
|---|
| Classification number |
Q334-342 |
|
|---|
| Classification number |
TJ210.2-211.495 |
| 082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER |
|---|
| Classification number |
006.3 |
| Edition number |
23 |
| 264 #1 - |
|---|
| -- |
Berlin, Heidelberg : |
| -- |
Springer Berlin Heidelberg : |
| -- |
Imprint: Springer, |
| -- |
2012. |
| 912 ## - |
|---|
| -- |
ZDB-2-SCS |
| 100 1# - MAIN ENTRY--PERSONAL NAME |
|---|
| Personal name |
Hähnle, Reiner. |
| Relator term |
editor. |
| 245 10 - IMMEDIATE SOURCE OF ACQUISITION NOTE |
|---|
| Title |
Leveraging Applications of Formal Methods, Verification, and Validation |
| Medium |
[electronic resource] : |
| Remainder of title |
International Workshops, SARS 2011 and MLSC 2011, Held Under the Auspices of ISoLA 2011 in Vienna, Austria, October 17-18, 2011. Revised Selected Papers / |
| Statement of responsibility, etc |
edited by Reiner Hähnle, Jens Knoop, Tiziana Margaria, Dietmar Schreiner, Bernhard Steffen. |
| 300 ## - PHYSICAL DESCRIPTION |
|---|
| Extent |
XII, 261 p. 94 illus. |
| Other physical details |
online resource. |
| 440 1# - SERIES STATEMENT/ADDED ENTRY--TITLE |
|---|
| Title |
Communications in Computer and Information Science, |
| International Standard Serial Number |
1865-0929 |
| 505 0# - FORMATTED CONTENTS NOTE |
|---|
| Formatted contents note |
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 ## - SUMMARY, ETC. |
|---|
| Summary, 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. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Computer science. |
|
|---|
| Topical term or geographic name as entry element |
Software engineering. |
|
|---|
| Topical term or geographic name as entry element |
Data mining. |
|
|---|
| Topical term or geographic name as entry element |
Information storage and retrieval systems. |
|
|---|
| Topical term or geographic name as entry element |
Artificial intelligence. |
|
|---|
| Topical term or geographic name as entry element |
Optical pattern recognition. |
|
|---|
| Topical term or geographic name as entry element |
Computer Science. |
|
|---|
| Topical term or geographic name as entry element |
Artificial Intelligence (incl. Robotics). |
|
|---|
| Topical term or geographic name as entry element |
Data Mining and Knowledge Discovery. |
|
|---|
| Topical term or geographic name as entry element |
Software Engineering. |
|
|---|
| Topical term or geographic name as entry element |
Computation by Abstract Devices. |
|
|---|
| Topical term or geographic name as entry element |
Information Storage and Retrieval. |
|
|---|
| Topical term or geographic name as entry element |
Pattern Recognition. |
| 700 1# - ADDED ENTRY--PERSONAL NAME |
|---|
| Personal name |
Knoop, Jens. |
| Relator term |
editor. |
|
|---|
| Personal name |
Margaria, Tiziana. |
| Relator term |
editor. |
|
|---|
| Personal name |
Schreiner, Dietmar. |
| Relator term |
editor. |
|
|---|
| Personal name |
Steffen, Bernhard. |
| Relator term |
editor. |
| 710 2# - ADDED ENTRY--CORPORATE NAME |
|---|
| Corporate name or jurisdiction name as entry element |
SpringerLink (Online service) |
| 773 0# - HOST ITEM ENTRY |
|---|
| Title |
Springer eBooks |
| 776 08 - ADDITIONAL PHYSICAL FORM ENTRY |
|---|
| Display text |
Printed edition: |
| International Standard Book Number |
9783642347801 |
| 856 40 - ELECTRONIC LOCATION AND ACCESS |
|---|
| Uniform Resource Identifier |
http://dx.doi.org/10.1007/978-3-642-34781-8 |
| 942 ## - ADDED ENTRY ELEMENTS (KOHA) |
|---|
| Source of classification or shelving scheme |
|
| Item type |
E-Book |
