Cerone Antonio Cerone | Akateeminen Kirjakauppa

Theoretical Aspects of Computing -- ICTAC 2011 - 8th International Colloquium, Johannesburg, South Africa, August 31 -- Septembe

Cerone, Antonio; Pihlajasaari, Pekka
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2011
Pehmeäkantinen kirja

51,40 €

Information Technology and Open Source: Applications for Education, Innovation, and Sustainability - SEFM 2012 Satellite Events,

Cerone, Antonio; Persico, Donatella; Fernandes, Sara; Garcia-Perez, Alexeis; Katsaros, Panagiotis; Shaikh, Siraj Ahmed; Stamelos
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2014
Pehmeäkantinen kirja

51,40 €

Software Engineering and Formal Methods - SEFM 2017 Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, I

Cerone, Antonio; Roveri, Marco
Springer International Publishing AG
2018
Pehmeäkantinen kirja

75,40 €

Theoretical Aspects of Computing – ICTAC 2021 - 18th International Colloquium, Virtual Event, Nur-Sultan, Kazakhstan, September

Cerone, Antonio; Ölveczky, Peter Csaba
Springer Nature Switzerland AG
2021
Pehmeäkantinen kirja

76,40 €

Formal Methods – Fun for Everybody - First International Workshop, FMFun 2019, Bergen, Norway, December 2–3, 2019, Revised Selec

Cerone, Antonio; Roggenbach, Markus
Springer Nature Switzerland AG
2021
Pehmeäkantinen kirja

51,40 €

Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops - CIFMA, CoSim-CPS, OpenCERT, ASYDE, Virtual Event, Dece

Cerone, Antonio; Autili, Marco; Bucaioni, Alessio; Gomes, Cláudio; Graziani, Pierluigi; Palmieri, Maurizio; Temperini, Marco; Ve
Springer International Publishing AG
2022
Pehmeäkantinen kirja

51,40 €

Formal Methods for an Informal World : ICTAC 2021 Summer School, Virtual Event, Astana, Kazakhstan, September 1–7, 2021,

Cerone, Antonio
Springer
2023
Pehmeäkantinen kirja

51,40 €

Theoretical Aspects of Computing - ICTAC 2006 - Third International Colloquium, Tunis, Tunisia, November 20-24, 2006 Proceedings

Barkaoui, Kamel; Cavalcanti, Ana; Cerone, Antonio
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2006
Pehmeäkantinen kirja

51,40 €

Formal Methods for Software Engineering - Languages, Methods, Application Domains

Roggenbach, Markus; Cerone, Antonio; Schlingloff, Bernd-Holger; Schneider, Gerardo; Shaikh, Siraj Ahmed
Springer Nature Switzerland AG
2022
Kovakantinen kirja

76,40 €

Software Engineering and Formal Methods - 18th International Conference, SEFM 2020, Amsterdam, The Netherlands, September 14–18,

de Boer, Frank; Cerone, Antonio
Springer Nature Switzerland AG
2020
Pehmeäkantinen kirja

56,40 €

Formal Methods for Software Engineering

Markus Roggenbach, Roggenbach; Antonio Cerone, Cerone; Bernd-Holger Schlingloff, Schlingloff
Springer Nature B.V.
2022
Pehmeäkantinen kirja

114,50 €

Formal Methods for Software Engineering - Languages, Methods, Application Domains

Roggenbach, Markus; Cerone, Antonio; Schlingloff, Bernd-Holger; Schneider, Gerardo; Shaikh, Siraj Ahmed
Springer Nature Switzerland AG
2023
Pehmeäkantinen kirja

56,40 €

From Data to Models and Back - 11th International Symposium, DataMod 2023, Eindhoven, The Netherlands, November 6–7, 2023, Revis

Broccia, Giovanna; Cerone, Antonio
Springer International Publishing AG
2025
Pehmeäkantinen kirja

111,40 €