
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

Broschiertes Buch
29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22¿27, 2023, Proceedings, Part II
1st ed. 2023
20. April 2023
ETAPS Society / Springer / Springer Nature Switzerland / Springer, Berlin
978-3-031-30819-2

Broschiertes Buch
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
1st ed. 2023
20. April 2023
ETAPS Society / Springer / Springer Nature Switzerland / Springer, Berlin
978-3-031-30825-3

Broschiertes Buch
29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22¿27, 2023, Proceedings, Part I
1st ed. 2023
22. April 2023
ETAPS Society / Springer / Springer Nature Switzerland / Springer, Berlin
978-3-031-30822-2

Broschiertes Buch
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
1st ed. 2023
21. April 2023
ETAPS Society / Springer / Springer Nature Switzerland / Springer, Berlin
978-3-031-30828-4

Broschiertes Buch
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
1st ed. 2023
18. April 2023
ETAPS community / Springer / Springer Nature Switzerland / Springer, Berlin
978-3-031-30043-1

Gebundenes Buch
14. Oktober 2025
International Society of Military Sciences / Springer / Springer Nature Switzerland / Springer, Berl
978-3-030-27278-4

Broschiertes Buch
ICPM 2024 International Workshops, Lyngby, Denmark, October 14-18, 2024, Revised Selected Papers
28. März 2025
ICPM Society / Springer / Springer Nature Switzerland / Springer, Berlin
978-3-031-82224-7
Ähnlichkeitssuche: Fact®Finder von OMIKRON