UB Paderborn / Katalog / Suche / im Katalog

Sortiert nach

Sie befinden Sich nicht im Netzwerk der Universität Paderborn. Der Zugriff auf elektronische Ressourcen ist gegebenenfalls nur via VPN oder Shibboleth (DFN-AAI) möglich. mehr Informationen...

Lectures on Formal Methods and PerformanceAnalysis : First EEF/Euro Summer School on Trends in Computer Science Bergen Dal, The Netherlands, July 3–7, 2000 Revised Lectures [Elektronische Ressource]

2001

Link zum Volltext
Springer Lecture Notes in Computer Science 1997-2015 (ZDB-2-LNC)

Process Algebra and Probabilistic Methods: Performance Modeling and Verification : Second Joint International Workshop PAPM-PROBMIV 2002 Copenhagen, Denmark, July 25–26, 2002 Proceedings [Elektronische Ressource]

2002

Link zum Volltext
Springer Lecture Notes in Computer Science 1997-2015 (ZDB-2-LNC)

Interactive Markov Chains : And the Quest for Quantified Quality [Elektronische Ressource]

Hermanns, Holger

2002

Link zum Volltext
Springer Lecture Notes in Computer Science 1997-2015 (ZDB-2-LNC)

1 – 3 von 3

Suche als RSS-Feed

Aktive Filter

Autor / AutorinHermanns, Holger

Suchergebnisse filtern

Filter anzeigen

Art des Mediums

Online-Ressource
(3)

Autor / Autorin

Erscheinungsform

Monographie
(3)

Schlagwort

11 weitere anzeigen...

Weniger anzeigen...

Erscheinungsjahr

n.n

Neu hinzugefügt

Sprache

Englisch
(3)

Art des Inhalts

Sonstiges
(3)

Menü

Weitere Dienste

Einstellungen

Lectures on Formal Methods and PerformanceAnalysis : First EEF/Euro Summer School on Trends in Computer Science Bergen Dal, The Netherlands, July 3–7, 2000 Revised Lectures [Elektronische Ressource]

Process Algebra and Probabilistic Methods: Performance Modeling and Verification : Second Joint International Workshop PAPM-PROBMIV 2002 Copenhagen, Denmark, July 25–26, 2002 Proceedings [Elektronische Ressource]

Interactive Markov Chains : And the Quest for Quantified Quality [Elektronische Ressource]

Aktive Filter

Suchergebnisse filtern