topmenu
Wyniki wyszukiwania:
wyszukanych pozycji: 4
 |
Computer Aided Verification: 29th International Conference, Cav 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part I
ISBN: 9783319633862 / Angielski / Miękka / 2017 / 601 str. Termin realizacji zamówienia: ok. 20 dni roboczych. |
cena:
191,40 zł |
 |
Hybrid Systems: Computation and Control: 12th International Conference, Hscc 2009, San Francisco, Ca, Usa, April 13-15, 2009, Proceedings
ISBN: 9783642006012 / Angielski / Miękka / 2009 / 508 str. Termin realizacji zamówienia: ok. 20 dni roboczych. This volume contains the proceedings of the 12th International Conference on Hybrid Systems Computation and Control (HSCC 2009) held in San Francisco, CaliforniaduringApril13-15,2009. Theannualconferenceonhybridsystems- cuses on researchin embedded, reactive systems involving the interplay between discrete switching and continuous dynamics. HSCC is a forum for academic and industrial researchers and practitioners to exchange information on the latest advancements, both practical and theoretical, in the design, analysis, control, optimization, and implementation of hybrid systems. HSCC 2009...
This volume contains the proceedings of the 12th International Conference on Hybrid Systems Computation and Control (HSCC 2009) held in San Francisco,...
|
cena:
191,40 zł |
 |
Computer Aided Verification: 29th International Conference, Cav 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part II
ISBN: 9783319633893 / Angielski / Miękka / 2017 / 623 str. Termin realizacji zamówienia: ok. 20 dni roboczych. |
cena:
191,40 zł |
 |
Networked Systems: 8th International Conference, Netys 2020, Marrakech, Morocco, June 3-5, 2020, Proceedings
ISBN: 9783030670863 / Angielski / Miękka / 2021 / 376 str. Termin realizacji zamówienia: ok. 20 dni roboczych. |
cena:
191,40 zł |
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
