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
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
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
Gebundenes Buch
2. Aufl.
7. Januar 2025
Los Alamos National Laboratory / Springer / Springer Nature Switzerland / Springer, Berlin / United
978-3-031-58276-9
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
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
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
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
A Legal and Policy Scan
15. Mai 2025
Pacific Community (SPC) / Springer / Springer Nature Switzerland / Springer, Berlin
978-3-031-56718-6
Ähnlichkeitssuche: Fact®Finder von OMIKRON
