correctness proof, program correctness proof, proof of correctness
dokaz pravilnosti programa
program proving
dokazovanje (pravilnosti) programa
theorem proving
dokazovanje izrekov
dynamic data-streaming document
dokument z dinamičnim pretokom podatkov
document
dokument, listina, spis
documentation
dokumentacija
problem folder
dokumentacija glavnega programa
program documentation
dokumentacija programa, programska dokumentacija
software documentation
dokumentacija programske opreme, softverska dokumentacija
documentation language, indexing language, documentary language
dokumentacijski jezik
documentary language, indexing language, documentation language
dokumentacijski jezik
indexing language, documentary language, documentation language
dokumentacijski jezik
long tail
dolgi rep
long file name
dolgo ime datoteke
High Sierra specification
določila High Sierra
key assignments
določila tipk
protocol type specifier
določilnik vrste protokola
qualifier
določilo
network driver interface specification
določilo vmesnika za omrežni gonilnik
extended memory specification
določilo za podaljšani pomnilnik
Application Environment Specification, AES
določilo za programsko okolje
initial graphics exchange specification
določilo za začetno izmenjavo slikovja
contour extraction
določitev obrisa
equipment specification
določitev opreme
printer redirection
določitev tiskalnika v omrežju
length
dolžina
word size, word length
dolžina besede, besedna dolžina
word length, word size
dolžina besede, velikost besede
block length
dolžina bloka
screen diagonal
dolžina diagonale zaslona, diagonala zaslona
key length
dolžina ključa
code length
dolžina kode
string length
dolžina niza, dolžina stringa
length of a list
dolžina seznama
record length
dolžina sloga
Web home page
domača stran
home page
domača stran
home directory
domači imenik
DNS name
domensko ime
domain-specific modeling
domensko specifično modeliranje
conjecture
domneva
open-world assumption
domneva odprtega sveta
native file format
domorodna oblika datoteke
native language
domorodni jezik
augmented reality, mediated reality
dopolnjena resničnost, obogatena resničnost, povečana stvarnost
fault tolerance
dopustnost napak
admissibility
dopustnost, sprejemljivost
scope of object
doseg predmeta
scope
doseg, območje, področje
binding of a variable, variable binding
doseganje spremenljivke
Če želite podati le zahtevek za prevod gesla, je dovolj, da vnesete samo slovenski ali angleški izraz.
Pokrovitelji
