Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
Fundamental Approaches to Software Engineering: 27th International Conference, FASE 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, ProceedingsCavalcanti, Ana ; Beyer, DirkCham: Springer Nature 2024Texto completo disponível |
|
2 |
Material Type: Ata de Congresso
|
Meghdoot: content-based publish/subscribe over P2P networksGupta, Abhishek ; Sahin, Ozgur D. ; Agrawal, Divyakant ; Abbadi, Amr ElLecture notes in computer science, 2004, p.254-273 [Periódico revisado por pares]Berlin, Heidelberg: Springer-VerlagTexto completo disponível |
|
3 |
Material Type: Livro
|
Network and Parallel Computing: 13th IFIP WG 10.3 International Conference, NPC 2016, Xi'an, China, October 28-29, 2016, ProceedingsGao, Guang R ; Qian, Depei ; Gao, Xinbo ; Chapman, Barbara ; Chen, Wenguang Gao, Xinbo ; Qian, Depei ; Gao, Guang R ; Chapman, Barbara ; Gao, Xinbo ; Gao, Guang R. ; Qian, Depei ; Chen, Wenguang ; Chapman, BarbaraNetherlands: Springer Nature 2016Texto completo disponível |
|
4 |
Material Type: Ata de Congresso
|
An easy-to-use toolkit for efficient Java bytecode translatorsChiba, Shigeru ; Nishizawa, MugaLecture notes in computer science, 2003, p.364-376 [Periódico revisado por pares]Berlin, Heidelberg: Springer-VerlagTexto completo disponível |
|
5 |
Material Type: Ata de Congresso
|
Hume: a domain-specific language for real-time embedded systemsHammond, Kevin ; Michaelson, GregLecture notes in computer science, 2003, p.37-56 [Periódico revisado por pares]Berlin, Heidelberg: Springer-VerlagTexto completo disponível |
|
6 |
Material Type: Ata de Congresso
|
Evaluating the design of the R language: objects and functions for data analysisMorandat, Floréal ; Hill, Brandon ; Osvald, Leo ; Vitek, Jan Noble, JamesECOOP 2012 – Object-Oriented Programming, 2012, p.104-131 [Periódico revisado por pares]Berlin, Heidelberg: Springer-VerlagTexto completo disponível |
|
7 |
Material Type: Livro
|
Mobile, Secure, and Programmable Networking: Second International Conference, MSPN 2016, Paris, France, June 1-3, 2016, Revised Selected PapersBoumerdassi, Selma ; Renault, Éric ; Bouzefrane, Samia Boumerdassi, Selma ; Bouzefrane, Samia ; Renault, 'ric ; Boumerdassi, Selma ; Bouzefrane, Samia ; Renault, ÉricCham: Springer Nature 2016Texto completo disponível |
|
8 |
Material Type: Livro
|
Tools and Algorithms for the Construction and Analysis of Systems: 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part IIIFinkbeiner, Bernd ; Kovács, LauraCham: Springer Nature 2024Texto completo disponível |
|
9 |
Material Type: Livro
|
Tools and Algorithms for the Construction and Analysis of Systems: 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part IFinkbeiner, Bernd ; Kovács, LauraCham: Springer Nature 2024Texto completo disponível |
|
10 |
Material Type: Ata de Congresso
|
OpenIoT: Open Source Internet-of-Things in the CloudSoldatos, John ; Kefalakis, Nikos ; Hauswirth, Manfred ; Serrano, Martin ; Calbimonte, Jean-Paul ; Riahi, Mehdi ; Aberer, Karl ; Jayaraman, Prem Prakash ; Zaslavsky, Arkady ; Žarko, Ivana Podnar ; Skorin-Kapov, Lea ; Herzog, ReinhardInteroperability and Open-Source Solutions for the Internet of Things, p.13-25 [Periódico revisado por pares]Cham: Springer International PublishingTexto completo disponível |