Antonio Cerone: потърсете в сайта Z-Library

Свободен достъп до знания и култура.

Don't use scam websites

Книги (17)
Най-популярни
Списък
- Списък
- Таблица

1

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

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

Markus Roggenbach, Antonio Cerone, Bernd-Holger Schlingloff, Gerardo Schneider, Siraj Ahmed Shaikh

Година:

2022

Език:

english

Файл:

PDF, 6.30 MB

0 / 0

english, 2022

2

Formal Methods for Software Engineering: Languages, Methods, Application Domains (Texts in Theoretical Computer Science. An EATCS Series)

Formal Methods for Software Engineering: Languages, Methods, Application Domains (Texts in Theoretical Computer Science. An EATCS Series)

Markus Roggenbach, Antonio Cerone, Bernd-Holger Schlingloff, Gerardo Schneider, Siraj Ahmed Shaikh

Година:

2022

Език:

english

Файл:

PDF, 6.30 MB

0 / 5.0

english, 2022

3

Advances in Tourism, Technology and Systems: Selected Papers from ICOTTS 2023, Volume 1

Advances in Tourism, Technology and Systems: Selected Papers from ICOTTS 2023, Volume 1

António Abreu, João Vidal Carvalho, Pedro Liberato, Hazael Cerón Monroy, (eds.)

Година:

2024

Език:

english

Файл:

PDF, 15.44 MB

0 / 5.0

english, 2024

4

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

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

Springer International Publishing;Springer

Frank de Boer, Antonio Cerone

Година:

2020

Език:

english

Файл:

PDF, 14.69 MB

0 / 0

english, 2020

5

Information Technology and Open Source: Applications for Education, Innovation, and Sustainability: SEFM 2012 Satellite Events, InSuEdu, MoKMaSD, and OpenCert Thessaloniki, Greece, October 1–2, 2012 Revised Selected Papers

Information Technology and Open Source: Applications for Education, Innovation, and Sustainability: SEFM 2012 Satellite Events, InSuEdu, MoKMaSD, and OpenCert Thessaloniki, Greece, October 1–2, 2012 Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Antonio Cerone, Donatella Persico, Sara Fernandes, Alexeis Garcia-Perez, Panagiotis Katsaros, Siraj Ahmed Shaikh, Ioannis Stamelos (eds.)

Година:

2014

Език:

english

Файл:

PDF, 6.65 MB

0 / 0

english, 2014

6

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

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

Springer-Verlag Berlin Heidelberg

Tobias Nipkow (auth.), Kamel Barkaoui, Ana Cavalcanti, Antonio Cerone (eds.)

Година:

2006

Език:

english

Файл:

PDF, 3.72 MB

0 / 0

english, 2006

7

Theoretical Aspects of Computing – ICTAC 2011: 8th International Colloquium, Johannesburg, South Africa, August 31 – September 2, 2011. Proceedings

Theoretical Aspects of Computing – ICTAC 2011: 8th International Colloquium, Johannesburg, South Africa, August 31 – September 2, 2011. Proceedings

Springer-Verlag Berlin Heidelberg

Jayadev Misra (auth.), Antonio Cerone, Pekka Pihlajasaari (eds.)

Година:

2011

Език:

english

Файл:

PDF, 3.64 MB

0 / 0

english, 2011

8

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

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

Springer Nature

Година:

2023

Език:

english

Файл:

PDF, 16.02 MB

0 / 0

english, 2023

9

Advances in Tourism, Technology and Systems: Selected Papers from ICOTTS 2023, Volume 1

Advances in Tourism, Technology and Systems: Selected Papers from ICOTTS 2023, Volume 1

Springer Nature Singapore

António Abreu, João Vidal Carvalho, Pedro Liberato, Hazael Cerón Monroy, (eds.)

Език:

english

Файл:

EPUB, 49.52 MB

0 / 5.0

english

10

Software Engineering and Formal Methods

Software Engineering and Formal Methods

Antonio Cerone, Marco Roveri

Година:

2018

Език:

english

Файл:

EPUB, 7.76 MB

0 / 5.0

english, 2018

11

Theoretical Aspects of Computing – ICTAC 2011: 8th International Colloquium, Johannesburg, South Africa, August 31 – September 2, 2011. Proceedings

Theoretical Aspects of Computing – ICTAC 2011: 8th International Colloquium, Johannesburg, South Africa, August 31 – September 2, 2011. Proceedings

Springer-Verlag Berlin Heidelberg

Jayadev Misra (auth.), Antonio Cerone, Pekka Pihlajasaari (eds.)

Година:

2011

Език:

english

Файл:

PDF, 3.74 MB

0 / 0

english, 2011

12

LNCS 4281 - Theoretical Aspects of Computing - ICTAC 2006 (Frontmatter Pages)

LNCS 4281 - Theoretical Aspects of Computing - ICTAC 2006 (Frontmatter Pages)

Ana Cavalcanti Kamel Barkaoui & Antonio Cerone [Kamel Barkaoui, Ana Cavalcanti]

Година:

2009

Език:

spanish

Файл:

AZW3 , 1.94 MB

0 / 0

spanish, 2009

13

LNCS 4281 - Theoretical Aspects of Computing - ICTAC 2006 (Frontmatter Pages)

LNCS 4281 - Theoretical Aspects of Computing - ICTAC 2006 (Frontmatter Pages)

Kamel Barkaoui, Ana Cavalcanti & Antonio Cerone

Година:

2009

Език:

spanish

Файл:

FB2 , 3.05 MB

0 / 0

spanish, 2009

14

LNCS 4281 - Theoretical Aspects of Computing - ICTAC 2006 (Frontmatter Pages)

LNCS 4281 - Theoretical Aspects of Computing - ICTAC 2006 (Frontmatter Pages)

Kamel Barkaoui, Ana Cavalcanti & Antonio Cerone [Kamel Barkaoui, Ana Cavalcanti & Antonio Cerone]

Година:

2009

Файл:

LIT , 1.56 MB

0 / 0

2009

15

LNCS 4281 - Theoretical Aspects of Computing - ICTAC 2006 (Frontmatter Pages)

LNCS 4281 - Theoretical Aspects of Computing - ICTAC 2006 (Frontmatter Pages)

Ana Cavalcanti Kamel Barkaoui & Antonio Cerone [Kamel Barkaoui, Ana Cavalcanti]

Година:

2009

Език:

spanish

Файл:

MOBI , 1.90 MB

0 / 0

spanish, 2009

16

Software Engineering and Formal Methods: SEFM 2017 Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September 4-5, ... Papers

Software Engineering and Formal Methods: SEFM 2017 Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September 4-5, ... Papers

Antonio Cerone, Marco Roveri

Година:

2018

Език:

english

Файл:

PDF, 38.12 MB

0 / 0

english, 2018

17

Formal Methods. FM 2019 International Workshops: Porto, Portugal, October 7–11, 2019, Revised Selected Papers, Part I

Formal Methods. FM 2019 International Workshops: Porto, Portugal, October 7–11, 2019, Revised Selected Papers, Part I

Springer International Publishing;Springer

Emil Sekerinski, Nelma Moreira, José N. Oliveira, Daniel Ratiu, Riccardo Guidotti, Marie Farrell, Matt Luckcuck, Diego Marmsoler, José Campos, Troy Astarte, Laure Gonnord, Antonio Cerone, Luis Couto, Brijesh Dongol, Martin Kutrib, Pedro Monteiro, David De

Година:

2020

Език:

english

Файл:

PDF, 35.82 MB

0 / 0

english, 2020