Home Advanced Search

Advanced Search - Page 1

LATIN 2014: Theoretical Informatics: 11th Latin American Symposium, Montevideo, Uruguay, March 31–April 4, 2014. Proceedings
  • PDF
  • English
  • Year: 2014
  • Author: Alberto Pardo, Alfredo Viola (eds.)
Stative Inquiries: Causes, Results, Experiences, and Locations
  • PDF
  • English
  • Year: 2020
  • Author: Alfredo García-Pardo
LATIN 2000: Theoretical Informatics: 4th Latin American Symposium, Punta del Esk, Uruguay, April 10-14, 2000 Proceedings
  • PDF
  • English
  • Year: 2000
  • Author: Y. Kohayakawa, V. Rödl (auth.), Gaston H. Gonnet, Alfredo Viola (eds.)
Software Engineering and Formal Methods: 9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011. Proceedings
  • PDF
  • English
  • Year: 2011
  • Author: Holger Hermanns (auth.), Gilles Barthe, Alberto Pardo, Gerardo Schneider (eds.)
Software Engineering and Formal Methods: 9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011. Proceedings
  • PDF
  • English
  • Year: 2011
  • Author: Holger Hermanns (auth.), Gilles Barthe, Alberto Pardo, Gerardo Schneider (eds.)
Space-Efficient Data Structures, Streams, and Algorithms: Papers in Honor of J. Ian Munro on the Occasion of His 66th Birthday
  • PDF
  • English
  • Year: 2013
  • Author: Peyman Afshani, Manindra Agrawal (auth.), Andrej Brodnik, Alejandro López-Ortiz, Venkatesh Raman, Alfredo Viola (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.)
Analytic Number Theory: Lectures given at the C.I.M.E. Summer School held in Cetraro, Italy, July 11–18, 2002
  • PDF
  • English
  • Year: 2006
  • Author: J. B. Friedlander, D. R. Heath-Brown, H. Iwaniec, J. Kaczorowski (auth.), Alberto Perelli, Carlo Viola (eds.)
search