Katalog der Deutschen Nationalbibliothek

Neuigkeiten Donnerstag, 11. September 2025: Die Deutsche Nationalbibliothek öffnet wegen eines Beschäftigtentreffens an beiden Standorten erst um 15 Uhr. // Thursday, 11 September 2025: The German National Library will not open until 15:00 due to a staff meeting at both locations.
 
 
 


Ergebnis der Suche nach: tit all "Advances in Probabilistic Model Checking."
im Bestand: Gesamter Bestand

1 - 3 von 3
<< < > >>


Online Ressourcen 1 Probabilistic Model Checking for Strategic Equilibria-Based Decision Making: Advances and Challenges (Invited Talk)
Kwiatkowska, Marta Z.. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2022 		Online Ressource
Online Ressourcen 2 Advances in probabilistic model checking with PRISM
Klein, Joachim. - Dresden : Technische Universität Dresden, 2021 		Online Ressource
Online Ressourcen 3 Advances in Symbolic Probabilistic Model Checking with PRISM
Klein, Joachim. - Dresden : Technische Universität Dresden, 2021 		Online Ressource


1 - 3 von 3
<< < > >>




Materialarten

Alle Materialarten > Online Ressourcen (3)

Standorte

Alle Standorte > Online (frei zugänglich) (3)

Aktionen

Aktionen


E-Mail-IconAdministration