BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA

Parco Area delle Scienze,   53 A   43100  –  Parma (Italia)

 Telefono: 0521 906930  Fax: 0521 906950

Indirizzo Internet: http://www.math.unipr.it/~biblio/

          

Universitą degli Studi di Parma

 

 

I Quaderni pubblicati presso il Dipartimento di Matematica nell'anno 2010  

 

 Quaderno n. 498    pdf

 

R. Bagnara, F. Mesnard, A. Pescetti, E. Zaffanella
"The Automatic Synthesis of Linear Ranking Functions: The Complete Unabridged Version”

 

 

Quaderno n. 499   

 

G. L. Caraffini, M. Galvani
"Symmetries and exact solutions via conservation laws for some partial differential equations

 of Mathematical Physics”

 

 

Quaderno n. 500   

 

Federico Bergenti, Luca Chiarabini, Gianfranco Rossi
"Programming with Partially Specified Affregates in Java”

 

 

Quaderno n. 501   

 

L. Bertani
"Steiner Systems from planar Frobenius Groups”

 

 

Quaderno n. 502   

 

Luca Chiarabini, Philippe Audebaud
"New Development in Extracting Tail Recursive Programs from Proof”

 

 

 

 

 

 

 

 

    HOMEPAGE.QUADERNI       
 
   
   HOMEPAGE.BIBLIOTECA

 

 

Data composizione : 26 aprile 2010

Data ultimo aggiornamento : 7 dicembre  2010

Pagine WEB a cura di Fabrizia Tassoni  


 

 

pagina ottimizzata con internet explorer 1024x768