Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
Model driven architecture foundations and applications : first European conference, ECMDA-FA 2005 Nuremberg, Germany, November 2005 : proceedingsECMDA-FA 2005 (1st 2005 Nuremberg, Germany) A Hartman (Alan); David KreischeBerlin Springer New York c2005Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.3748 ) e outros locais(Acessar) |
|
2 |
Material Type: Ata de Congresso
|
Model-Driven analysis and synthesis of concrete syntaxMuller, Pierre-Alain ; Fleurey, Franck ; Fondement, Frédéric ; Hassenforder, Michel ; Schneckenburger, Rémi ; Gérard, Sébastien ; Jézéquel, Jean-MarcLecture notes in computer science, 2006, p.98-110 [Periódico revisado por pares]Berlin, Heidelberg: Springer-VerlagSem texto completo |
|
3 |
Material Type: Ata de Congresso
|
The 2021 ImageCLEF Benchmark: Multimedia Retrieval in Medical, Nature, Internet and Social Media ApplicationsIonescu, Bogdan ; Müller, Henning ; Péteri, Renaud ; Abacha, Asma Ben ; Demner-Fushman, Dina ; Hasan, Sadid A. ; Sarrouti, Mourad ; Pelka, Obioma ; Friedrich, Christoph M. ; de Herrera, Alba G. Seco ; Jacutprakart, Janadhip ; Kovalev, Vassili ; Kozlovski, Serge ; Liauchuk, Vitali ; Cid, Yashin Dicente ; Chamberlain, Jon ; Clark, Adrian ; Campello, Antonio ; Moustahfid, Hassan ; Oliver, Thomas ; Schulz, Abigail ; Brie, Paul ; Berari, Raul ; Fichou, Dimitri ; Tauteanu, Andrei ; Dogariu, Mihai ; Stefan, Liviu Daniel ; Constantin, Mihai Gabriel ; Deshayes, Jérôme ; Popescu, AdrianAdvances in Information Retrieval, 2021, p.616-623 [Periódico revisado por pares]Cham: Springer International PublishingSem texto completo |
|
4 |
Material Type: Capítulo de Livro
|
Software Engineering for Self-Adaptive Systems: A Research RoadmapCheng, Betty H. C ; de Lemos, Rogério ; Inverardi, Paola ; Magee, JeffSoftware Engineering for Self-Adaptive Systems, 2009, Vol.5525, p.1-26 [Periódico revisado por pares]Germany: Springer Berlin / HeidelbergSem texto completo |
|
5 |
Material Type: Capítulo de Livro
|
Overview of the ImageCLEF 2020: Multimedia Retrieval in Medical, Lifelogging, Nature, and Internet ApplicationsArampatzis, Avi ; Kanoulas, Evangelos ; Tsikrika, Theodora ; Vrochidis, Stefanos ; Joho, Hideo ; Lioma, Christina ; Eickhoff, Carsten ; Névéol, Aurélie ; Cappellato, Linda ; Ferro, NicolaCLEF, 2020, Vol.12260, p.311-341 [Periódico revisado por pares]Switzerland: Springer International Publishing AGTexto completo disponível |
|
6 |
Material Type: Livro
|
Verification, Model Checking, and Abstract Interpretation: 10th International Conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009. ProceedingsJones, Neil ; Müller-Olm, MarkusBerlin, Heidelberg: Springer Berlin / Heidelberg 2008Sem texto completo |
|
7 |
Material Type: Livro
|
Architecture of Computing Systems - ARCS 2009: 22nd International Conference, Delft, the Netherlands, March 10-13, 2009, ProceedingsBerekovic, Mladen ; Müller-Schloer, Christian ; Hochberger, Christian ; Wong, StephanBerlin, Heidelberg: Springer Berlin / Heidelberg 2009Sem texto completo |
|
8 |
Material Type: Capítulo de Livro
|
GREAT: UML Transformation Tool for Porting Middleware ApplicationsStevens, Perdita ; Whittle, Jon ; Booch, GradyLecture notes in computer science, 2003, Vol.2863, p.18-30 [Periódico revisado por pares]Germany: Springer Berlin / HeidelbergTexto completo disponível |
|
9 |
Material Type: Ata de Congresso
|
ACE: Going from prototype to product with an expert systemWright, J ; Miller, F ; Otto, G ; Siegfried, E ; Vesonder, G ; Zielinski, JACM Annual Conference/Annual Meeting: Proceedings of the 1984 annual conference of the ACM on The fifth generation challenge, 1984, p.24-28ACMTexto completo disponível |