Broschiertes Buch
31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part III
1. Mai 2025
ETAPS Society / Springer / Springer Nature Switzerland / Springer, Berlin
978-3-031-90659-6
Broschiertes Buch
31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part II
1. Mai 2025
ETAPS Society / Springer / Springer Nature Switzerland / Springer, Berlin
978-3-031-90652-7
Broschiertes Buch
34th European Symposium on Programming, ESOP 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part I
1. Mai 2025
ETAPS Society / Springer / Springer Nature Switzerland / Springer, Berlin
978-3-031-91117-0
Broschiertes Buch
28th International Conference, FASE 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings
1. Mai 2025
ETAPS Society / Springer / Springer Nature Switzerland / Springer, Berlin
978-3-031-90899-6
Broschiertes Buch
34th European Symposium on Programming, ESOP 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part II
1. Mai 2025
ETAPS Society / Springer / Springer Nature Switzerland / Springer, Berlin
978-3-031-91120-0
Broschiertes Buch
31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part I
1. Mai 2025
ETAPS Society / Springer / Springer Nature Switzerland / Springer, Berlin
978-3-031-90642-8
Broschiertes Buch
28th International Conference, FoSSaCS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings
1. Mai 2025
ETAPS Society / Springer / Springer Nature Switzerland / Springer, Berlin
978-3-031-90896-5
Broschiertes Buch
27th International Conference, FoSSaCS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part II
2024
6. April 2024
ETAPS Society / Springer / Springer Nature Switzerland / Springer, Berlin
978-3-031-57230-2
Broschiertes Buch
27th International Conference, FoSSaCS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part I
2024
5. April 2024
ETAPS Society / Springer / Springer Nature Switzerland / Springer, Berlin
978-3-031-57227-2
Broschiertes Buch
27th International Conference, FASE 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings
2024
6. April 2024
ETAPS Society / Springer / Springer Nature Switzerland / Springer, Berlin
978-3-031-57258-6
Broschiertes Buch
30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part III
2024
5. April 2024
ETAPS Society / Springer / Springer Nature Switzerland / Springer, Berlin
978-3-031-57255-5
Broschiertes Buch
33rd European Symposium on Programming, ESOP 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part II
2024
5. April 2024
ETAPS Society / Springer / Springer Nature Switzerland / Springer, Berlin
978-3-031-57266-1
Broschiertes Buch
33rd European Symposium on Programming, ESOP 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part I
2024
5. April 2024
ETAPS Society / Springer / Springer Nature Switzerland / Springer, Berlin
978-3-031-57261-6
Broschiertes Buch
30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part I
2024
4. April 2024
ETAPS Society / Springer / Springer Nature Switzerland / Springer, Berlin
978-3-031-57245-6
Broschiertes Buch
30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part II
2024
5. April 2024
ETAPS Society / Springer / Springer Nature Switzerland / Springer, Berlin
978-3-031-57248-7
Ähnlichkeitssuche: Fact®Finder von OMIKRON
