bib.howest.be Zoekresultaten

U zocht naar: Auteur Petrucci

1 - 6 van 6

1. Natural Disasters

Auteur:: Petrucci, Olga
Uitgever:: IntechOpen
Type:: e-book

2. Application and Theory of Petri Nets and Concurrency : 43rd International Conference, PETRI NETS 2022, Bergen, Norway, June 19-24, 2022, Proceedings

Auteur:: Bernardinello, Luca.; Petrucci, Laure
Uitgever:: Cham Springer International Publishing AG 2022
Type:: e-book

3. Formal Modeling and Analysis of Timed Systems : 21st International Conference, FORMATS 2023, Antwerp, Belgium, September 19-21, 2023, Proceedings

Auteur:: Petrucci, Laure.; Sproston, Jeremy
Uitgever:: Cham Springer 2023
Type:: e-book

4. Critical Systems: Formal Methods and Automated Verification

Auteur:: Petrucci; Cavalcanti, Ana; Seceleanu, Cristina
Uitgever:: Springer International Publishing 2017
Type:: e-book

5. New Statistical Developments in Data Science

Auteur:: Petrucci; Racioppi, Filomena; Verde, Rosanna
Uitgever:: Springer International Publishing 2019
Type:: e-book

6. Applications and Theory of Petri Nets

Auteur:: Kristensen, Lars M.; Kanade, Takeo; Petrucci, Laure; Kittler, Josef
Uitgever:: Springer Berlin Heidelberg 2011
Type:: e-book