topmenu
Wyniki wyszukiwania:
wyszukanych pozycji: 15
 |
Jack and the Beanstalk: A Magical Carpet Fairytale
ISBN: 9781938447976 / Angielski Termin realizacji zamówienia: ok. 16-18 dni roboczych. |
cena:
65,47 |
 |
That Weird Christian Kid: A Poetic Narrative
ISBN: 9798987495049 / Angielski / Twarda / 2023 / 114 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. |
cena:
61,61 |
 |
AI Explorers-Volume 1: Learning Artificial Intelligence
ISBN: 9781834920788 / Angielski Termin realizacji zamówienia: ok. 16-18 dni roboczych. |
cena:
69,36 |
| |
That Weird Christian Kid: A Poetic Narrative
ISBN: 9798987495025 / Angielski / Miękka / 2023 / 114 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. |
cena:
34,64 |
 |
|
cena:
76,88 |
 |
AI Explorers-Volume 2: Wonders of Artificial Intelligence
ISBN: 9781049234960 / Angielski Termin realizacji zamówienia: ok. 16-18 dni roboczych. |
cena:
96,34 |
| |
Formal Methods for Safe Autonomy: Data-driven Verification, Synthesis, and Applications
ISBN: 9798400708633 / Angielski / Miękka / 2024 / 184 str. Termin realizacji zamówienia: ok. 30 dni roboczych. There are significant financial and legal implications for ensuring design correctness and safety in autonomous systems. This book introduces new verification and synthesis algorithms to provide certifiable trusts for real-world autonomous systems. On the theoretical front, the techniques are armed with soundness, precision, and relative completeness guarantees. On the experimental side, this book shows that techniques can be successfully applied on a sequence of real-world problems, including a suite of Toyota engine control modules verified for the first time, satellite control systems, and...
There are significant financial and legal implications for ensuring design correctness and safety in autonomous systems. This book introduces new veri...
|
cena:
225,30 |
| |
Formal Methods for Safe Autonomy: Data-driven Verification, Synthesis, and Applications
ISBN: 9798400708657 / Angielski / Twarda / 2024 / 277 str. Termin realizacji zamówienia: ok. 30 dni roboczych. There are significant financial and legal implications for ensuring design correctness and safety in autonomous systems. This book introduces new verification and synthesis algorithms to provide certifiable trusts for real-world autonomous systems. On the theoretical front, the techniques are armed with soundness, precision, and relative completeness guarantees. On the experimental side, this book shows that techniques can be successfully applied on a sequence of real-world problems, including a suite of Toyota engine control modules verified for the first time, satellite control systems, and...
There are significant financial and legal implications for ensuring design correctness and safety in autonomous systems. This book introduces new veri...
|
cena:
303,66 |
 |
Islamist Party Mobilization: Tunisia's Ennahda and Algeria's HMS Compared, 1989-2014
ISBN: 9789811394867 / Angielski / Twarda / 2019 / 289 str. Termin realizacji zamówienia: ok. 22 dni roboczych. |
cena:
201,24 |
 |
Entering a man's world; Women bus drivers in South Africa
ISBN: 9783659291760 / Angielski / Miękka / 2012 / 136 str. Termin realizacji zamówienia: ok. 10-14 dni roboczych. Race, gender and class politics of South African women in previously male dominated occupations. This book is about how women in South Africa are faring in previously male domonated occupations. It also brings out to the open what challenges they face and what strategies they use to adopt and survive in these occupations.Long distance bus driving is a new phenomenon introduced to women who are living in a society where gender roles are instilled at a very young age and maintained though out life. Hence, defiance of these societal expectations renders you to be a "deviant".
Race, gender and class politics of South African women in previously male dominated occupations. This book is about how women in South Africa are fari...
|
cena:
263,91 |
 |
China's Changing Role in the Middle East: Filling a Power Vacuum?
ISBN: 9781032801599 / Angielski Termin realizacji zamówienia: ok. 22 dni roboczych. |
cena:
205,65 |
 |
The Software Developer's Guide: Inspirational Roadmap-Novice to Expert
ISBN: 9781037067501 / Angielski Termin realizacji zamówienia: ok. 16-18 dni roboczych. |
cena:
134,87 |
 |
Islamist Party Mobilization: Tunisia's Ennahda and Algeria's HMS Compared, 1989-2014
ISBN: 9789811394898 / Angielski / Miękka / 2020 / 289 str. Termin realizacji zamówienia: ok. 22 dni roboczych. |
cena:
201,24 |
 |
China's Changing Role in the Middle East: Filling a Power Vacuum?
ISBN: 9781032762753 / Angielski Termin realizacji zamówienia: ok. 22 dni roboczych. |
cena:
759,15 |
 |
Numerical Approximations of Stochastic Maxwell Equations: Via Structure-Preserving Algorithms
ISBN: 9789819966851 / Angielski Termin realizacji zamówienia: ok. 22 dni roboczych. |
cena:
241,50 |
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
