Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
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 |
|
2 |
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 |
|
3 |
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 |
|
4 |
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 |
|
5 |
Material Type: Livro
|
Reliable Software Technologies - Ada-Europe 2016: 21st Ada-Europe International Conference on Reliable Software Technologies, Pisa, Italy, June 13-17, 2016, ProceedingsBertogna, Marko ; Pinho, Luís Miguel ; Quiñones, Eduardo Pinho, Lu's Miguel ; Qui'ones, Eduardo ; Bertogna, MarkoCham: Springer Nature 2016Texto completo disponível |
|
6 |
Material Type: Livro
|
Computer Safety, Reliability, and Security: SAFECOMP 2015 Workshops, ASSURE, DECSoS. ISSE, ReSA4CI, and SASSUR, Delft, The Netherlands, September 22, 2015, ProceedingsKoornneef, Floor ; van Gulijk, Coen Koornneef, Floor ; van Gulijk, CoenNetherlands: Springer Nature 2015Texto completo disponível |
|
7 |
Material Type: Livro
|
Software Engineering for Resilient Systems: 8th International Workshop, SERENE 2016, Gothenburg, Sweden, September 5-6, 2016, ProceedingsCrnkovic, Ivica ; Troubitsyna, Elena Troubitsyna, Elena ; Crnkovic, IvicaCham: Springer Nature 2016Texto completo disponível |
|
8 |
Material Type: Livro
|
Engineering Trustworthy Software Systems: First International School, SETSS 2014, Chongqing, China, September 8-13, 2014. Tutorial LecturesLiu, Zhiming ; Zhang, Zili Zhang, Zili ; Liu, Zhiming ; Liu, Zhiming ; Zhang, ZiliCham: Springer Nature 2016Texto completo disponível |
|
9 |
Material Type: Livro
|
Computer Safety, Reliability, and Security: SAFECOMP 2012 Workshops: Sassur, ASCoMS, DESEC4LCCI, ERCIM/EWICS, IWDE, Magdeburg, Germany, September 25-28, 2012, ProceedingsOrtmeier, Frank ; Daniel, Peter Daniel, Peter ; Ortmeier, FrankNetherlands: Springer Nature 2012Texto completo disponível |
|
10 |
Material Type: Livro
|
Computer Safety, Reliability, and Security: 34th International Conference, SAFECOMP 2015, Delft, The Netherlands, September 23-25, 2015, ProceedingsKoornneef, Floor ; van Gulijk, Coen Koornneef, Floor ; van Gulijk, CoenCham: Springer Nature 2015Texto completo disponível |