Ključne besede: decentralised, distributed, Golang, IPFS, libp2p, Merkle directed acyclic graph, Protocol Buffers, remote procedure call, robustCelotno besedilo (datoteka, 1,09 MB)
Ključne besede: computer science, behavioural equivalence, call-by-value functional language, openness, decomposabilityCelotno besedilo (datoteka, 640,49 KB) Gradivo ima več datotek! Več...
Ključne besede: Program equivalence, functional programming, call-by-push-value, behavioural logic, modalities, algebraic effects, applicative bisimilarity, Howe’s method, complete latticesCelotno besedilo (datoteka, 2,42 MB)
Ključne besede: Deutsch, Sprachenlernen, CALL, computerunterstütztes Lehren und Lernen der Fremdsprachen, Internet-Plattform LearningApps, AktionsforschungCelotno besedilo (datoteka, 2,81 MB) Gradivo ima več datotek! Več...