|
|
|
Stochastic Model Checking. Rigorous Dependability Analysis Using Model Checking Techniques for Stochastic Systems [electronic resource] : International Autumn School, ROCKS 2012, Vahrn, Italy, October 22-26, 2012, Advanced Lectures / edited by Anne Remke, Mari�elle Stoelinga.
by Remke, Anne [editor.] | Stoelinga, Mari�elle [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type:  Book; Format:
electronic
available online
 ; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available
|
|
|
|
Analytical and Stochastic Modelling Techniques and Applications [electronic resource] : 22nd International Conference, ASMTA 2015, Albena, Bulgaria, May 26-29, 2015. Proceedings / edited by Marco Gribaudo, Daniele Manini, Anne Remke.
by Gribaudo, Marco [editor.] | Manini, Daniele [editor.] | Remke, Anne [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available
|
|
|
|
Measurement, Modelling and Evaluation of Dependable Computer and Communication Systems [electronic resource] : 18th International GI/ITG Conference, MMB & DFT 2016, M�unster, Germany, April 4-6, 2016, Proceedings / edited by Anne Remke, Boudewijn R. Haverkort.
by Remke, Anne [editor.] | Haverkort, Boudewijn R [editor.] | SpringerLink (Online service). Edition: 1st ed. 2016.Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016Online access: Click here to access online Availability: No items available
|
|
|
|
Quantitative Evaluation of Systems [electronic resource] : 17th International Conference, QEST 2020, Vienna, Austria, August 31 - September 3, 2020, Proceedings / edited by Marco Gribaudo, David N. Jansen, Anne Remke.
by Gribaudo, Marco [editor.] | Jansen, David N [editor.] | Remke, Anne [editor.] | SpringerLink (Online service). Edition: 1st ed. 2020.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2020Online access: Click here to access online Availability: No items available
|
|
|
|
Analytical and Stochastic Modelling Techniques and Applications [electronic resource] : 22nd International Conference, ASMTA 2015, Albena, Bulgaria, May 26-29, 2015. Proceedings / edited by Marco Gribaudo, Daniele Manini, Anne Remke.
by Gribaudo, Marco [editor.] | Manini, Daniele [editor.] | Remke, Anne [editor.] | SpringerLink (Online service). Edition: 1st ed. 2015.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available
|
|
|
|
Distributed Applications and Interoperable Systems [electronic resource] : 20th IFIP WG 6.1 International Conference, DAIS 2020, Held as Part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15-19, 2020, Proceedings / edited by Anne Remke, Valerio Schiavoni.
by Remke, Anne [editor.] | Schiavoni, Valerio [editor.] | SpringerLink (Online service). Edition: 1st ed. 2020.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2020Online access: Click here to access online Availability: No items available
|
|
|
|
Measurement, Modelling and Evaluation of Dependable Computer and Communication Systems [electronic resource] : 18th International GI/ITG Conference, MMB & DFT 2016, Münster, Germany, April 4-6, 2016, Proceedings / edited by Anne Remke, Boudewijn R. Haverkort.
by Remke, Anne [editor.] | Haverkort, Boudewijn R [editor.] | SpringerLink (Online service). Edition: 1st ed. 2016.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016Online access: Click here to access online Availability: No items available
|
|
|
|
Stochastic Model Checking [electronic resource] : International Autumn School, ROCKS 2012, Vahrn, Italy, October 22-26, 2012. Advanced Lectures / edited by Anne Remke, Mariëlle Stoelinga.
by Remke, Anne [editor.] | Stoelinga, Mariëlle [editor.] | SpringerLink (Online service). Edition: 1st ed. 2014.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available
|
|
|
|
Computer Performance Engineering [electronic resource] : 15th European Workshop, EPEW 2018, Paris, France, October 29-30, 2018, Proceedings / edited by Rena Bakhshi, Paolo Ballarini, Benoît Barbot, Hind Castel-Taleb, Anne Remke.
by Bakhshi, Rena [editor.] | Ballarini, Paolo [editor.] | Barbot, Benoît [editor.] | Castel-Taleb, Hind [editor.] | Remke, Anne [editor.] | SpringerLink (Online service). Edition: 1st ed. 2018.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018Online access: Click here to access online Availability: No items available
|
