Broschiertes Buch
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
1st edition 2018
14. April 2018
ETAPS e.V. / Springer / Springer International Publishing / Springer, Berlin
978-3-319-89721-9
Broschiertes Buch
24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part I
1st edition 2018
12. April 2018
ETAPS e.V. / Springer / Springer International Publishing / Springer, Berlin
978-3-319-89959-6
Broschiertes Buch
24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part II
1st ed. 2018
14. April 2018
ETAPS e.V. / Springer / Springer International Publishing / Springer, Berlin
978-3-319-89962-6
Broschiertes Buch
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
1st edition 2018
15. April 2018
ETAPS e.V. / Springer / Springer International Publishing / Springer, Berlin
978-3-319-89883-4
Broschiertes Buch
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
1st edition 2018
4. April 2018
ETAPS e.V. / Springer / Springer International Publishing / Springer, Berlin
978-3-319-89362-4
Broschiertes Buch
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
1st edition 2018
14. April 2018
ETAPS e.V. / Springer / Springer International Publishing / Springer, Berlin
978-3-319-89365-5
Gebundenes Buch
Practice Meets Foundations
1st ed. 2022
1. März 2022
Gesellschaft für Informatik e.V. / Springer / Springer International Publishing / Springer, Berlin
978-3-030-83127-1
Broschiertes Buch
Practice Meets Foundations
1st ed. 2022
1. März 2022
Gesellschaft für Informatik e.V. / Springer / Springer International Publishing / Springer, Berlin
978-3-030-83130-1
Broschiertes Buch
28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings, Part II
1st ed. 2022
30. März 2022
ETAPS Society / Springer / Springer International Publishing / Springer, Berlin
978-3-030-99526-3
Broschiertes Buch
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
1st ed. 2022
29. März 2022
ETAPS Society / Springer / Springer International Publishing / Springer, Berlin
978-3-030-99428-0
Broschiertes Buch
31st European Symposium on Programming, ESOP 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings
1st ed. 2022
29. März 2022
ETAPS Society / Springer / Springer International Publishing / Springer, Berlin
978-3-030-99335-1
Broschiertes Buch
25th International Conference, FOSSACS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings
1st ed. 2022
29. März 2022
ETAPS Society / Springer / Springer International Publishing / Springer, Berlin
978-3-030-99252-1
Broschiertes Buch
24th International Conference, FOSSACS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings
1st ed. 2021
23. März 2021
ETAPS Society / Springer / Springer International Publishing / Springer, Berlin
978-3-030-71994-4
Broschiertes Buch
27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings, Part II
1st ed. 2021
23. März 2021
ETAPS Society / Springer / Springer International Publishing / Springer, Berlin
978-3-030-72012-4
Broschiertes Buch
30th European Symposium on Programming, ESOP 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings
1st ed. 2021
23. März 2021
ETAPS Society / Springer / Springer International Publishing / Springer, Berlin
978-3-030-72018-6
Ähnlichkeitssuche: Fact®Finder von OMIKRON
