Search

You searched for: Auteur Petrucci Remove constraint Auteur: Petrucci
1 - 6 of 6
Number of results to display per page

Search Results

1. Natural Disasters
thumbnail
Full text!
Author:
Petrucci, Olga
Publisher:
IntechOpen
Format:
e-book
2. Application and Theory of Petri Nets and Concurrency : 43rd International Conference, PETRI NETS 2022, Bergen, Norway, June 19-24, 2022, Proceedings
thumbnail
Full text!
Author:
Bernardinello, Luca.; Petrucci, Laure
Publisher:
Cham Springer International Publishing AG 2022
Format:
e-book
3. Formal Modeling and Analysis of Timed Systems : 21st International Conference, FORMATS 2023, Antwerp, Belgium, September 19-21, 2023, Proceedings
thumbnail
Full text!
Author:
Petrucci, Laure.; Sproston, Jeremy
Publisher:
Cham Springer 2023
Format:
e-book
4. Critical Systems: Formal Methods and Automated Verification
thumbnail
Full text!
Author:
Petrucci; Cavalcanti, Ana; Seceleanu, Cristina
Publisher:
Springer International Publishing 2017
Format:
e-book
5. New Statistical Developments in Data Science
thumbnail
Full text!
Author:
Petrucci; Racioppi, Filomena; Verde, Rosanna
Publisher:
Springer International Publishing 2019
Format:
e-book
6. Applications and Theory of Petri Nets
thumbnail
Full text!
Author:
Kristensen, Lars M.; Kanade, Takeo; Petrucci, Laure; Kittler, Josef
Publisher:
Springer Berlin Heidelberg 2011
Format:
e-book