Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
![]() |
Le omelie sul Cantico dei cantici di Gregorio di Nissa proposta di un itinerario di vita battesimaleAlessandro Cortesi2000Localização: FFLCH - Fac. Fil. Let. e Ciências Humanas (189.2 G823co )(Acessar) |
2 |
Material Type: Livro
|
![]() |
Computer Information Systems – Analysis and TechnologiesNabendu Chaki Agostino CortesiSpringer Berlin Heidelberg 2011Acesso online |
3 |
Material Type: Livro
|
![]() |
Verification, model checking and abstract interpretation third international workshop, VMCAI 2002, Venice, Italy, January 21-22 2002 : revised papersVMCAI 2002 (2002 Venice, Italy) Agostino CortesiBerlin Springer London c2002Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS V.2294 ) e outros locais(Acessar) |
4 |
Material Type: Livro
|
![]() |
Verification, Model Checking, and Abstract InterpretationVMCAI 2002 Agostino Cortesi; Juris Hartmanis; Jan van LeeuwenSpringer Berlin Heidelberg 2002Acesso online |
5 |
Material Type: Artigo de Congresso
|
![]() |
Kinematics of the outskirts of S0 galaxies from PNe and GCsA Cortesi Cláudia Lúcia Mendes de Oliveira; IAU SYMPOSIUM 2016 Toledo, Spain 323Cambridge: Cambridge University Press, 2017. Formation and evolution of galaxy outskirts: proceedings of the 321rd Symposium of the International Astronomical Union held in Toledo, Spain, March 14-18, 2016Cambridge Cambridge University Press 2017Item não circula. Consulte sua biblioteca.(Acessar) |
6 |
Material Type: Livro
|
![]() |
Computer Information Systems and Industrial ManagementKhalid Chaki, Rituparna Cortesi, Agostino Saeed Rituparna Chaki; Agostino Cortesi; Sławomir WierzchońSpringer Berlin Heidelberg 2013Acesso online |
7 |
Material Type: Livro
|
![]() |
Static analysisInternational Symposium on Static Analysis, SAS'99, 6 1999 Venice Agostino Cortesi; Gilberto FileGoos, G., ed; Hartmanis, J., ed; Leeuwen, J. Van, ed Lecture Notes in Computer Science Berlin, Springer-Verlag, c1985-Berlin Springer-Verlag c1999Localização: IFSC - Inst. Física de São Carlos (P621.38195 L471 v.1694 )(Acessar) |
8 |
Material Type: Livro
|
![]() |
Verification, Model Checking, and Abstract InterpretationVMCAI 2003 Lenore D Zuck; Paul D Attie; Agostino Cortesi; Supratik MukhopadhyaySpringer Berlin Heidelberg 2003Acesso online |
9 |
Material Type: Livro
|
![]() |
Static AnalysisInternational Static Analysis Symposium Agostino Cortesi; Gilberto Filé; Jan van LeeuwenSpringer Berlin Heidelberg 1999Acesso online |
10 |
Material Type: Artigo de Congresso
|
![]() |
Mapping galaxy evolutionin space - time with A-PLUSCláudia Lúcia Mendes de Oliveira A Cortesi; A Molino; J Cenarro; IAU General Assembly (29. 2015 Honolulu, USA)Meeting Abstracts Paris: International Astronomical Union, 2015Paris International Astronomical Union 2015Item não circula. Consulte sua biblioteca.(Acessar) |