Suchergebnisse für "NSLP community / Springer / Springer Nature Switzerland / Springer, Berlin"

24 Artikel

Computer Aided Verification
31,99 €
Versandfertig in 6-10 Tagen
Versandkostenfrei*
Computer Aided Verification
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part III
23. Juli 2025
Community CAV 2025 / Springer / Springer Nature Switzerland / Springer, Berlin
978-3-031-98681-9
Computer Aided Verification
31,99 €
Versandfertig in 6-10 Tagen
Versandkostenfrei*
Computer Aided Verification
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part IV
23. Juli 2025
Community CAV 2025 / Springer / Springer Nature Switzerland / Springer, Berlin
978-3-031-98684-0
Computer Aided Verification
31,99 €
Versandfertig in 6-10 Tagen
Versandkostenfrei*
Computer Aided Verification
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part I
23. Juli 2025
Community CAV 2025 / Springer / Springer Nature Switzerland / Springer, Berlin
978-3-031-98667-3
Computer Aided Verification
31,99 €
Versandfertig in 6-10 Tagen
Versandkostenfrei*
Computer Aided Verification
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part II
22. Juli 2025
Community CAV 2025 / Springer / Springer Nature Switzerland / Springer, Berlin
978-3-031-98678-9
Computer Aided Verification
31,99 €
Versandfertig in 6-10 Tagen
Versandkostenfrei*
Computer Aided Verification
  (Aktuell noch keine Bewertungen)
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
Computer Aided Verification
31,99 €
Versandfertig in 6-10 Tagen
Versandkostenfrei*
Computer Aided Verification
  (Aktuell noch keine Bewertungen)
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
Computer Aided Verification
31,99 €
Versandfertig in 6-10 Tagen
Versandkostenfrei*
Computer Aided Verification
  (Aktuell noch keine Bewertungen)
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
Automated Reasoning with Analytic Tableaux and Related Methods
31,99 €
Versandfertig in 6-10 Tagen
Versandkostenfrei*
Automated Reasoning with Analytic Tableaux and Related Methods
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
34th International Conference, TABLEAUX 2025, Reykjavik, Iceland, September 27-29, 2025, Proceedings
28. September 2025
Springer / Springer Nature Switzerland / Springer, Berlin / TABLEAUX Community
89551471,978-3-032-06084-6
Automated Reasoning with Analytic Tableaux and Related Methods
31,99 €
Versandfertig in 6-10 Tagen
Versandkostenfrei*
Automated Reasoning with Analytic Tableaux and Related Methods
  (Aktuell noch keine Bewertungen)
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