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
