Broschiertes Buch
With Practical Automated Reasoning and Verification
5. Dezember 2022
Springer / Springer International Publishing / Springer, Berlin
978-3-030-87884-9
| Gebundenes Buch | 46,99 € | |
| eBook, PDF | 48,95 € |
Gebundenes Buch
With Practical Automated Reasoning and Verification
4. Dezember 2021
Springer / Springer International Publishing / Springer, Berlin
978-3-030-87881-8
eBook, PDF
3. Dezember 2021
Springer International Publishing
Broschiertes Buch
30. März 2015
¿¿¿¿¿¿¿
Broschiertes Buch
Sustainability and Inclusion in Emerging Markets
Softcover reprint of the original 1st ed. 2017
18. Mai 2018
Palgrave Macmillan / Springer International Publishing / Springer, Berlin
978-3-319-87237-7
Gebundenes Buch
Sustainability and Inclusion in Emerging Markets
1st ed. 2017
6. Oktober 2017
Palgrave Macmillan / Springer International Publishing / Springer, Berlin
978-3-319-62110-4
| eBook, PDF | 88,95 € |
Ähnliche Artikel
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
Broschiertes Buch
12th International Joint Conference, IJCAR 2024, Nancy, France, July 3-6, 2024, Proceedings, Part I
2. Juli 2024
IJCAR Community / Springer / Springer Nature Switzerland / Springer, Berlin
978-3-031-63497-0
Broschiertes Buch
12th International Joint Conference, IJCAR 2024, Nancy, France, July 3-6, 2024, Proceedings, Part II
2. Juli 2024
IJCAR Community / Springer / Springer Nature Switzerland / Springer, Berlin
978-3-031-63500-7
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
Broschiertes Buch
Second International Symposium, Tver, Russia, July 20-24, 1992. Proceedings
1992.
24. Juni 1992
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-55707-4
Broschiertes Buch
6th International Conference, SAT 2003. Santa Margherita Ligure, Italy, May 5-8, 2003, Selected Revised Papers
26. Januar 2004
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-20851-8
Broschiertes Buch
8th International Conference, SAT 2005, St Andrews, Scotland, June 19-23, 2005, Proceedings
9. Juni 2005
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-26276-3
Broschiertes Buch
30th International Conference, TABLEAUX 2021, Birmingham, UK, September 6-9, 2021, Proceedings
1st ed. 2021
1. September 2021
Springer / Springer International Publishing / Springer, Berlin
978-3-030-86058-5
Broschiertes Buch
26th International Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5, 2019, Proceedings
10. Juni 2019
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-662-59532-9
Ähnlichkeitssuche: Fact®Finder von OMIKRON
