Broschiertes Buch
With Practical Automated Reasoning and Verification
1st ed. 2021
5. Dezember 2022
Springer / Springer International Publishing / Springer, Berlin
978-3-030-87884-9
Gebundenes Buch | 44,99 € | |
eBook, PDF | 48,95 € |
Gebundenes Buch
With Practical Automated Reasoning and Verification
1st ed. 2021
4. Dezember 2021
Springer / Springer International Publishing / Springer, Berlin
978-3-030-87881-8
eBook, PDF
3. Dezember 2021
Springer Nature Switzerland
24,99 €
Versandfertig in 1-2 Wochen
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 | 89,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
An Accessible Introduction to the History, Theory, Logic and Applications
Softcover reprint of the original 1st ed. 2016
22. April 2018
Springer / Springer International Publishing / Springer, Berlin
978-3-319-83080-3
Gebundenes Buch
An Accessible Introduction to the History, Theory, Logic and Applications
2. Aufl.
29. Oktober 2021
Springer / Springer International Publishing / Springer, Berlin
978-3-030-81587-5
Broschiertes Buch
An Accessible Introduction to the History, Theory, Logic and Applications
2. Aufl.
29. Oktober 2022
Springer / Springer International Publishing / Springer, Berlin
978-3-030-81590-5
Gebundenes Buch
Design, Implement, Validate, and Prove
1st edition 2024
19. Dezember 2023
Springer / Springer Nature Switzerland / Springer, Berlin
978-3-031-43972-8
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
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
2012
18. Mai 2012
Springer / Springer London / Springer, Berlin
86019853,978-1-4471-4001-6
Broschiertes Buch
The Art of Thinking Abstractly and Mathematically
1st ed. 2021
11. Februar 2021
Springer / Springer International Publishing / Springer, Berlin / Universitetforlaget
978-3-030-63776-7
Ähnlichkeitssuche: Fact®Finder von OMIKRON