Zum Inhalt springen Hermanns, Holger [Herausgeber:in] ; PAPM PROBMIV 2 2002 Kopenhagen Process algebra and probabilistic methods : performance modeling and verification ; second joint international workshop ; proceedings Bücher Online ansehen Schließen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Berlin; Heidelberg [u.a.]: Springer, 2002 Erschienen in: Lecture notes in computer science ; 2399 Alfaro, Luca de [Sonstige Person, Familie und Körperschaft]; DeAlfaro, Luca [Herausgeber:in] ; PAPM PROBMIV 1 2001 Aachen Process algebra and probabilistic methods : performance modeling and verification ; joint international workshop ; proceedings Bücher Online ansehen Schließen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Berlin; Heidelberg [u.a.]: Springer-Verlag, 2001 Erschienen in: Lecture notes in computer science ; 2165 Hermanns, Holger [Verfasser:in] ; Segala, Roberto [Sonstige Person, Familie und Körperschaft] Process Algebra and Probabilistic Methods: Performance Modeling and Verification : Second Joint International Workshop PAPM-PROBMIV 2002 Copenhagen, Denmark, July 25–26, 2002 Proceedings Bücher Online ansehen Schließen > Zugang ... zum E-Book via DOI (Volltext) Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Berlin, Heidelberg: Springer-Verlag Berlin Heidelberg, 2002 Erschienen in: Lecture notes in computer science ; 2399 Alfaro, Luca [Verfasser:in] ; Gilmore, Stephen [Sonstige Person, Familie und Körperschaft] Process Algebra and Probabilistic Methods. Performance Modelling and Verification : Joint International Workshop, PAPM-PROBMIV 2001 Aachen, Germany, September 12–14, 2001 Proceedings Bücher Online ansehen Schließen > Zugang ... zum E-Book via DOI (Volltext) Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Berlin, Heidelberg: Springer-Verlag Berlin Heidelberg, 2001 Erschienen in: Lecture notes in computer science ; 2165
Hermanns, Holger [Herausgeber:in] ; PAPM PROBMIV 2 2002 Kopenhagen Process algebra and probabilistic methods : performance modeling and verification ; second joint international workshop ; proceedings Bücher Online ansehen Schließen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Berlin; Heidelberg [u.a.]: Springer, 2002 Erschienen in: Lecture notes in computer science ; 2399
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Alfaro, Luca de [Sonstige Person, Familie und Körperschaft]; DeAlfaro, Luca [Herausgeber:in] ; PAPM PROBMIV 1 2001 Aachen Process algebra and probabilistic methods : performance modeling and verification ; joint international workshop ; proceedings Bücher Online ansehen Schließen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Berlin; Heidelberg [u.a.]: Springer-Verlag, 2001 Erschienen in: Lecture notes in computer science ; 2165
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Hermanns, Holger [Verfasser:in] ; Segala, Roberto [Sonstige Person, Familie und Körperschaft] Process Algebra and Probabilistic Methods: Performance Modeling and Verification : Second Joint International Workshop PAPM-PROBMIV 2002 Copenhagen, Denmark, July 25–26, 2002 Proceedings Bücher Online ansehen Schließen > Zugang ... zum E-Book via DOI (Volltext) Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Berlin, Heidelberg: Springer-Verlag Berlin Heidelberg, 2002 Erschienen in: Lecture notes in computer science ; 2399
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Alfaro, Luca [Verfasser:in] ; Gilmore, Stephen [Sonstige Person, Familie und Körperschaft] Process Algebra and Probabilistic Methods. Performance Modelling and Verification : Joint International Workshop, PAPM-PROBMIV 2001 Aachen, Germany, September 12–14, 2001 Proceedings Bücher Online ansehen Schließen > Zugang ... zum E-Book via DOI (Volltext) Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Berlin, Heidelberg: Springer-Verlag Berlin Heidelberg, 2001 Erschienen in: Lecture notes in computer science ; 2165
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
> Verfügbarkeit Skip to next facet Magazinbestellung (2) Wert ausschließen zeige weitere weniger zeigen
> Standort Skip to next facet Bereichsbibliothek DrePunct (2) Wert ausschließen zeige weitere weniger zeigen
> Fachgebiet Skip to next facet Informatik (4) Wert ausschließen Mathematik (3) Wert ausschließen zeige weitere weniger zeigen
> Person/Institution Skip to next facet Hermanns, Holger (2) Wert ausschließen Alfaro, Luca (1) Wert ausschließen Alfaro, Luca de (1) Wert ausschließen DeAlfaro, Luca (1) Wert ausschließen Gilmore, Stephen (1) Wert ausschließen PAPM PROBMIV 1 2001 Aachen (1) Wert ausschließen PAPM PROBMIV 2 2002 Kopenhagen (1) Wert ausschließen Segala, Roberto (1) Wert ausschließen zeige weitere weniger zeigen