bib.howest.be Zoekresultaten

U zocht naar: Auteur Marcello Bonsangue Taal Engels

« Vorige | 1 - 10 van 15 | Volgende »

1. It's All About Coordination

Auteur:: de Boer; Jan Rutten; Marcello Bonsangue; Bonsangue, Marcello; Rutten, Jan
Uitgever:: Springer International Publishing 2018
Type:: e-book

2. Theory and Practice of Formal Methods

Auteur:: Erika Ábrahám, Marcello Bonsangue, Einar Broch Johnsen; Bonsangue, Marcello; Johnsen, Einar Broch
Uitgever:: Springer International Publishing 2016
Type:: e-book

3. Data Science and Artificial Intelligence : First International Conference, DSAI 2023, Bangkok, Thailand, November 27-29, 2023, Proceedings

Auteur:: Anutariya, Chutiporn.; Bonsangue, Marcello M.
Uitgever:: Singapore Springer 2023
Type:: e-book

4. Theoretical Aspects of Computing - ICTAC 2024 : 21st International Colloquium, Bangkok, Thailand, November 25-29, 2024, Proceedings

Auteur:: Anutariya, Chutiporn.; Bonsangue, Marcello M.
Uitgever:: Cham Springer 2025
Type:: e-book

5. Formal Methods for Components and Objects

Auteur:: Giachino, Elena; de Boer, Frank S.; Bonsangue, Marcello M.; Bonsangue, Marcello M.; de Boer, Frank S.; Hähnle, Reiner
Uitgever:: Springer Berlin Heidelberg 2013
Type:: e-book

6. Data Science and Artificial Intelligence : Second International Conference, DSAI 2024, Medan, Indonesia, November 13-15, 2024, Proceedings

Auteur:: Anutariya, Chutiporn.; Bonsangue, Marcello M.; Budhiarti-Nababan, Erna; Sitompul, Opim Salim
Uitgever:: Singapore Springer 2024
Type:: e-book

7. Formal Methods for Components and Objects

Auteur:: Hutchison, David; Kanade, Takeo; Bonsangue, Marcello M.; de Boer, Frank S.
Uitgever:: Springer Berlin Heidelberg 2012
Type:: e-book

8. Formal Methods for Components and Objects

Auteur:: Boer, Frank S.; Bonsangue, Marcello M.; Kanade, Takeo; Madelaine, Eric; Kittler, Josef
Uitgever:: Springer Berlin Heidelberg 2009
Type:: e-book

9. Formal Methods for Components and Objects

Auteur:: Boer, Frank S.; Bonsangue, Marcello M.; Hallerstede, Stefan; Kanade, Takeo; Leuschel, Michael
Uitgever:: Springer Berlin Heidelberg 2010
Type:: e-book

10. Formal Methods for Components and Objects

Auteur:: Hutchison, David; Kanade, Takeo; Bonsangue, Marcello M.; Damiani, Ferruccio; de Boer, Frank S.
Uitgever:: Springer Berlin Heidelberg 2013
Type:: e-book