Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
![]() |
Learning Software Organizations: Methodology and Applications. 11th International Conference on Software Engineering and Knowledge Engineering, SEKE'99 Kaiserslautern, Germany, June 16–19, 1999 ProceedingsRuhe, Günther ; Bomarius, Frank Ruhe, Günther ; Bomarius, FrankBerlin, Heidelberg: Springer Berlin Heidelberg 2000Texto completo disponível |
2 |
Material Type: Livro
|
![]() |
Agent Based Modelling of Urban Systems First International Workshop, ABMUS 2016, Held in Conjunction with AAMAS, Singapore, Singapore, May 10, 2016, Revised, Selected, and Invited PapersAna Bazzan; Kai Nagel; Mohammad-Reza Namazi-Rad; Lin Padgham; Pascal PerezCham Springer 2017Localização: EPELM - Esc. Politécnica-Bib Eng Elet., Mec. e Naval (004.8 Ag36 )(Acessar) |
3 |
Material Type: Artigo
|
![]() |
Software Engineering for AI-Based Systems: A SurveyMartínez-Fernández, Silverio ; Bogner, Justus ; Franch, Xavier ; Oriol, Marc ; Siebert, Julien ; Trendowicz, Adam ; Vollmer, Anna Maria ; Wagner, StefanACM transactions on software engineering and methodology, 2022-04, Vol.31 (2), p.1-59, Article 37e [Periódico revisado por pares]New York, NY: ACMTexto completo disponível |
4 |
Material Type: Livro
|
![]() |
Inductive synthesis of functional programs universal planning, folding of finite programs, and schema abstraction by analogical reasoningU. Schmid (Ute)Berlin Springer New York 2003Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNAI v.2654 )(Acessar) |
5 |
Material Type: Livro
|
![]() |
Artificial intelligence and computational intelligence third International Conference, AICI 2011, Taiyuan, China, September 24-25, 2011, proceedings Part IIInternational Conference on Artificial Intelligence and Computational Intelligence (3rd 2011 Taiyuan Shi, China) Hepu DengBerlin Springer New York c2011Acesso online. A biblioteca também possui exemplares impressos. |
6 |
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 |
7 |
Material Type: Artigo
|
![]() |
Automated quantum software engineeringSarkar, AritraAutomated software engineering, 2024-05, Vol.31 (1), p.36, Article 36 [Periódico revisado por pares]New York: Springer USTexto completo disponível |
8 |
Material Type: Livro
|
![]() |
Agent-Oriented Software Engineering: First International Workshop, AOSE 2000 Limerick, Ireland, June 10, 2000 Revised PapersCiancarini, Paolo ; Wooldridge, Michael Ciancarini, Paolo ; Wooldridge, Michael J.Berlin, Heidelberg: Springer Berlin / Heidelberg 2001Texto completo disponível |
9 |
Material Type: Artigo
|
![]() |
Human Values in Software Engineering: Contrasting Case Studies of PracticeHussain, Waqar ; Perera, Harsha ; Whittle, Jon ; Nurwidyantoro, Arif ; Hoda, Rashina ; Shams, Rifat Ara ; Oliver, GillianIEEE transactions on software engineering, 2022-05, Vol.48 (5), p.1818-1833 [Periódico revisado por pares]New York: IEEETexto completo disponível |
10 |
Material Type: Artigo
|
![]() |
Synthesis of probabilistic models for quality-of-service software engineeringGerasimou, Simos ; Calinescu, Radu ; Tamburrelli, GiordanoAutomated software engineering, 2018-12, Vol.25 (4), p.785-831 [Periódico revisado por pares]New York: Springer USTexto completo disponível |