BOOKS
- Multi-Paradigm Modelling Approaches for Cyber-Physical Systems
- 1 Nov 2020
- Bedir Tekinerdogan, Dominique Blouin, Hans Vangheluwe, Miguel Goulão, Paulo Carreira, Vasco Amaral
- Foundations of Multi-Paradigm Modelling for Cyber-Physical Systems
- 1 Apr 2020
- Paulo Carreira, Vasco Amaral, Hans Vangheluwe
- Machine Ethics — From Machine Morals to the Machinery of Morality
- 1 Jan 2020
- Luís Moniz Pereira, António Barata Lopes
- Programming Languages and Systems - 28th European Symposium on Programming, ESOP 2019
- 1 Aug 2019
- Formal Techniques for Distributed Objects, Components, and Systems - 38th IFIP WG 6.1 International Conference, FORTE 2018
- 20 Jun 2019
- Christel Baier, Luis Caires
- Advances in Artificial Intelligence - IBERAMIA 2018
- 1 Nov 2018
- Argumentation-based Proofs of Endearment Essays in Honor of Guillermo R. Simari on the Occasion of his 70th Birthday
- 1 Aug 2018
- Including Context in A Routing Algorithm for the Internet of Things
- 1 Jan 2012
- Vítor Horta Carvalho, Pedro Medeiros
Book
Book
Book
Book
Book
Book
Book
Book