bib.howest.be Zoekresultaten

U zocht naar: Auteur Matteo Rossi

1 - 5 van 5

1. Formal Methods: 26th International Symposium, FM 2024, Milan, Italy, September 9–13, 2024, Proceedings, Part I

Auteur:: André Platzer; Kristin Yvonne Rozier; Kristin Yvonne Rozier; Matteo Pradella; Matteo Pradella; Matteo Rossi; Matteo Rossi; Pradella, Matteo; Rossi, Matteo; Rozier, Kristin Yvonne
Uitgever:: Springer Nature 2024
Type:: e-book

2. Formal Methods: 26th International Symposium, FM 2024, Milan, Italy, September 9â€“13, 2024, Proceedings, Part II

Auteur:: Andre Platzer; Kristin Yvonne Rozier; Kristin Yvonne Rozier; Matteo Pradella; Matteo Pradella; Matteo Rossi; Matteo Rossi; Pradella, Matteo; Rossi, Matteo; Rozier, Kristin Yvonne
Uitgever:: Springer Nature 2025
Type:: e-book

3. Modeling Time in Computing

Auteur:: Furia, Carlo A.; Mandrioli, Dino; Morzenti, Angelo; Rossi, Matteo
Uitgever:: Springer Berlin Heidelberg 2012
Type:: e-book

4. Electric Vehicle Sharing Services for Smarter Cities

Auteur:: Bignami, Daniele Fabrizio; Colorni Vitale, Alberto; Lué, Alessandro; Nocerino, Roberto; Rossi, Matteo; Savaresi, Sergio Matteo
Uitgever:: Springer International Publishing 2017
Type:: e-book

5. Proceedings of the 6th European Lean Educator Conference: ELEC 2019

Auteur:: Rossi; Rossini, Matteo; Terzi, Sergio
Uitgever:: Springer International Publishing 2020
Type:: e-book