
Broschiertes Buch
29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings, Part II
1st ed. 2023
20. April 2023
ETAPS Society / Springer / Springer Nature Switzerland / Springer, Berlin
978-3-031-30819-2

Broschiertes Buch
26th International Conference, FASE 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
20. April 2023
ETAPS Society / Springer / Springer Nature Switzerland / Springer, Berlin
978-3-031-30825-3

Broschiertes Buch
29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings, Part I
1st ed. 2023
22. April 2023
ETAPS Society / Springer / Springer Nature Switzerland / Springer, Berlin
978-3-031-30822-2

Broschiertes Buch
26th International Conference, FoSSaCS 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
21. April 2023
ETAPS Society / Springer / Springer Nature Switzerland / Springer, Berlin
978-3-031-30828-4

Broschiertes Buch
Pathophysiology, Diagnosis and Surgical Technique
20. Juni 2025
Italian Society of Surgery / Springer / Springer Nature Switzerland / Springer, Berlin
978-3-031-90569-8

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

Gebundenes Buch
14. Oktober 2025
International Society of Military Sciences / Springer / Springer Nature Switzerland / Springer, Berl
978-3-030-27278-4

Broschiertes Buch
ICPM 2024 International Workshops, Lyngby, Denmark, October 14-18, 2024, Revised Selected Papers
28. März 2025
ICPM Society / Springer / Springer Nature Switzerland / Springer, Berlin
978-3-031-82224-7

Broschiertes Buch
35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part II
1st ed. 2023
18. Juli 2023
CAV Society / Springer / Springer Nature Switzerland / Springer, Berlin
978-3-031-37702-0

Broschiertes Buch
35th International Conference, CAV 2023, Paris, France, July 17¿22, 2023, Proceedings, Part I
1st ed. 2023
17. Juli 2023
CAV Society / Springer / Springer Nature Switzerland / Springer, Berlin
978-3-031-37705-1

Broschiertes Buch
35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part III
1st ed. 2023
17. Juli 2023
CAV Society / Springer / Springer Nature Switzerland / Springer, Berlin
978-3-031-37708-2
Ähnlichkeitssuche: Fact®Finder von OMIKRON