Ihre Suche erzielte 3 Treffer.

Ergebnisse
	1.	Quantitative evaluation of systems 10th international conference, QEST 2013, Buenos Aires, Argentina, August 27-30, 2013 ; proceedings Kaustubh Joshi ... (ed.) von Joshi, Kaustubh [Hrsg.] Siegle, Markus [Hrsg.] Stoelinga, Mariëlle [Hrsg.] D'Argenio, Pedro R [Hrsg.] QEST 10 2013 Buenos Aires [oth] Reihen: ; 805400 \| Lecture notes in computer science ; 8054 Materialtyp: Text; Format: Druck Sprache: Englisch Verlagsnummer: 86301139 Verlag: Berlin Heidelberg [u.a.] Springer 2013 Online-Ressourcen: Inhaltstext Cover Inhaltsverzeichnis Inhaltsverzeichnis Zentralblatt MATH Inhaltstext Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) LNCS 8054. Vormerken Zum Korb hinzufügen (Entfernen)
	2.	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 Anne Remke ... (ed.) von Remke, Anne, 1980- [Hrsg.] Stoelinga, Mariëlle [Hrsg.] ROCKS 2012 Vahrn [oth] Reihen: ; 8453 \| Lecture notes in computer science ; 8453 Materialtyp: Text; Format: Druck Sprache: Englisch Verlagsnummer: 86387283 Verlag: Berlin Heidelberg [u.a.] Springer 2014 Online-Ressourcen: Inhaltsverzeichnis Inhaltsverzeichnis Inhaltstext Zentralblatt MATH Inhaltstext Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) LNCS 8453. Vormerken Zum Korb hinzufügen (Entfernen)
	3.	Formal modeling and analysis of timed systems 17th International Conference, FORMATS 2019, Amsterdam, The Netherlands, August 27-29, 2019, proceedings Étienne André, Mariëlle Stoelinga (Eds.) von FORMATS 17. 2019 Amsterdam [VerfasserIn] André, Etienne [HerausgeberIn] Stoelinga, Mariëlle, 1972- [HerausgeberIn] Reihen: ; 11750 \| Lecture notes in computer science ; 11750 Materialtyp: Text; Format: Druck Sprache: Englisch Verlag: Cham, Switzerland Springer [2019] Online-Ressourcen: Inhaltsverzeichnis Zentralblatt MATH Inhaltstext 1850-9999 Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) LNCS 11750. Vormerken Zum Korb hinzufügen (Entfernen)

Datenschutzhinweise

© 2023 Campusbibliothek für Informatik und Mathematik | GWDG

Powered by Koha