skip to main content
Language:
Results 1 2 3 4 5 next page
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Le omelie sul Cantico dei cantici di Gregorio di Nissa proposta di un itinerario di vita battesimale
Le omelie sul Cantico dei cantici di Gregorio di Nissa proposta di un itinerario di vita battesimale
Material Type:
Book 		Add to e-Shelf

Le omelie sul Cantico dei cantici di Gregorio di Nissa proposta di un itinerario di vita battesimale

Alessandro Cortesi

2000

Available at FFLCH - Fac. Fil. Let. e Ciências Humanas    (189.2 G823co )(GetIt)

2
Computer Information Systems – Analysis and Technologies
Computer Information Systems – Analysis and Technologies
Material Type:
Book 		Add to e-Shelf

Computer Information Systems – Analysis and Technologies

Nabendu Chaki Agostino Cortesi

Springer Berlin Heidelberg 2011

Online access

3
Verification, model checking and abstract interpretation third international workshop, VMCAI 2002, Venice, Italy, January 21-22 2002 : revised papers
Verification, model checking and abstract interpretation third international workshop, VMCAI 2002, Venice, Italy, January 21-22 2002 : revised papers
Material Type:
Book 		Add to e-Shelf

Verification, model checking and abstract interpretation third international workshop, VMCAI 2002, Venice, Italy, January 21-22 2002 : revised papers

VMCAI 2002 (2002 Venice, Italy) Agostino Cortesi

Berlin Springer London c2002

Available at ICMC - Inst. Ciên. Mat. Computação    (68-02 LNCS V.2294 ) and other locations(GetIt)

4
Verification, Model Checking, and Abstract Interpretation
Verification, Model Checking, and Abstract Interpretation
Material Type:
Book 		Add to e-Shelf

Verification, Model Checking, and Abstract Interpretation

VMCAI 2002 Agostino Cortesi; Juris Hartmanis; Jan van Leeuwen

Springer Berlin Heidelberg 2002

Online access

5
Kinematics of the outskirts of S0 galaxies from PNe and GCs
Kinematics of the outskirts of S0 galaxies from PNe and GCs
Material Type:
Conference Paper 		Add to e-Shelf

Kinematics of the outskirts of S0 galaxies from PNe and GCs

A Cortesi Cláudia Lúcia Mendes de Oliveira; IAU SYMPOSIUM 2016 Toledo, Spain 323

Cambridge: 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, 2016

Cambridge Cambridge University Press 2017

Check holdings(GetIt)

6
Computer Information Systems and Industrial Management
Computer Information Systems and Industrial Management
Material Type:
Book 		Add to e-Shelf

Computer Information Systems and Industrial Management

Khalid Chaki, Rituparna Cortesi, Agostino Saeed Rituparna Chaki; Agostino Cortesi; Sławomir Wierzchoń

Springer Berlin Heidelberg 2013

Online access

7
Static analysis
Static analysis
Material Type:
Book 		Add to e-Shelf

Static analysis

International Symposium on Static Analysis, SAS'99, 6 1999 Venice Agostino Cortesi; Gilberto File

Goos, G., ed; Hartmanis, J., ed; Leeuwen, J. Van, ed Lecture Notes in Computer Science Berlin, Springer-Verlag, c1985-

Berlin Springer-Verlag c1999

Available at IFSC - Inst. Física de São Carlos    (P621.38195 L471 v.1694 )(GetIt)

8
Verification, Model Checking, and Abstract Interpretation
Verification, Model Checking, and Abstract Interpretation
Material Type:
Book 		Add to e-Shelf

Verification, Model Checking, and Abstract Interpretation

VMCAI 2003 Lenore D Zuck; Paul D Attie; Agostino Cortesi; Supratik Mukhopadhyay

Springer Berlin Heidelberg 2003

Online access

9
Static Analysis
Static Analysis
Material Type:
Book 		Add to e-Shelf

Static Analysis

International Static Analysis Symposium Agostino Cortesi; Gilberto Filé; Jan van Leeuwen

Springer Berlin Heidelberg 1999

Online access

10
Mapping galaxy evolutionin space - time with A-PLUS
Mapping galaxy evolutionin space - time with A-PLUS
Material Type:
Conference Paper 		Add to e-Shelf

Mapping galaxy evolutionin space - time with A-PLUS

Clá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, 2015

Paris International Astronomical Union 2015

Check holdings(GetIt)

Results 1 2 3 4 5 next page

Personalize your results

  1. Edit

Refine Search Results

Expand My Results

  1.   

Creation Date 

From To
Refine
  1. Before1962  (30)
  2. 1962To1977  (44)
  3. 1978To1992  (110)
  4. 1993To2008  (680)
  5. After 2008  (2,400)
  6. More options open sub menu

Language 

  1. English  (3,030)
  2. Italian  (166)
  3. Japanese  (143)
  4. French  (33)
  5. Portuguese  (24)
  6. Spanish  (20)
  7. Russian  (2)
  8. German  (2)
  9. Latin  (2)
  10. Multiple languages  (1)
  11. Norwegian  (1)
  12. Byelorussian  (1)
  13. More options open sub menu

Suggested New Searches

Ignore my query and look for everything

by this author/creator:

  1. Cortesi, A
  2. Cortesi, M
  3. Oliveira, C
  4. Bortolucci, M
  5. Coelho, P

on this subject:

  1. Science & Technology
  2. Life Sciences & Biomedicine
  3. Humans
  4. Technology
  5. Female

  • Implemented by: ABCD-USP USP   Social Network Logos: Freepik

Searching Remote Databases, Please Wait

  • Searching for
  • inscope:(USP_VIDEOS),scope:("PRIMO"),scope:(USP_FISICO),scope:(USP_EREVISTAS),scope:(USP),scope:(USP_EBOOKS),scope:(USP_PRODUCAO),primo_central_multiple_fe
  • Show me what you have so far