Home Advanced Search
Advanced Search - Page 1
Logic, Language, Information and Computation: 19th International Workshop, WoLLIC 2012, Buenos Aires, Argentina, September 3-6, 2012. Proceedings
- English
- Year: 2012
- Author: Andrea Asperti, Wilmer Ricciotti (auth.), Luke Ong, Ruy de Queiroz (eds.)
Categories, types, and structures : an introduction to category theory for the working computer scientist
- English
- Year: 1991
- Author: Andrea Asperti
Categories, types, and structures : an introduction to category theory for the working computer scientist
- English
- Year: 1991
- Author: Andrea Asperti
Foundations of Software Science and Computational Structures: 13th International Conference, FOSSACS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings
- English
- Year: 2010
- Author: Colin Stirling (auth.), Luke Ong (eds.)
Formal Methods and Software Engineering: 19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi’an, China, November 13-17, 2017, Proceedings
- English
- Year: 2017
- Author: Zhenhua Duan, Luke Ong (eds.)
p-Laplace Equation in the Heisenberg Group: Regularity of Solutions
- English
- Year: 2015
- Author: Diego Ricciotti (auth.)
Logic, Language, Information, and Computation. 28th International Workshop, WoLLIC 2022 Iași, Romania, September 20–23, 2022 Proceedings
- English
- Year: 2022
- Author: Agata Ciabattoni, Elaine Pimentel, Ruy J.G.B. de Queiroz
Logic, Language, Information, and Computation
- English
- Year: 2018
- Author: Lawrence S. Moss, Ruy de Queiroz, Maricarmen Martinez
Aves do Campus
- Portuguese
- Author: Luiz de Queiroz