Home Advanced Search
Advanced Search - Page 1
Critical Systems: Formal Methods and Automated Verification: Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, Turin, Italy, September 18–20, 2017, Proceedings
- English
- Year: 2017
- Author: Laure Petrucci, Cristina Seceleanu, Ana Cavalcanti (editors)
Application and Theory of Petri Nets and Concurrency: 43rd International Conference, PETRI NETS 2022, Bergen, Norway, June 19–24, 2022, Proceedings
- English
- Year: 2022
- Author: Luca Bernardinello, Laure Petrucci
Tests and Proofs: 17th International Conference, TAP 2023
- English
- Year: 2023
- Author: Virgile Prevosto (editor), Cristina Seceleanu (editor)
Une Histoire des Premières Communautés Mésolithiques au Portugal
- French
- Year: 2016
- Author: Ana Cristina Araújo
Decolonising English Studies from the Semi-Periphery
- EPUB
- English
- Year: 2023
- Author: Ana Cristina Mendes
O Passado em Exibição Leitura Pós-modernistas da época Vitoriana (Portuguese Edition)
- Portuguese
- Year: 2013
- Author: Ana Cristina Mendes
23F: la batalla que evitó la guerra
- Spanish
- Year: 2022
- Author: Ana Cristina Bracho
