Suchergebnisse - ETAPS

Fundamental approaches to software engineering: 26th International Conference, FASE 2023, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22–27, 2023 : proceedings

“… ETAPS …”
Online lesen (frei zugänglich)

Tools and algorithms for the construction and analysis of systems: 29th International Conference, TACAS 2023, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022 [sic!], Paris, France, April 22–27, 2023 : proceedings, part I

“… ETAPS …”
Online lesen (frei zugänglich)

Fundamental approaches to software engineering: 21st International Conference, FASE 2018 : held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018 : proceedings

“… ETAPS …”
Online lesen (frei zugänglich)

Foundations of software science and computation structures: 26th International Conference, FoSSaCS 2023, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22–27, 2023 : proceedings

“… ETAPS …”
Online lesen (frei zugänglich)

Programming languages and systems: 29th European Symposium on Programming, ESOP 2020, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020 : proceedings

“… ETAPS …”
Online lesen (frei zugänglich)

Fundamental approaches to software engineering: 22nd international conference, FASE 2019 : held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019 : proceedings

“… ETAPS …”
Online lesen (frei zugänglich)

Principles of security and trust: 8th international conference, POST 2019 : held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019 : proceedings

“… ETAPS …”
Online lesen (frei zugänglich)

Foundations of software science and computation structures: 22nd international conference, FOSSACS 2019, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019 : proceedings

“… ETAPS …”
Online lesen (frei zugänglich)

Programming languages and systems: 28th European Symposium on Programming, ESOP 2019 : held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019 : proceedings

“… ETAPS …”
Online lesen (frei zugänglich)

Tools and algorithms for the construction and analysis of systems: 25th international conference, TACAS 2019, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019 : proceedings, part I

“… ETAPS …”
Online lesen (frei zugänglich)

Tools and algorithms for the construction and analysis of systems: 25th international conference, TACAS 2019 : held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019 : proceedings, part II

“… ETAPS …”
Online lesen (frei zugänglich)

Principles of security and trust: 6th International Conference, POST 2017 : held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017 : proceedings

“… ETAPS …”
Online lesen

Programming languages and systems: 32nd European Symposium on Programming, ESOP 2023, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22–27, 2023 : proceedings

“… ETAPS …”
Online lesen (frei zugänglich)

Tools and algorithms for the construction and analysis of systems: 29th International Conference, TACAS 2023, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022 [sic!], Paris, France, April 22–27, 2023 : proceedings, part II

“… ETAPS …”
Online lesen (frei zugänglich)

Fundamental approaches to software engineering: 25th international conference, FASE 2022, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, proceedings

“… ETAPS …”
Online lesen (frei zugänglich)

Foundations of software science and computation structures: 23rd International Conference, FOSSACS 2020, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, proceedings

“… ETAPS …”
Online lesen (frei zugänglich)

Foundations of software science and computation structures: 21st International Conference, FOSSACS 2018 : held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14–20, 2018 : proceedings

“… ETAPS …”
Online lesen (frei zugänglich)

Principles of security and trust: 7th International Conference, POST 2018 : held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018 : proceedings

“… ETAPS …”
Online lesen (frei zugänglich)

Programming languages and systems: 27th European Symposium on Programming, ESOP 2018 : held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018 : proceedings

“… ETAPS …”
Online lesen (frei zugänglich)

Foundations of software science and computation structures: 20th International Conference, FOSSACS 2017: held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017 : proceedings

“… ETAPS …”
Online lesen