
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

Gebundenes Buch
A Legal and Policy Scan
2024
14. Mai 2024
Pacific Community (SPC) / Springer / Springer Nature Switzerland / Springer, Berlin
978-3-031-56715-5
eBook, PDF | 113,95 € |

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
32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18-21, 2023, Proceedings
1st ed. 2023
14. September 2023
Springer / Springer Nature Switzerland / Springer, Berlin / TABLEAUX Community
978-3-031-43512-6
Ähnlichkeitssuche: Fact®Finder von OMIKRON