Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
Computer Safety, Reliability, and Security: 19th International Conference, SAFECOMP 2000, Rotterdam, the Netherlands, October 24-27, 2000 ProceedingsKoornneef, Floor ; Meulen, Meine van der Koornneef, Floor ; van der Meulen, MeineBerlin, Heidelberg: Springer Berlin / Heidelberg 2000Texto completo disponível |
|
2 |
Material Type: Livro
|
Computer Safety, Reliability, and Security: 23rd International Conference, SAFECOMP 2004, Potsdam, Germany, September 21-24,2004, ProceedingsHeisel, Maritta ; Liggesmeyer, Peter ; Wittmann, Stefan Liggesmeyer, Peter ; Wittmann, Stefan ; Heisel, MarittaBerlin, Heidelberg: Springer Berlin / Heidelberg 2004Texto completo disponível |
|
3 |
Material Type: Livro
|
Computer Performance Evaluation: Modelling Techniques and Tools. 12th International Conference, TOOLS 2002 London, UK, April 14-17, 2002 ProceedingsField, Tony ; Harrison, Peter G ; Bradley, Jeremy ; Harder, Uli Bradley, Jeremy ; Harder, Uli ; Field, Tony ; Harrison, Peter G.Berlin, Heidelberg: Springer Berlin / Heidelberg 2002Texto completo disponível |
|
4 |
Material Type: Livro
|
Computer Performance Engineering: 13th European Workshop, EPEW 2016, Chios, Greece, October 5-7, 2016, ProceedingsFiems, Dieter ; Paolieri, Marco ; Platis, Agapios N Fiems, Dieter ; Paolieri, Marco ; Platis, Agapios N ; Paolieri, Marco ; Fiems, Dieter ; Platis, Agapios N.Cham: Springer Nature 2016Texto completo disponível |
|
5 |
Material Type: Livro
|
Dependable Computing — EDCC-1: First European Dependable Computing Conference Berlin, Germany, October 4–6, 1994 ProceedingsEchtle, Klaus ; Hammer, Dieter ; Powell, David Echtle, Klaus ; Powell, David ; Hammer, DieterBerlin, Heidelberg: Springer Berlin Heidelberg 1994Texto completo disponível |
|
6 |
Material Type: Livro
|
Dependable Computing — EDCC-2: Second European Dependable Computing Conference Taormina, Italy, October 2–4, 1996 ProceedingsHlawiczka, Andrzej ; Silva, João Gabriel ; Simoncini, Luca Hlawiczka, Andrzej ; Silva, João Gabriel ; Simoncini, LucaBerlin, Heidelberg: Springer Berlin Heidelberg 1996Texto completo disponível |
|
7 |
Material Type: Livro
|
Computer Safety, Reliability, and Security: SAFECOMP 2014 Workshops: ASCoMS, DECSoS, DEVVARTS, ISSE, ReSA4CI, SASSUR. Florence, Italy, September 8-9, 2014, ProceedingsBondavalli, Andrea ; Ceccarelli, Andrea ; Ortmeier, Frank Ceccarelli, Andrea ; Ortmeier, Frank ; Bondavalli, AndreaCham: Springer Nature 2014Texto completo disponível |
|
8 |
Material Type: Livro
|
Computer Performance Engineering: 12th European Workshop, EPEW 2015, Madrid, Spain, August 31 - September 1, 2015, ProceedingsBeltrán, Marta ; Knottenbelt, William ; Bradley, Jeremy Knottenbelt, William ; Bradley, Jeremy ; Beltr'n, MartaCham: Springer Nature 2015Texto completo disponível |
|
9 |
Material Type: Livro
|
Computer Safety, Reliability, and Security: 31st International Conference, SAFECOMP 2012, Magdeburg, Germany, September 25-28, 2012, ProceedingsOrtmeier, Frank ; Daniel, Peter Daniel, Peter ; Ortmeier, FrankNetherlands: Springer Nature 2012Texto completo disponível |
|
10 |
Material Type: Livro
|
Formal Methods for Industrial Critical Systems: 18th International Workshop, FMICS 2013, Madrid, Spain, September 23-24, 2013, ProceedingsDierkes, Michael ; Pecheur, Charles Pecheur, Charles ; Dierkes, MichaelNetherlands: Springer Nature 2013Texto completo disponível |