Katalog der Deutschen Nationalbibliothek
Ergebnis der Suche nach: dcs=519*
Treffer 514 von 899
|
|
| Link zu diesem Datensatz | https://d-nb.info/1001212207 |
| Art des Inhalts | Hochschulschrift |
| Titel | Diagnosis, synthesis and analysis of probabilistic models / door Tingting Han |
| Person(en) | Han, Tingting (Verfasser) |
| Verlag | Enschede : Twente Univ. Press |
| Zeitliche Einordnung | Erscheinungsdatum: 2009 |
| Umfang/Format | XII, 191 S. : graph. Darst. ; 24 cm |
| Hochschulschrift | Zugl.: Aachen, Techn. Hochsch., Diss., 2009 |
| ISBN/Einband/Preis | 978-90-365-2858-0 kart. |
| Identifikationsnummern | Reportnummer: CTIT 09-149 |
| Sprache(n) | Englisch (eng) |
| Beziehungen |
Technische Universiteit Eindhoven. Instituut voor Programmatuurkunde en Algoritmiek: IPA dissertation series ; 2009,21 Universiteit Twente. Centre for Telematics and Information Technology: CTIT Ph.D.-thesis series ; 149 |
| Schlagwörter | Richtigkeit von Ergebnissen ; Model Checking ; Stochastischer Automat ; Markov-Modell |
| DDC-Notation | 519.233 [DDC22ger] |
| Sachgruppe(n) | 510 Mathematik ; 004 Informatik |
| Leipzig |
Signatur: 2010 A 51162
Bereitstellung in Leipzig |
Treffer 514 von 899
Administration
