Broschiertes Buch
12th International Joint Conference, IJCAR 2024, Nancy, France, July 3-6, 2024, Proceedings, Part II
2024
2. Juli 2024
IJCAR Community / Springer / Springer Nature Switzerland / Springer, Berlin
978-3-031-63500-7
Broschiertes Buch
12th International Joint Conference, IJCAR 2024, Nancy, France, July 3-6, 2024, Proceedings, Part I
2024
2. Juli 2024
IJCAR Community / Springer / Springer Nature Switzerland / Springer, Berlin
978-3-031-63497-0
Broschiertes Buch
37th International Conference, CAV 2025, Zagreb, Croatia, July 21-25, 2025, Proceedings, Part III
August 2025
Community CAV 2025 / Springer / Springer Nature Switzerland / Springer, Berlin
978-3-031-98681-9
Broschiertes Buch
37th International Conference, CAV 2025, Zagreb, Croatia, July 21-25, 2025, Proceedings, Part IV
August 2025
Community CAV 2025 / Springer / Springer Nature Switzerland / Springer, Berlin
978-3-031-98684-0
Broschiertes Buch
37th International Conference, CAV 2025, Zagreb, Croatia, July 21-25, 2025, Proceedings, Part I
August 2025
Community CAV 2025 / Springer / Springer Nature Switzerland / Springer, Berlin
978-3-031-98667-3
Broschiertes Buch
37th International Conference, CAV 2025, Zagreb, Croatia, July 21-25, 2025, Proceedings, Part II
August 2025
Community CAV 2025 / Springer / Springer Nature Switzerland / Springer, Berlin
978-3-031-98678-9
Broschiertes Buch
29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings
1st ed. 2023
3. September 2023
CADE community / Springer / Springer Nature Switzerland / Springer, Berlin
978-3-031-38498-1
Broschiertes Buch
36th International Conference, CAV 2024, Montreal, QC, Canada, July 24-27, 2024, Proceedings, Part III
2024
26. Juli 2024
Community CAV 2024 / Springer / Springer Nature Switzerland / Springer, Berlin
978-3-031-65632-3
Broschiertes Buch
36th International Conference, CAV 2024, Montreal, QC, Canada, July 24-27, 2024, Proceedings, Part II
2024
25. Juli 2024
Community CAV 2024 / Springer / Springer Nature Switzerland / Springer, Berlin
978-3-031-65629-3
Broschiertes Buch
36th International Conference, CAV 2024, Montreal, QC, Canada, July 24-27, 2024, Proceedings, Part I
2024
26. Juli 2024
Community CAV 2024 / Springer / Springer Nature Switzerland / Springer, Berlin
978-3-031-65626-2
Broschiertes Buch
First International Conference, AISoLA 2023, Crete, Greece, October 23-28, 2023, Selected Papers
31. Oktober 2024
ISoLA community / Springer / Springer Nature Switzerland / Springer, Berlin
978-3-031-73740-4
Broschiertes Buch
16th International Conference on Informatics in Schools: Situation, Evolution, and Perspectives, ISSEP 2023, Lausanne, Switzerland, October 23-25, 2023, Proceedings
1st ed. 2023
2. Oktober 2023
ISSEP community / Springer / Springer Nature Switzerland / Springer, Berlin
978-3-031-44899-7
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
Broschiertes Buch
26th International Symposium, FM 2024, Milan, Italy, September 9¿13, 2024, Proceedings, Part II
2025
13. September 2024
FM Community / Springer / Springer Nature Switzerland / Springer, Berlin
978-3-031-71176-3
Broschiertes Buch
26th International Symposium, FM 2024, Milan, Italy, September 9¿13, 2024, Proceedings, Part I
2025
11. September 2024
FM Community / Springer / Springer Nature Switzerland / Springer, Berlin
978-3-031-71161-9
Ähnlichkeitssuche: Fact®Finder von OMIKRON
