Top 486 braga vitor marques carla susana ratten vanessa PDF Book Page 21

Programming Languages and Systems: 16th European Symposium on Programming, ESOP 2007, Held as Part of the Joint European Conferences on Theory and Practics of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007. Proceedings

Andrew Pitts (auth.), Rocco De Nicola (eds.)

·550 Pages

·2007

·5.558 MB

Tools and Algorithms for the Construction and Analysis of Systems: 13th International Conference, TACAS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 Braga, Portugal, March 24 - April 1, 2007. Proceedi

Rance Cleaveland (auth.), Orna Grumberg, Michael Huth (eds.)

·755 Pages

·2007

·8.6 MB

Disciplina dell'anima, disciplina del corpo e disciplina della società tra Medioevo ed età moderna / a cura di Paolo Prodi ; con la collaborazione di Carla Penuti

Prodi, Paolo

·968 Pages

·1994

·46.3 MB

Foundations of Software Science and Computational Structures: 10th International Conference, FOSSACS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24-April 1, 2007. Proceedings

Radha Jagadeesan (auth.), Helmut Seidl (eds.)

·390 Pages

·2007

·4.574 MB

The Pleasant Historie of the Conquest of the VVeast India now called new Spayne Atchieued by the vvorthy Prince Hernando Cortes Marques of the ualley of Huaxacac most delectable to Reade Translated out of the Spanishe Tongue by T N Anno1578

198 Pages

·2021

·1.32 MB

Tools and Algorithms for the Construction and Analysis of Systems. 13th International Conference, TACAS 2007 Held as Part of the Joint European Conferences onTheoryandPracticeofSoftware,ETAPS2007 Braga, Portugal, March 24 -April 1, 2007 Proceedings

Orna Grumberg, Michael Huth (eds.)

·755 Pages

·2007

·8.6 MB

…