
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