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 5 von 7
    Datensatz exportieren als...
  • BibTeX
Interactive Systems. Design Specification, and Verification : 12th International Workshop, DSVIS 2005, Newcastle upon Tyne, UK, July 13-15, 2005, Revised Papers [Elektronische Ressource]
2006

Details

Autor(en) / Beteiligte
Titel
Interactive Systems. Design Specification, and Verification : 12th International Workshop, DSVIS 2005, Newcastle upon Tyne, UK, July 13-15, 2005, Revised Papers [Elektronische Ressource]
Ort / Verlag
Berlin Heidelberg : Springer-Verlag GmbH.
Erscheinungsjahr
2006
Link zum Volltext
Sprache
–
Identifikatoren
ISBN: 9783540341468
DOI: 10.1007/11752707
OCLC-Nummer: 1074283424, 1074283424
Titel-ID: 990018152100106463
Format
–
Schlagworte
Mensch-Maschine-Kommunikation, Benutzeroberfläche, Softwarespezifikation, Systementwurf, Online-Ressource, Mobile Computing, Computer Communication Networks, Computer science, Information storage and retrieval systems, Logic design, Software engineering