Ključne besede: pametno domovanje, internet stvari, komunikacijski protokoli, odprtokodne platforme, upravljanje pametnega domovanja, Home AssistantCelotno besedilo (datoteka, 11,65 MB)
Ključne besede: IoT, internet stvari, pametni dom, Home Assistant, Raspberry Pi, avtomatizacija, TasmotaCelotno besedilo (datoteka, 1,28 MB)
Ključne besede: dependent type theory, algebraic theory, proof assistant, type-theoretic elaboration equality checkingCelotno besedilo (datoteka, 2,41 MB)
Ključne besede: dependent type theory, algebraic theory, proof assistant, metalanguage, computational effectsCelotno besedilo (datoteka, 2,22 MB)
Ključne besede: pametna senčila, hišna avtomatizacija, omrežje Wi-Fi, protokol MQTT, platforma Home Assistant, modul ESP32Celotno besedilo (datoteka, 9,30 MB)
Ključne besede: Toplotna črpalka, Modbus RTU, MQTT, Home Assistant, oddaljeno upravljanje, Mikrokrmilniški sistem, Avtomatizacija doma, Pametna naprava, Internet stvariCelotno besedilo (datoteka, 16,84 MB)