Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
11 |
Material Type: Livro
|
Integrated Formal Methods: 16th International Conference, IFM 2020, Lugano, Switzerland, November 16-20, 2020, ProceedingsDongol, Brijesh ; Troubitsyna, Elena Dongol, Brijesh ; Troubitsyna, Elena ; Troubitsyna, Elena ; Dongol, BrijeshCham: Springer Nature 2020Sem texto completo |
|
12 |
Material Type: Livro
|
Static Analysis: 27th International Symposium, SAS 2020, Virtual Event, November 18-20, 2020, ProceedingsPichardie, David ; Sighireanu, Mihaela Sighireanu, Mihaela ; Pichardie, David ; Pichardie, David ; Sighireanu, MihaelaCham: Springer Nature 2021Sem texto completo |
|
13 |
Material Type: Livro
|
Organic and Pervasive Computing -- ARCS 2004: International Conference on Architecture of Computing Systems, Augsburg, Germany, March 23-26, 2004, ProceedingsMüller-Schloer, Christian ; Ungerer, Theo ; Bauer, Bernhard Ungerer, Theo ; Bauer, Bernhard ; Müller-Schloer, ChristianBerlin, Heidelberg: Springer Berlin / Heidelberg 2004Texto completo disponível |
|
14 |
Material Type: Livro
|
High Performance Computing: ISC High Performance Digital 2021 International Workshops, Frankfurt am Main, Germany, June 24 - July 2, 2021, Revised Selected PapersJagode, Heike ; Anzt, Hartwig ; Ltaief, Hatem ; Luszczek, Piotr Luszczek, Piotr ; Anzt, Hartwig ; Jagode, Heike ; Ltaief, Hatem ; Jagode, Heike ; Anzt, Hartwig ; Luszczek, Piotr ; Ltaief, HatemCham: Springer Nature 2021Sem texto completo |
|
15 |
Material Type: Capítulo de Livro
|
Fair DARTS: Eliminating Unfair Advantages in Differentiable Architecture SearchVedaldi, Andrea ; Bischof, Horst ; Brox, Thomas ; Frahm, Jan-MichaelComputer Vision - ECCV 2020, 2020, Vol.12360, p.465-480 [Periódico revisado por pares]Switzerland: Springer International Publishing AGSem texto completo |
|
16 |
Material Type: Livro
|
Functional Programming Languages and Computer Architecture: 5th ACM Conference Cambridge, MA, USA, August 26–30, 1991 ProceedingsHughes, John Hughes, JohnBerlin, Heidelberg: Springer Berlin Heidelberg 1991Texto completo disponível |
|
17 |
Material Type: Livro
|
Service-Oriented Computing: 21st International Conference, ICSOC 2023, Rome, Italy, November 28 - December 1, 2023, Proceedings, Part IMonti, Flavia ; Rinderle-Ma, Stefanie ; Ruiz Cortés, Antonio ; Zheng, Zibin ; Mecella, MassimoCham: Springer 2023Sem texto completo |
|
18 |
Material Type: Livro
|
Coordination Models and Languages: 24th IFIP WG 6. 1 International Conference, COORDINATION 2022, Held As Part of the 17th International Federated Conference on Distributed Computing Techniques, DisCoTec 2022, Lucca, Italy, June 13-17, 2022, Proceedingster Beek, Maurice H ; Sirjani, MarjanCham: Springer International Publishing AG 2022Sem texto completo |
|
19 |
Material Type: Capítulo de Livro
|
BigNAS: Scaling up Neural Architecture Search with Big Single-Stage ModelsVedaldi, Andrea ; Bischof, Horst ; Brox, Thomas ; Frahm, Jan-MichaelComputer Vision - ECCV 2020, 2020, Vol.12352, p.702-717 [Periódico revisado por pares]Switzerland: Springer International Publishing AGSem texto completo |
|
20 |
Material Type: Livro
|
Advances in Computer Systems Architecture: 9th Asia-Pacific Conference, ACSAC 2004, Beijing, China, September 7-9, 2004, ProceedingsYew, Pen-Chung ; Xue, Jingling Xue, Jingling ; Yew, Pen-ChungBerlin, Heidelberg: Springer Berlin / Heidelberg 2004Texto completo disponível |