Počet záznamů: 1
Verifying cyber-physical systems
Údaje o názvu Verifying cyber-physical systems : a path to safe autonomy / Sayan Mitra Osobní jméno Mitra, Sayan (autor) Nakladatel Cambridge, MA ; London : The MIT Press, [2021] Copyright ©2021 Fyz.popis xvi, 296 stran : ilustrace ISBN 978-0-262-04480-6 (vázáno) Poznámky o skryté bibliografii a rejstřících Obsahuje bibliografii a rejstřík Předmět.hesla autonomní vozidla automated vehicles * spolehlivost (technika) reliability (engineering) * matematické modely mathematical models * kybernetika cybernetics Forma, žánr učebnice vysokých škol textbooks (higher) Konspekt 007 - Teorie systémů. Automatické systémy. Informační systémy. Kybernetika 37.016 - Učební osnovy. Vyučovací předměty. Učebnice MDT 629.3.014.9 , 62-027.45 , 519.673 , 007 , (075.8) Země vyd. Spojené státy americké ; Velká Británie Jazyk dok. angličtina Druh dok. Knihy 
kniha
Signatura Čár.kód Lokace Dislokace Info 820:030/362 (KUP) 3139322748 Zbrojnice Ústřední knihovna UP - technika a průmysl pouze prezenčně
Počet záznamů: 1