Je was op zoek naar: proof (Roemeens - Engels)

proof
proof

proof general
proof general

- alternative proof
- alternative proof

coqide proof assistant
coqide proof assistant

interfață grafică pentru coq proof assistant
graphical interface for the coq proof assistant

În limba engleză „proof of principle”.
also known as ‘proof of concept’.

remember, the proof of the pudding is in the eating!
remember, the proof of the pudding is in the eating!

specification and proof techniques for serializers ieee journal on software engineering.
specification and proof techniques for serializers ieee journal on software engineering.

În 2006, proof a fost împușcat și ucis în urma unei altercații la clubul ccc din detroit.
in 2006, proof was shot and killed during an altercation at the ccc nightclub in detroit.

3063 adrian eftimie & proof - zerozerounu (original mix) - romaneasca 1870
4082 adrian eftimie & proof - zerozerounu (original mix) - romaneasca 1870

reduce the time to reach clinical proof of concept in immunological, respiratory, neurological and neurodegenerative diseases
reduce the time to reach clinical proof of concept in immunological, respiratory, neurological and neurodegenerative diseases;

356 eminem ft royce da 5`9 - living proof (shout) - straina 836
1564 eminem ft royce da 5`9 - living proof (shout) - straina 836

cea mai mare noutăți din cadrul conferinței vine sub forma a două viziuni concurente pentru eventuala comuta ethereum la un model de proof-of-joc.
the biggest news from the conference comes in the form of two competing visions for ethereum’s eventual switch to a proof-of-stake model.

În special proiectele demonstrative proof-of-concept şi liniile-pilot de producţie sunt condiţii indispensabile pentru difuzarea tehnologiilor la scară industrială.
in particular, "proof-of-concept" demonstration projects and manufacturing pilot lines are preconditions for the deployment of technologies on an industrial scale.

14 burden of proof, the difficulty of ineficaceîntreserviciulvamalnaţional,serviciulnaţionalalpoliţieide frontieră,serviciul de urmărirefiscalășiserviciul desecuritate, precum șirolurineclarealeacestora; delimitarenecorespunzătoareafrontierei verzi).
14 burden of proof — the difficulty of securing criminal prosecutions for smuggling cases in ukraine, special report by eubam.

" (1981)*#"göta kanal 2 - kanalkampen" (2006)*#"göta kanal 3 - kanalkungens hemlighet" (2009)*"grindhouse"*#"death proof" (2007)*#"planet terror" (2007)**#"machete" (2010) (spin-off)::"*sequel/prequel to "death proof", due to same characters.
" (1981)*#"göta kanal 2 - kanalkampen" (2006)*#"göta kanal 3 - kanalkungens hemlighet" (2009)*"grindhouse"*#"death proof" (2007)*#"planet terror" (2007)**#"machete" (2010) (spin-off)::"*sequel/prequel to "death proof", due to same characters.