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,10 €

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,10 €

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

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

75,10 €

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,00 €

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,10 €

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,10 €

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

Cerone, Antonio
Springer International Publishing AG
2023
Pehmeäkantinen kirja

51,10 €

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,10 €

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

81,00 €

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,10 €

Formal Methods for Software Engineering

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

119,70 €

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

61,10 €

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

120,90 €