Broschiertes Buch
15th International Symposium, FroCoS 2025, Reykjavik, Iceland, September 29 - October 1, 2025, Proceedings
10. September 2025
FroCoS community / Springer / Springer Nature Switzerland / Springer, Berlin
89556681,978-3-032-04166-1
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
Ähnliche Artikel
Broschiertes Buch
14th International Symposium, FroCoS 2023, Prague, Czech Republic, September 20-22, 2023, Proceedings
1st ed. 2023
15. September 2023
Author Funded / Springer / Springer Nature Switzerland / Springer, Berlin
978-3-031-43368-9
Broschiertes Buch
13th International Symposium, FroCoS 2021, Birmingham, UK, September 8-10, 2021, Proceedings
1st ed. 2021
1. September 2021
Springer / Springer International Publishing / Springer, Berlin
978-3-030-86204-6
Broschiertes Buch
10th International Joint Conference, IJCAR 2020, Paris, France, July 1-4, 2020, Proceedings, Part II
1st ed. 2020
30. Juni 2020
Springer / Springer International Publishing / Springer, Berlin
978-3-030-51053-4
Broschiertes Buch
32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part I
1st ed. 2020
16. Juli 2020
Springer / Springer International Publishing / Springer, Berlin
978-3-030-53287-1
Broschiertes Buch
10th International Joint Conference, IJCAR 2020, Paris, France, July 1-4, 2020, Proceedings, Part I
1st ed. 2020
30. Juni 2020
Springer / Springer International Publishing / Springer, Berlin
978-3-030-51073-2
Broschiertes Buch
32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part II
1st ed. 2020
16. Juli 2020
CAV Inc. / Springer / Springer International Publishing / Springer, Berlin
978-3-030-53290-1
Broschiertes Buch
17th International Conference, IFM 2022, Lugano, Switzerland, June 7-10, 2022, Proceedings
1st ed. 2022
1. Juni 2022
Springer / Springer International Publishing / Springer, Berlin
978-3-031-07726-5
Broschiertes Buch
7th International Symposium, SETTA 2021, Beijing, China, November 25-27, 2021, Proceedings
1st ed. 2021
14. November 2021
Springer / Springer International Publishing / Springer, Berlin
978-3-030-91264-2
Broschiertes Buch
23rd International Conference, VMCAI 2022, Philadelphia, PA, USA, January 16-18, 2022, Proceedings
1st ed. 2022
14. Januar 2022
Springer / Springer International Publishing / Springer, Berlin
978-3-030-94582-4
Broschiertes Buch
19th International Conference, SEFM 2021, Virtual Event, December 6-10, 2021, Proceedings
1st ed. 2021
3. Dezember 2021
Springer / Springer International Publishing / Springer, Berlin
978-3-030-92123-1
Ähnlichkeitssuche: Fact®Finder von OMIKRON
