Ključne besede: embalaža, elektronska kontrola, farmacija, napake, Pixel ProofCelotno besedilo (datoteka, 2,88 MB)
Ključne besede: under-frequency load shedding, intelligent electronic device, proof of concept, hardware-in-the-loop testing, real-time digital simulator, frequency stability margin, rate-of-change-of-frequencyCelotno besedilo (datoteka, 4,51 MB) Gradivo ima več datotek! Več...
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: dependent type theory, context-free type theory, formal meta-theory, proof assistantsCelotno besedilo (datoteka, 2,36 MB) Gradivo ima več datotek! Več...