topmenu
Wyniki wyszukiwania:
wyszukanych pozycji: 4
 |
Tools and Algorithms for the Construction and Analysis of Systems: 32nd International Conference, Tacas 2026, Held as Part of the International Joint
ISBN: 9783032227515 / Angielski / 09-05-2026 Książka dostępna od: 09-05-2026 |
|
Planowany termin premiery książki: 09-05-2026
Książkę można już zamówić z rabatem 5% |
|
168,46 |
 |
Tools and Algorithms for the Construction and Analysis of Systems: 32nd International Conference, Tacas 2026, Held as Part of the International Joint
ISBN: 9783032227485 / Angielski / 05-05-2026 Książka dostępna od: 05-05-2026 |
|
Planowany termin premiery książki: 05-05-2026
Książkę można już zamówić z rabatem 5% |
|
168,46 |
 |
Principles of Verification: Cycling the Probabilistic Landscape: Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part II
ISBN: 9783031757747 / Angielski Termin realizacji zamówienia: ok. 16-18 dni roboczych. |
cena:
304,02 |
 |
Principles of Verification: Cycling the Probabilistic Landscape: Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part I
ISBN: 9783031757822 / Angielski Termin realizacji zamówienia: ok. 16-18 dni roboczych. |
cena:
324,28 |
Czytaj nas na:
Zobacz: Księgarnia Czeska | Wydawnictwo Książkowe Klimaty | Mapa strony | Lista autorów
KrainaKsiazek.PL - Księgarnia Internetowa
KrainaKsiazek.PL - Księgarnia Internetowa
