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
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
Coomunity 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
Broschiertes Buch
First International Workshop, NSLP 2024, Hersonissos, Crete, Greece, May 27, 2024, Proceedings
2024
15. August 2024
NSLP community / Springer / Springer Nature Switzerland / Springer, Berlin
978-3-031-65793-1
Ähnlichkeitssuche: Fact®Finder von OMIKRON
