Sök böcker

Här kan du söka dig fram till bra böcker. Klicka sen på en bok för att läsa mer om den!

Sökning efter: Antonio Cerone 18 träffar

Titel Författare År Språk
1 Information Technology and Open Source: Applications for Education, Innovation, and Sustainability Antonio Cerone 2014 Okänt
2 Theo retical Aspects of Computing - ICTAC 2006 electronic resource - Third International Colloquium, Tunis, Tunisia, November 20-24, 2006Proceedings Kamel. Barkaoui 2006 Engelska
3 Formal Methods for an Informal World electronic resource : ICTAC 2021 Summer School, Virtual Event, Astana, Kazakhstan, September 1–7, 2021, Tutorial Lectures / edited by Antonio Cerone Antonio. Cerone uuuu-uuuu Okänt
4 Formal Methods – Fun for Everybody Antonio Cerone uuuu-uuuu Okänt
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 Antonio. Cerone 2014 Engelska
6-7 Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops : CIFMA, Cosim-CPS, OpenCERT, ASYDE, Virtual Event, December 6-10, 2021, Revised Selected Papers (flera utgåvor) Antonio. Cerone uuuu-uuuu Okänt
8 Theoretical Aspects of Computing – ICTAC 2011 - 8th International Colloquium, Johannesburg, South Africa, August 31 – September 2, 2011. Proceedings Antonio. Cerone 2011 Engelska
9 Formal Methods for an Informal World. - ICTAC 2021 Summer School, Virtual Event, Astana, Kazakhstan, September 1-7, 2021, Tutorial Lectures 2023 Engelska
10 Formal Methods for an Informal World: ICTAC 2021 Summer School, Virtual Event, Astana, Kazakhstan, September 1–7, 2021, Tutorial Lectures 2023 Okänt
11 Formal Methods – Fun for Everybody: First International Workshop, FMFun 2019, Bergen, Norway, December 2–3, 2019, Revised Selected Papers 2021 Okänt
12 Theoretical Aspects of Computing - ICTAC 2006 Kamel Barkaoui 2006 Okänt
13 Theoretical Aspects of Computing – ICTAC 2021: 18th International Colloquium, Virtual Event, Nur-Sultan, Kazakhstan, September 8–10, 2021, Proceedings Peter Csaba Ölveczky 2021 Okänt
14 Formal Methods for Software Engineering: Languages, Methods, Application Domains Markus Roggenbach 2022 Okänt
15 Software Engineering and Formal Methods - SEFM 2017 Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September 4-5, 2017, Revised Selected Papers 2018 Engelska
16 Software Engineering and Formal Methods: 18th International Conference, SEFM 2020, Amsterdam, The Netherlands, September 14–18, 2020, Proceedings 2020 Okänt
17 Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops: CIFMA, CoSim-CPS, OpenCERT, ASYDE, Virtual Event, December 6–10, 2021, Revised Selected Papers 2022 Okänt
18 Theoretical Aspects of Computing ICTAC 2011 : 8th International Colloquium, Johannesburg, South Africa, August 31 September 2, 2011. Proceedings 2011 Okänt

1

Sökningen görs direkt i Kungl. bibliotekets söktjänst libris. Libris katalog innehåller närmare 7 miljoner titlar från ca 170 bibliotek i Sverige och biblioteken samarbetar om att hålla katalogen uppdaterad. Utan libris skulle inte en tjänst som Boktraven vara möjlig.