Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
11 |
Material Type: Livro
|
![]() |
Multicore Systems On-Chip: Practical Software/Hardware DesignAbdallah, Abderazek BenAtlantis Press 2013Texto completo disponível |
12 |
Material Type: Livro
|
![]() |
Service Modelling: Principles and ApplicationsR is nen, VilhoNewark: Wiley 2007Texto completo disponível |
13 |
Material Type: Livro
|
![]() |
Architecting Dependable Systems IILemos, Rogério de ; Gacek, Cristina ; Romanovsky, Alexander Romanovsky, Alexander ; Gacek, Cristina ; de Lemos, RogérioBerlin, Heidelberg: Springer Berlin / Heidelberg 2004Texto completo disponível |
14 |
Material Type: Livro
|
![]() |
Architecting Dependable SystemsLemos, Rogério de ; Gacek, Cristina ; Romanovsky, Alexander de Lemos, Rogério ; Gacek, Cristina ; Romanovsky, AlexanderBerlin, Heidelberg: Springer Berlin / Heidelberg 2003Texto completo disponível |
15 |
Material Type: Livro
|
![]() |
Contracts, Scenarios and Prototypes: An Integrated Approach to High Quality SoftwarePloesch, ReinholdBerlin, Heidelberg: Springer Berlin / Heidelberg 2004Texto completo disponível |
16 |
Material Type: Livro
|
![]() |
Handbook on Agent-Oriented Design ProcessesCossentino, Massimo ; Hilaire, Vincent ; Molesini, Ambra ; Seidita, Valeria Hilaire, Vincent ; Molesini, Ambra ; Cossentino, Massimo ; Seidita, ValeriaBerlin, Heidelberg: Springer Berlin / Heidelberg 2014Texto completo disponível |
17 |
Material Type: Livro
|
![]() |
Software Architecture: 7th European Conference, ECSA 2013, Montpellier, France, July 1-5, 2013, ProceedingsDrira, KhalilBerlin, Heidelberg: Springer Berlin / Heidelberg 2013Texto completo disponível |
18 |
Material Type: Livro
|
![]() |
Business Modeling and Software Design: Second International Symposium, BMSD 2012, Geneva, Switzerland, July 4-6, 2012, Revised Selected PapersShishkov, Boris Shishkov, BorisNetherlands: Springer Nature 2013Texto completo disponível |
19 |
Material Type: Livro
|
![]() |
Hardware and Software: Verification and Testing : 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected PapersBiere, Armin ; Nahir, Amir ; Vos, Tanja E.J Nahir, Amir ; Biere, Armin ; Vos, TanjaNetherlands: Springer Nature 2013Texto completo disponível |
20 |
Material Type: Livro
|
![]() |
Lisp-Stat: An Object-Oriented Environment for Statistical Computing and Dynamic GraphicsTierney, LukeNewark: John Wiley & Sons, Incorporated 1991Texto completo disponível |