Zoeken

U zocht naar: Auteur Bonsangue, Marcello Filter Auteur: Bonsangue, Marcello weghalen
« Vorige | 1 - 10 van 15 |
Aantal zoekresultaten per pagina

Zoekresultaten

1. Data Science and Artificial Intelligence : First International Conference, DSAI 2023, Bangkok, Thailand, November 27-29, 2023, Proceedings
thumbnail
Full text!
Auteur:
Anutariya, Chutiporn.; Bonsangue, Marcello M.
Uitgever:
Singapore Springer 2023
Type:
e-book
2. Theoretical Aspects of Computing - ICTAC 2024 : 21st International Colloquium, Bangkok, Thailand, November 25-29, 2024, Proceedings
thumbnail
Full text!
Auteur:
Anutariya, Chutiporn.; Bonsangue, Marcello M.
Uitgever:
Cham Springer 2025
Type:
e-book
3. It's All About Coordination
thumbnail
Full text!
Auteur:
de Boer; Jan Rutten; Marcello Bonsangue; Bonsangue, Marcello; Rutten, Jan
Uitgever:
Springer International Publishing 2018
Type:
e-book
4. Formal Methods for Components and Objects
thumbnail
Full text!
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
5. Theory and Practice of Formal Methods
thumbnail
Full text!
Auteur:
Erika Ábrahám, Marcello Bonsangue, Einar Broch Johnsen; Bonsangue, Marcello; Johnsen, Einar Broch
Uitgever:
Springer International Publishing 2016
Type:
e-book
6. Data Science and Artificial Intelligence : Second International Conference, DSAI 2024, Medan, Indonesia, November 13-15, 2024, Proceedings
thumbnail
Full text!
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
thumbnail
Full text!
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
thumbnail
Full text!
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
thumbnail
Full text!
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
thumbnail
Full text!
Auteur:
Hutchison, David; Kanade, Takeo; Bonsangue, Marcello M.; Damiani, Ferruccio; de Boer, Frank S.
Uitgever:
Springer Berlin Heidelberg 2013
Type:
e-book