Home Advanced Search

Advanced Search - Page 1

Logic, Language, Information and Computation: 18th International Workshop, WoLLIC 2011, Philadelphia, PA, USA. Proceedings
  • PDF
  • English
  • Year: 2011
  • Author: Rajeev Alur (auth.), Lev D. Beklemishev, Ruy de Queiroz (eds.)
Logic, Language, Information and Computation: 19th International Workshop, WoLLIC 2012, Buenos Aires, Argentina, September 3-6, 2012. Proceedings
  • PDF
  • English
  • Year: 2012
  • Author: Andrea Asperti, Wilmer Ricciotti (auth.), Luke Ong, Ruy de Queiroz (eds.)
Principles of Cyber-Physical Systems
  • PDF
  • English
  • Year: 2015
  • Author: Rajeev Alur
Logic, Language, Information, and Computation: 22nd International Workshop, WoLLIC 2015, Bloomington, IN, USA, July 20-23, 2015, Proceedings
  • PDF
  • English
  • Year: 2015
  • Author: Valeria de Paiva, Ruy de Queiroz, Lawrence S. Moss, Daniel Leivant, Anjolina G. de Oliveira (eds.)
Logic, Language, Information, and Computation: 22nd International Workshop, WoLLIC 2015, Bloomington, IN, USA, July 20-23, 2015, Proceedings
  • PDF
  • English
  • Year: 2015
  • Author: Valeria de Paiva, Ruy de Queiroz, Lawrence S. Moss, Daniel Leivant, Anjolina G. de Oliveira (eds.)
Logic for concurrency and synchronisation
  • PDF
  • English
  • Year: 2003
  • Author: Queiroz, Ruy J. G. B. de (ed.)
Logic, Language, Information, and Computation
  • PDF
  • English
  • Year: 2018
  • Author: Lawrence S. Moss, Ruy de Queiroz, Maricarmen Martinez
Logic, Language, Information, and Computation. 28th International Workshop, WoLLIC 2022 Iași, Romania, September 20–23, 2022 Proceedings
  • PDF
  • English
  • Year: 2022
  • Author: Agata Ciabattoni, Elaine Pimentel, Ruy J.G.B. de Queiroz
Urban Transformations in Rio de Janeiro: Development, Segregation, and Governance
  • PDF
  • English
  • Year: 2017
  • Author: Luiz Cesar de Queiroz Ribeiro (eds.)
Logic, language, information, and computation : 27th international workshop, WoLLIC 2021, virtual event, October 5-8, 2021 : proceedings
  • PDF
  • English
  • Year: 2021
  • Author: Ruy J. G. B. de Queiroz (editor); Alexandra Martins da Silva (editor); Renata Wassermann (editor)
search