Katalog der Deutschen Nationalbibliothek

Neuigkeiten

Leichte Bedienung, intuitive Suche: Die Betaversion unseres neuen Katalogs ist online! → Zur Betaversion des neuen DNB-Katalogs

 
Neuigkeiten 2. bis 5. Oktober 2025: Der Kartenlesesaal in Leipzig ist geschlossen. // 2 to 5 October 2025: The map reading room in Leipzig is closed.
 
 

Ergebnis der Suche nach: tit all "Preface."

Zurück zur Trefferliste


Treffer 5396 von 5952 < < > <



Artikel
Link zu diesem Datensatz https://d-nb.info/1192010566
Titel Preface to the special issue on Probabilistic Model Checking / by Christel Baier, Marta Kwiatkowska
Person(en) Baier, Christel (Verfasser)
Kwiatkowska, Marta Z. (Verfasser)
Organisation(en) SpringerLink (Online service) (Sonstige)
Umfang/Format Online-Ressource : online resource.
Persistent Identifier URN: urn:nbn:de:101:1-2019080208452876665471
DOI: 10.1007/s10703-013-0194-4
URL https://doi.org/10.1007/s10703-013-0194-4
Zeitliche Einordnung Erscheinungsdatum: 2013
DDC-Notation 004.3 (maschinell ermittelte DDC-Kurznotation)
Sprache(n) Englisch (eng)
Beziehungen Enthalten in: Formal methods in system design (Bd. 43, 17.8.2013, Nr. 2, date:10.2013: 121-123)
Sachgruppe(n) 004 Informatik

Online-Zugriff Archivobjekt öffnen




Treffer 5396 von 5952
< < > <




Aktionen

Aktionen


E-Mail-IconKorrekturanfrage

E-Mail-IconAdministration