Katalog der Deutschen Nationalbibliothek

Neuigkeiten Aktuell kommt es bei einigen unserer Dienste zu technischen Störungen. Wir arbeiten daran, das Problem zu lösen.
 
Neuigkeiten Die Deutsche Nationalbibliothek in Frankfurt am Main ist an Fronleichnam, Donnerstag, 4. Juni 2026 geschlossen. // The German National Library in Frankfurt am Main will be closed on Thursday, 4 June 2026 due to a public holiday (Fronleichnam).
 
Neuigkeiten Mittwoch, den 10. Juni 2026 öffnen die Lesesäle der Deutschen Nationalbibliothek in Leipzig erst ab 13 Uhr. // On Wednesday 10 June 2026 The German National Library in Leipzig will not open until 13:00.
 
 

Ergebnis der Suche nach: dcs=003*

Zurück zur Trefferliste


Treffer 284 von 914 < < > <



Online Ressourcen
Link zu diesem Datensatz https://d-nb.info/106037157X
Art des Inhalts Konferenzschrift
Titel Stochastic Model Checking. Rigorous Dependability Analysis Using Model Checking Techniques for Stochastic Systems : International Autumn School, ROCKS 2012, Vahrn, Italy, October 22-26, 2012, Advanced Lectures
Verlag Cham : Springer International Publishing
Zeitliche Einordnung Erscheinungsdatum: 2014
Umfang/Format Online-Ressource (pdf)
Persistent Identifier URN: urn:nbn:de:1111-20141104166
DOI: 10.1007/978-3-662-45489-3
URL https://link.springer.com/book/10.1007/978-3-662-45489-3 (Verlag)
ISBN/Einband/Preis 978-3-662-45489-3
EAN 9783662454893
Beziehungen Lecture Notes in Computer Science
Anmerkungen Lizenzpflichtig
Schlagwörter Stochastisches System ; Mathematisches Modell ; Model Checking ; Vahrn <2012>
DDC-Notation 003.76 [DDC22ger]
Sachgruppe(n) 000 Allgemeines, Wissenschaft ; 510 Mathematik

Online-Zugriff Archivobjekt öffnen




Treffer 284 von 914
< < > <




Aktionen

Aktionen


E-Mail-IconKorrekturanfrage


E-Mail-IconAdministration