Home Advanced Search

Advanced Search - Page 1

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.)
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.)
Implementation and Application of Functional Languages: 17th International Workshop, IFL 2005, Dublin, Ireland, September 19-21, 2005, Revised Selected Papers
  • PDF
  • English
  • Year: 2006
  • Author: Alcino Cunha, Jorge Sousa Pinto, José Proença (auth.), Andrew Butterfield, Clemens Grelck, Frank Huch (eds.)
Types for Proofs and Programs: International Workshop, TYPES 2002, Berg en Dal, The Netherlands, April 24–28, 2002. Selected Papers
  • PDF
  • English
  • Year: 2003
  • Author: Andreas Abel, Ralph Matthes (auth.), Herman Geuvers, Freek Wiedijk (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.)
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.)
Optimization and Decision Support Systems for Supply Chains
  • PDF
  • English
  • Year: 2017
  • Author: Ana Paula Barbosa Póvoa, Albert Corominas, João Luís de Miranda (eds.)
The Portuguese and the Straits of Melaka, 1575-1619: Power, Trade and Diplomacy
  • PDF
  • English
  • Year: 2012
  • Author: Paulo Jorge de Sousa Pinto
search