Sie befinden Sich nicht im Netzwerk der Universität Paderborn. Der Zugriff auf elektronische Ressourcen ist gegebenenfalls nur via VPN oder Shibboleth (DFN-AAI) möglich. mehr Informationen...
Zur Ergebnisliste
Ergebnis 19 von 20
    Datensatz exportieren als...
  • BibTeX
Leveraging Applications of Formal Methods, Verification, and Validation : International Workshops, SARS 2011 and MLSC 2011, Held Under the Auspices of ISoLA 2011 in Vienna, Austria, October 17-18, 2011. Revised Selected Papers [Elektronische Ressource]
Communications in Computer and Information Science
2012

Details

Autor(en) / Beteiligte
Titel
Leveraging Applications of Formal Methods, Verification, and Validation : International Workshops, SARS 2011 and MLSC 2011, Held Under the Auspices of ISoLA 2011 in Vienna, Austria, October 17-18, 2011. Revised Selected Papers [Elektronische Ressource]
Ist Teil von
  • Communications in Computer and Information Science
Ort / Verlag
Berlin, Heidelberg : Springer Berlin Heidelberg
Erscheinungsjahr
2012
Link zum Volltext
Sprache
Englisch
Identifikatoren
ISBN: 9783642347818
DOI: 10.1007/978-3-642-34781-8
OCLC-Nummer: 1076192493, 1076192493
Titel-ID: 990193583100206441
Format
XII, 261 p. 94 illus
Schlagworte
Computer science, Software engineering, Data mining, Information storage and retrieval systems, Artificial intelligence, Optical pattern recognition