Top 398 uruguay PDF Book Page 17

book image

Software Engineering and Formal Methods: 9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011. Proceedings

Holger Hermanns (auth.), Gilles Barthe, Alberto Pardo, Gerardo Schneider (eds.)
·517 Pages
·2011
·7.633 MB

book image

LATIN 2000: Theoretical Informatics: 4th Latin American Symposium, Punta del Esk, Uruguay, April 10-14, 2000 Proceedings

Y. Kohayakawa, V. Rödl (auth.), Gaston H. Gonnet, Alfredo Viola (eds.)
·497 Pages
·2000
·3.77 MB

book image

Logic for Programming, Artificial Intelligence, and Reasoning: 11th International Conference, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005. Proceedings

Matthias Baaz, Alexander Leitsch (auth.), Franz Baader, Andrei Voronkov (eds.)
·572 Pages
·2005
·4.552 MB