Home Advanced Search

Advanced Search - Page 1

Programming Languages: 16th Brazilian Symposium, SBLP 2012, Natal, Brazil, September 23-28, 2012. Proceedings
  • PDF
  • English
  • Year: 2012
  • Author: Luis Soares Barbosa (auth.), Francisco Heron de Carvalho Junior, Luis Soares Barbosa (eds.)
Programming Languages: 16th Brazilian Symposium, SBLP 2012, Natal, Brazil, September 23-28, 2012. Proceedings
  • PDF
  • English
  • Year: 2012
  • Author: Luis Soares Barbosa (auth.), Francisco Heron de Carvalho Junior, Luis Soares Barbosa (eds.)
Formal Aspects of Component Software: 7th International Workshop, FACS 2010, Guimarães, Portugal, October 14-16, 2010, Revised Selected Papers
  • PDF
  • English
  • Year: 2012
  • Author: Sanjit A. Seshia (auth.), Luís Soares Barbosa, Markus Lumpe (eds.)
Formal Aspects of Component Software: 7th International Workshop, FACS 2010, Guimarães, Portugal, October 14-16, 2010, Revised Selected Papers
  • PDF
  • English
  • Year: 2012
  • Author: Sanjit A. Seshia (auth.), Luís Soares Barbosa, Markus Lumpe (eds.)
Formal Aspects of Component Software: 7th International Workshop, FACS 2010, Guimarães, Portugal, October 14-16, 2010, Revised Selected Papers
  • PDF
  • English
  • Year: 2012
  • Author: Sanjit A. Seshia (auth.), Luís Soares Barbosa, Markus Lumpe (eds.)
Language Engineering and Rigorous Software Development: International LerNet ALFA Summer School 2008, Piriapolis, Uruguay, February 24 - March 1, 2008, Revised Tutorial Lectures
  • PDF
  • English
  • Year: 2009
  • Author: Herman Geuvers (auth.), Ana Bove, Luís Soares Barbosa, Alberto Pardo, Jorge Sousa Pinto (eds.)
Language Engineering and Rigorous Software Development: International LerNet ALFA Summer School 2008, Piriapolis, Uruguay, February 24 - March 1, 2008, Revised Tutorial Lectures
  • PDF
  • English
  • Year: 2009
  • Author: Herman Geuvers (auth.), Ana Bove, Luís Soares Barbosa, Alberto Pardo, Jorge Sousa Pinto (eds.)
Language Engineering and Rigorous Software Development: International LerNet ALFA Summer School 2008, Piriapolis, Uruguay, February 24 - March 1, 2008, Revised Tutorial Lectures
  • PDF
  • English
  • Year: 2009
  • Author: Herman Geuvers (auth.), Ana Bove, Luís Soares Barbosa, Alberto Pardo, Jorge Sousa Pinto (eds.)
Operations Research and Big Data: IO2015-XVII Congress of Portuguese Association of Operational Research (APDIO)
  • PDF
  • English
  • Year: 2015
  • Author: Ana Paula Ferreira Dias Barbosa Póvoa, Joao Luis de Miranda (eds.)
People of Faith: Slavery and African Catholics in Eighteenth-Century Rio de Janeiro
  • PDF
  • English
  • Year: 2011
  • Author: Mariza de Carvalho Soares
search