correctness proof, program correctness proof, proof of correctness
dokaz pravilnosti programa
Računalniški slovarček
Dec. 10, 2008, 3:22 p.m.
correctness proof, program correctness proof, proof of correctness
dokaz pravilnosti programa
program proving
dokazovanje (pravilnosti) programa
Računalniški slovarček
Dec. 10, 2008, 3:22 p.m.
program proving
dokazovanje (pravilnosti) programa
theorem proving
dokazovanje izrekov
Računalniški slovarček
Dec. 10, 2008, 3:22 p.m.
theorem proving
dokazovanje izrekov
dynamic data-streaming document
dokument z dinamičnim pretokom podatkov
Računalniški slovarček
Dec. 10, 2008, 3:22 p.m.
dynamic data-streaming document
dokument z dinamičnim pretokom podatkov
document
dokument, listina, spis
Računalniški slovarček
Dec. 10, 2008, 3:22 p.m.
document
dokument, listina, spis
documentation
dokumentacija
Računalniški slovarček
Dec. 10, 2008, 3:22 p.m.
documentation
dokumentacija
problem folder
dokumentacija glavnega programa
Računalniški slovarček
Dec. 10, 2008, 3:22 p.m.
problem folder
dokumentacija glavnega programa
program documentation
dokumentacija programa, programska dokumentacija
Računalniški slovarček
Dec. 10, 2008, 3:22 p.m.
program documentation
dokumentacija programa, programska dokumentacija
software documentation
dokumentacija programske opreme, softverska dokumentacija
Računalniški slovarček
Dec. 10, 2008, 3:22 p.m.
software documentation
dokumentacija programske opreme, softverska dokumentacija
documentation language, indexing language, documentary language
dokumentacijski jezik
Računalniški slovarček
Dec. 10, 2008, 3:22 p.m.
documentation language, indexing language, documentary language
dokumentacijski jezik
documentary language, indexing language, documentation language
dokumentacijski jezik
Računalniški slovarček
Dec. 10, 2008, 3:22 p.m.
documentary language, indexing language, documentation language
dokumentacijski jezik
indexing language, documentary language, documentation language
dokumentacijski jezik
Računalniški slovarček
Dec. 10, 2008, 3:22 p.m.
indexing language, documentary language, documentation language
dokumentacijski jezik
long tail
dolgi rep
Matjaž Gams
Jan. 15, 2021, 8:50 a.m.
long tail
dolgi rep
long file name
dolgo ime datoteke
Računalniški slovarček
Dec. 10, 2008, 3:22 p.m.
long file name
dolgo ime datoteke
High Sierra specification
določila High Sierra
Računalniški slovarček
Dec. 10, 2008, 3:22 p.m.
High Sierra specification
določila High Sierra
key assignments
določila tipk
Računalniški slovarček
Dec. 10, 2008, 3:22 p.m.
key assignments
določila tipk
protocol type specifier
določilnik vrste protokola
Računalniški slovarček
Dec. 10, 2008, 3:22 p.m.
protocol type specifier
določilnik vrste protokola
qualifier
določilo
Računalniški slovarček
Dec. 10, 2008, 3:22 p.m.
qualifier
določilo
network driver interface specification
določilo vmesnika za omrežni gonilnik
Računalniški slovarček
Dec. 10, 2008, 3:22 p.m.
network driver interface specification
določilo vmesnika za omrežni gonilnik
extended memory specification
določilo za podaljšani pomnilnik
Računalniški slovarček
Dec. 10, 2008, 3:22 p.m.
extended memory specification
določilo za podaljšani pomnilnik
Application Environment Specification, AES
določilo za programsko okolje
Računalniški slovarček
Dec. 10, 2008, 3:22 p.m.
Application Environment Specification, AES
določilo za programsko okolje
initial graphics exchange specification
določilo za začetno izmenjavo slikovja
Boštjan Mejak
March 10, 2018, 8:32 a.m.
initial graphics exchange specification
določilo za začetno izmenjavo slikovja
Računalniški slovarček
Dec. 10, 2008, 3:22 p.m.
initial graphics exchange specification
določilo za začetno izmenjavo grafike
contour extraction
določitev obrisa
Računalniški slovarček
Dec. 10, 2008, 3:22 p.m.
contour extraction
določitev obrisa
equipment specification
določitev opreme
Računalniški slovarček
Dec. 10, 2008, 3:22 p.m.
equipment specification
določitev opreme
printer redirection
določitev tiskalnika v omrežju
Računalniški slovarček
Dec. 10, 2008, 3:22 p.m.
printer redirection
določitev tiskalnika v omrežju
length
dolžina
Računalniški slovarček
Dec. 10, 2008, 3:22 p.m.
length
dolžina
word size, word length
dolžina besede, besedna dolžina
Računalniški slovarček
Dec. 10, 2008, 3:22 p.m.
word size, word length
dolžina besede, besedna dolžina
word length, word size
dolžina besede, velikost besede
Boštjan Mejak
Jan. 22, 2018, 10:50 p.m.
word length, word size
dolžina besede, velikost besede
Računalniški slovarček
Dec. 10, 2008, 3:22 p.m.
word length, word size
dolžina besede, besedna dolžina
block length
dolžina bloka
Računalniški slovarček
Dec. 10, 2008, 3:22 p.m.
block length
dolžina bloka
screen diagonal
dolžina diagonale zaslona, diagonala zaslona
Računalniški slovarček
Dec. 10, 2008, 3:22 p.m.
screen diagonal
dolžina diagonale zaslona, diagonala zaslona
key length
dolžina ključa
Računalniški slovarček
Dec. 10, 2008, 3:22 p.m.
key length
dolžina ključa
code length
dolžina kode
Računalniški slovarček
Dec. 10, 2008, 3:22 p.m.
code length
dolžina kode
string length
dolžina niza, dolžina stringa
Računalniški slovarček
Dec. 10, 2008, 3:22 p.m.
string length
dolžina niza, dolžina stringa
length of a list
dolžina seznama
Računalniški slovarček
Dec. 10, 2008, 3:22 p.m.
length of a list
dolžina seznama
record length
dolžina sloga
Računalniški slovarček
Dec. 10, 2008, 3:22 p.m.
record length
dolžina sloga
Web home page
domača stran
Računalniški slovarček
Dec. 10, 2008, 3:22 p.m.
Web home page
domača stran
home page
domača stran
Računalniški slovarček
Dec. 10, 2008, 3:22 p.m.
home page
domača stran
home directory
domači imenik
Računalniški slovarček
Dec. 10, 2008, 3:22 p.m.
home directory
domači imenik
DNS name
domensko ime
Računalniški slovarček
Dec. 10, 2008, 3:22 p.m.
DNS name
domensko ime
domain-specific modeling
domensko specifično modeliranje
Luka Fürst
Aug. 30, 2013, 11:40 a.m.
domain-specific modeling
domensko specifično modeliranje
Moderatorji zapisa še niso odobrili
Zapis je bil prikazan 26658 krat.conjecture
domneva
Računalniški slovarček
Dec. 10, 2008, 3:22 p.m.
conjecture
domneva
open-world assumption
domneva odprtega sveta
Boštjan Mejak
Oct. 20, 2018, 10:36 p.m.
open-world assumption
domneva odprtega sveta
Boštjan Mejak
Oct. 20, 2018, 10:36 p.m.
open-world assumption
domneva odprtega sveta
Boštjan Mejak
Oct. 20, 2018, 10:36 p.m.
open-world assumption
domneva odprtega sveta
Računalniški slovarček
Dec. 10, 2008, 3:22 p.m.
open world assumption
predpostavka odprtega sveta
native file format
domorodna oblika datoteke
Računalniški slovarček
Dec. 10, 2008, 3:22 p.m.
native file format
domorodna oblika datoteke
native language
domorodni jezik
Računalniški slovarček
Dec. 10, 2008, 3:22 p.m.
native language
domorodni jezik
augmented reality, mediated reality
dopolnjena resničnost, obogatena resničnost, povečana stvarnost
Matjaž Gams
Aug. 1, 2016, 6:39 a.m.
augmented reality, mediated reality
dopolnjena resničnost, obogatena resničnost, povečana stvarnost
Boštjan Kaluža
Jan. 31, 2012, 1:52 p.m.
augmented reality
dopolnjena resničnost, obogatena resničnost
Računalniški slovarček
Dec. 10, 2008, 3:22 p.m.
augmented reality
dopolnjena resničnost
fault tolerance
dopustnost napak
Boštjan Mejak
Jan. 25, 2018, 1:33 a.m.
fault tolerance
dopustnost napak
Boštjan Mejak
Jan. 25, 2018, 1:33 a.m.
fault tolerance
dovoljenje napak
Računalniški slovarček
Dec. 10, 2008, 3:22 p.m.
fault tolerance
odpornost proti okvaram
admissibility
dopustnost, sprejemljivost
Računalniški slovarček
Dec. 10, 2008, 3:22 p.m.
admissibility
dopustnost, sprejemljivost
scope of object
doseg predmeta
Računalniški slovarček
Dec. 10, 2008, 3:22 p.m.
scope of object
doseg predmeta
scope
doseg, območje, področje
Računalniški slovarček
Dec. 10, 2008, 3:22 p.m.
scope
doseg, območje, področje
binding of a variable, variable binding
doseganje spremenljivke
Računalniški slovarček
Dec. 10, 2008, 3:22 p.m.
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
