Broschiertes Buch
35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part II
1st ed. 2023
18. Juli 2023
CAV Society / Springer / Springer Nature Switzerland / Springer, Berlin
978-3-031-37702-0
Broschiertes Buch
35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part I
1st ed. 2023
17. Juli 2023
CAV Society / Springer / Springer Nature Switzerland / Springer, Berlin
978-3-031-37705-1
Broschiertes Buch
35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part III
1st ed. 2023
17. Juli 2023
CAV Society / Springer / Springer Nature Switzerland / Springer, Berlin
978-3-031-37708-2
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
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
Ähnlichkeitssuche: Fact®Finder von OMIKRON
