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
  • PDF
  • 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
  • PDF
  • English
  • Year: 2022
  • Author: Luca Bernardinello, Laure Petrucci
Tests and Proofs: 17th International Conference, TAP 2023
  • PDF
  • English
  • Year: 2023
  • Author: Virgile Prevosto (editor), Cristina Seceleanu (editor)
Distibuted Systems: Design and Algorithms
  • PDF
  • English
  • Year: 2011
  • Author: Serge Haddad, Fabrice Kordon, Laurent Pautet, Laure Petrucci
Distibuted Systems: Design and Algorithms
  • PDF
  • English
  • Year: 2011
  • Author: Serge Haddad, Fabrice Kordon, Laurent Pautet, Laure Petrucci
Applications and Theory of Petri Nets: 32nd International Conference, PETRI NETS 2011, Newcastle, UK, June 20-24, 2011. Proceedings
  • PDF
  • English
  • Year: 2011
  • Author: Brian Randell (auth.), Lars M. Kristensen, Laure Petrucci (eds.)
Applications and Theory of Petri Nets: 32nd International Conference, PETRI NETS 2011, Newcastle, UK, June 20-24, 2011. Proceedings
  • PDF
  • English
  • Year: 2011
  • Author: Brian Randell (auth.), Lars M. Kristensen, Laure Petrucci (eds.)
23F: la batalla que evitó la guerra
  • PDF
  • Spanish
  • Year: 2022
  • Author: Ana Cristina Bracho
Decolonising English Studies from the Semi-Periphery
  • PDF
  • English
  • Year: 2023
  • Author: Ana Cristina Mendes
Salman Rushdie in the cultural marketplace
  • PDF
  • English
  • Year: 2016
  • Author: Ana Cristina Mendes
search