bib.howest.be Zoekresultaten

U zocht naar: Auteur Antonio Cerone

1 - 9 van 9

1. Formal Methods for an Informal World : ICTAC 2021 Summer School, Virtual Event, Astana, Kazakhstan, September 1-7, 2021, Tutorial Lectures

Auteur:: Cerone, Antonio.
Uitgever:: Cham Springer International Publishing AG 2023
Type:: e-book

2. Formal Methods – Fun for Everybody

Auteur:: Cerone, Antonio; Roggenbach, Markus
Uitgever:: Springer International Publishing 2021
Type:: e-book

3. Software Engineering and Formal Methods

Auteur:: de Boer; Cerone, Antonio
Uitgever:: Springer International Publishing 2020
Type:: e-book

4. Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops

Auteur:: Antonio Cerone; Autili, Marco; Bucaioni, Alessio; Gomes, Cláudio; Graziani, Pierluigi; Palmieri, Maurizio; Temperini, Marco; Venture, Gentiane
Uitgever:: Springer International Publishing 2022
Type:: e-book

5. Theoretical Aspects of Computing - ICTAC 2021 : 18th International Colloquium, Virtual Event, Nur-Sultan, Kazakhstan, September 8-10, 2021, Proceedings

Auteur:: Cerone, Antonio; Ölveczky, Peter Csaba
Uitgever:: Springer International Publishing 2021
Type:: e-book

6. Theoretical Aspects of Computing - ICTAC 2006

Auteur:: Barkaoui, Kamel; Cavalcanti, Ana; Cerone, Antonio; Kanade, Takeo
Uitgever:: Springer Berlin Heidelberg 2006
Type:: e-book

7. Theoretical Aspects of Computing – ICTAC 2011

Auteur:: Cerone, Antonio; Kanade, Takeo; Pihlajasaari, Pekka; Kittler, Josef
Uitgever:: Springer Berlin Heidelberg 2011
Type:: e-book

8. Information Technology and Open Source: Applications for Education, Innovation, and Sustainability

Auteur:: Antonio Cerone, Donatella Persico, Sara Fernandes, Alexeis Garcia-Perez, Panagiotis Katsaros, Siraj Ahmed Shaikh, Ioannis Stamelos; Fernandes, Sara; Garcia-Perez, Alexeis; Katsaros, Panagiotis; Persico, Donatella; Shaikh, Siraj Ahmed; Stamelos, Ioannis
Uitgever:: Springer Berlin Heidelberg 2014
Type:: e-book

9. Formal Methods for Software Engineering : Languages, Methods, Application Domains

Auteur:: Roggenbach, Markus.; Cerone, Antonio; Schlingloff, Bernd-Holger; Schneider, Gerardo; Shaikh, Siraj Ahmed
Uitgever:: Cham Springer International Publishing AG 2022
Type:: e-book