Katalog der Deutschen Nationalbibliothek
Ergebnis der Suche nach: "{{{1}}}"
Treffer 99650 von 394271
|
|
| Link zu diesem Datensatz | https://d-nb.info/1015465838 |
| Art des Inhalts | Hochschulschrift |
| Titel | An integrated formal task specification method for smart environments / Maik Wurdel |
| Person(en) | Wurdel, Maik (Verfasser) |
| Verlag | Berlin : Logos-Verl. |
| Zeitliche Einordnung | Erscheinungsdatum: 2011 |
| Umfang/Format | XV, 210 S. : Ill., graph. Darst. ; 21 cm |
| Hochschulschrift | Zugl.: Rostock, Univ., Diss., 2011 |
| ISBN/Einband/Preis |
978-3-8325-2948-2 kart. : EUR 50.50 (DE), EUR 51.90 (AT), sfr 87.90 (freier Pr.) 3-8325-2948-9 |
| EAN | 9783832529482 |
| Sprache(n) | Englisch (eng) |
| Schlagwörter | Ambient Intelligence ; Mensch-Maschine-Kommunikation ; Aufgabenanalyse ; Kontextbezogenes System ; Benutzerorientierung ; Requirements engineering ; Modellgetriebene Entwicklung ; Entwurfssprache ; Verfeinerung ; Formale Spezifikationstechnik |
| DDC-Notation | 004.019 [DDC22ger]; 005.12 [DDC22ger]; 006.777 [DDC22ger] |
| Sachgruppe(n) | 004 Informatik |
| Weiterführende Informationen |
Inhaltsverzeichnis Inhaltstext |
| Frankfurt |
Signatur: 2012 A 13352
Bereitstellung in Frankfurt |
| Leipzig |
Signatur: 2012 A 8774
Bereitstellung in Leipzig |
Treffer 99650 von 394271
Administration
