bib.howest.be Zoekresultaten

U zocht naar: Auteur Cimatti

1 - 6 van 6

1. A Biosemiotic Ontology

Auteur:: Cimatti; Cimatti, Felice.
Uitgever:: Springer International Publishing 2018
Type:: e-book

2. Animality in Contemporary Italian Philosophy

Auteur:: Cimatti; Salzani, Carlo
Uitgever:: Springer International Publishing 2020
Type:: e-book

3. Software Engineering and Formal Methods

Auteur:: Cimatti; Sirjani, Marjan
Uitgever:: Springer International Publishing 2017
Type:: e-book

4. Formal Methods for Industrial Critical Systems : 28th International Conference, FMICS 2023, Antwerp, Belgium, September 20-22, 2023, Proceedings

Auteur:: Cimatti, Alessandro.; Titolo, Laura
Uitgever:: Cham Springer International Publishing AG 2023
Type:: e-book

5. Sustainable Design and Manufacturing 2017

Auteur:: Campana, Giampaolo; Howlett, Robert J.; Setchi, Rossi; Cimatti, Barbara; Cimatti, Barbara; Howlett, Robert J.; Setchi, Rossi
Uitgever:: Springer International Publishing 2017
Type:: e-book

6. Formal Methods for Hardware Verification

Auteur:: Bernardo, Marco; Cimatti, Alessandro; Kanade, Takeo; Kittler, Josef
Uitgever:: Springer Berlin Heidelberg 2006
Type:: e-book