Top 118 marcelo braga PDF Book Page 5
Descriptional Complexity of Formal Systems: 14th International Workshop, DCFS 2012, Braga, Portugal, July 23-25, 2012. Proceedings
Jean-Baptiste Jeannin, Dexter Kozen (auth.), Martin Kutrib, Nelma Moreira, Rogério Reis (eds.)
·328 Pages
·2012
·3.952 MB
Formal aspects of component software : 14th International Conference, FACS 2017, Braga, Portugal, October 10-13, 2017, Proceedings
Lumpe, Markus; Proença, José
·261 Pages
·2017
·14.096 MB
Perspectives on Theory of Controversies and the Ethics of Communication: Explorations of Marcelo Dascal's Contributions to Philosophy
Giovanni Scarafile (auth.), Dana Riesenfeld, Giovanni Scarafile (eds.)
·222 Pages
·2014
·1.544 MB
Estudo da Plasticidade Anatômica Foliar de Stromanthe thalia (Vell.) J.M.A. Braga (Marantaceae) em Dois Ambientes de Mata Atlântica
Alessandra Do Espírito Santo
·16 Pages
·1998
·6 MB
Applications and Theory of Petri Nets: 31st International Conference, PETRI NETS 2010, Braga, Portugal, June 21-25, 2010. Proceedings
Gabriel Juhás, Igor Kazlov, Ana Juhásová (auth.), Johan Lilius, Wojciech Penczek (eds.)
·337 Pages
·2010
·4.823 MB
Generative and Transformational Techniques in Software Engineering III: International Summer School, GTTSE 2009, Braga, Portugal, July 6-11, 2009, Revised ... Programming and Software Engineering)
Joao M. Fernandes, Ralf Lammel, Joost Visser, Joao Saraiva
·507 Pages
·2011
·10.489 MB
Dynamics, Games and Science I: DYNA 2008, in Honor of Maurício Peixoto and David Rand, University of Minho, Braga, Portugal, September 8-12, 2008
Mauricio M. Peixoto (auth.), Mauricio Matos Peixoto, Alberto Adrego Pinto, David A. Rand (eds.)
·842 Pages
·2011
·7.149 MB
Relational and Algebraic Methods in Computer Science: 15th International Conference, RAMiCS 2015 Braga, Portugal, September 28 – October 1, 2015, Proceedings
Wolfram Kahl, Michael Winter, José N. Oliveira (eds.)
·401 Pages
·2015
·7.28 MB
Grand Timely Topics in Software Engineering : International Summer School GTTSE 2015, Braga, Portugal, August 23-29, 2015, Tutorial Lectures
Cunha, Jácome; Fernandes, João P.; Lämmel, Ralf; Saraiva, João; Zaytsev, Vadim
·247 Pages
·2017
·10.955 MB
Generative and Transformational Techniques in Software Engineering IV: International Summer School, GTTSE 2011, Braga, Portugal, July 3-9, 2011. Revised Papers
Darius Blasband (auth.), Ralf Lämmel, João Saraiva, Joost Visser (eds.)
·458 Pages
·2013
·8.757 MB
Uniting Marketing Efforts for the Common Good―A Challenge for the Fourth Sector: Selected Papers from XXI International Congress on Public and Nonprofit Marketing (IAPNM 2022), Braga, Portugal
Ana Maria Soares, Beatriz Casais
·277 Pages
·2023
·6.546 MB
Compiler Construction: 16th International Conference, CC 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 26-30, 2007. Proceedings
Liza Fireman, Erez Petrank, Ayal Zaks (auth.), Shriram Krishnamurthi, Martin Odersky (eds.)
·245 Pages
·2007
·3.401 MB
Fundamental Approaches to Software Engineering: 10th International Conference, FASE 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
Jan Bosch (auth.), Matthew B. Dwyer, Antónia Lopes (eds.)
·451 Pages
·2007
·7.458 MB
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
