Del 13466Software Verification and Formal Methods for ML-Enabled Autonomous SystemsOmri Isac, Radoslav Ivanov, Guy Katz, Nina Narodytska, Laura NenziHäftad, 2022727 kr
Software Verification and Formal Methods for ML-Enabled Autonomous SystemsLaura Nenzi, Nina Narodytska, Guy Katz, Radoslav Ivanov, Omri Isac E-bok2022865 kr
-30%Del 1Kalla mig systerMalin NordströmPocket, 20265,0 utav 5 stjärnor. Totalt antal röster:(1)69 kr99 kr
4 för 3Del 11Döda själar sjunger inteStine Bolther, Line Holm, Jussi Adler-OlsenPocket, 20264,5 utav 5 stjärnor. Totalt antal röster:(6)69 kr
4 för 3Del 14Djävulens bästa trickAnders RoslundPocket, 20265,0 utav 5 stjärnor. Totalt antal röster:(3)99 kr