Top 101 ruy braga PDF Book Page 5
Numerical Methods in Geomechanics: Proceedings of the NATO Advanced Study Institute, University of Minho, Braga, Portugal, held at Vimeiro, August 24 – September 4, 1981
E. R. Arantes e Oliveira (auth.), J. B. Martins (eds.)
·587 Pages
·1982
·15.782 MB
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
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
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
