Broschiertes Buch
Encoding Program Proofs in Types
1st ed.
18. März 2023
Apress / Springer, Berlin
978-1-4842-9258-7
| eBook, PDF | 28,95 € |
Broschiertes Buch
Proving Program Correctness
1st ed.
1. März 2022
Apress / Springer, Berlin
978-1-4842-7977-9
| eBook, PDF | 26,95 € |
Broschiertes Buch
Implement and Extend Blockchains with the Racket Language
1st ed.
9. April 2021
Apress / Springer, Berlin
978-1-4842-6968-8
| eBook, PDF | 43,95 € |
Ähnliche Artikel
Broschiertes Buch
Foundational Learning for New Programmers
1st ed.
6. November 2021
Apress / Springer, Berlin
978-1-4842-7436-1
Broschiertes Buch
A Software Engineering Guide to Embedded Development
1st ed.
20. Januar 2021
Apress / Springer, Berlin
978-1-4842-6439-3
Broschiertes Buch
A Strategic Approach to Modern Cloud Management
2. Aufl.
15. Dezember 2022
Apress / Springer, Berlin
978-1-4842-8760-6
Broschiertes Buch
Softcover reprint of the original 1st ed. 1998
23. Oktober 2012
Springer / Springer London / Springer, Berlin
978-1-4471-1165-8
Gebundenes Buch
The Creation of the SeqAn3 Bioinformatics Library
1st edition 2022
8. März 2022
Springer / Springer International Publishing / Springer, Berlin
978-3-030-90989-5
Broschiertes Buch
33rd European Symposium on Programming, ESOP 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6¿11, 2024, Proceedings, Part II
2024
5. April 2024
ETAPS Society / Springer / Springer Nature Switzerland / Springer, Berlin
978-3-031-57266-1
Broschiertes Buch
The Creation of the SeqAn3 Bioinformatics Library
1st edition 2022
9. März 2023
Springer / Springer International Publishing / Springer, Berlin
978-3-030-90992-5
Broschiertes Buch
Open Source Solutions for Numerical Computation
1st ed.
7. Dezember 2017
Apress / Springer, Berlin
978-1-4842-3203-3
Ähnlichkeitssuche: Fact®Finder von OMIKRON
