Toggle navigation
Publikatsioonid
Profiilid
Uurimisrühmad
Registrid
Abi ja info
Switch to English
Intranet
Publikatsioonid
Profiilid
Uurimisrühmad
Registrid
Abi ja info
English
Intranet
Andmebaasid
Publikatsioonid
Otsing
Valitud kirjed
0
A semi-formal method for security estimation (pealkiri)
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Lisa tingimus
Liitotsing
filter
Tühista
×
teaviku laadid
raamat
..
artikkel ajakirjas
..
artikkel ajalehes
..
artikkel kogumikus
..
dissertatsioon
..
Open Access
..
Teaduspublikatsioon
..
aasta
ilmumisaasta
Toon andmeid..
autor
Toon andmeid..
TTÜ struktuuriüksus
Toon andmeid..
märksõna
Toon andmeid..
seeria-sari
Toon andmeid..
tema kohta
Toon andmeid..
võtmesõna
Toon andmeid..
Tühista
Kirjeid leitud
1
Vaata veel..
(1/46)
Ekspordi
ekspordi kõik päringu tulemused
(1)
Salvesta TXT fail
prindi
Märgitud kirjetega toimetamiseks ava
valitud kirjed
kuva
Bibliokirje
Lühikirje
reasta
autor kasvavalt
autor kahanevalt
ilmumisaasta kasvavalt
ilmumisaasta kahanevalt
pealkiri kasvavalt
pealkiri kahanevalt
1
artikkel kogumikus
A semi-formal method for security estimation
Buldas, Ahto
;
Priisalu, Jaan
Databases and information systems : proceedings of the Second International Baltic Workshop : Tallinn, June 12-14, 1996. Volume 1, Research track
1996
/
p. 206-212
artikkel kogumikus
Kirjeid leitud 1, kuvan
1 - 1
võtmesõna
46
1.
semi-quantitative risk assessment method
2.
active vs. semi-active vs. passive suspension
3.
oil shale semi-coke
4.
semi natural meadows
5.
semi structured interview
6.
semi-active rectifier
7.
semi-autonomous robots
8.
semi-coke
9.
semi-coke landfill
10.
semi-displacement hull
11.
semi-dry formation
12.
semi-dry grinding
13.
semi-enclosed sea
14.
semi-immersive
15.
semi-natural grasslands
16.
semi-natural woodlands
17.
semi-permeable membrane fabric
18.
semi-sheltered sea
19.
semi-spontaneous speech
20.
Semi-substructural logic
21.
semi-supervised learning
22.
semi-synthesis
23.
semi-transparent
24.
Automata, Formal Verification
25.
Formal
26.
formal and combined safety elements
27.
formal and informal
28.
formal category theory
29.
formal concept analysis
30.
formal education
31.
formal ferification
32.
formal language theory
33.
formal languages
34.
formal logic
35.
formal methods
36.
formal PMS
37.
formal rationality
38.
formal reasoning
39.
formal revolution
40.
formal semantics
41.
formal specification
42.
formal verification
43.
mandatory formal concepts
44.
non-formal education
45.
rigorous formal diagrammatic system
46.
top-K formal concepts
×
vaste
algab
lõpeb
sisaldab
reasta
Relevantsuse alusel
kasvavalt
kahanevalt
ilmumisaasta
autor
TTÜ struktuuriüksus
märksõna
seeria-sari
tema kohta
võtmesõna
Otsing
Valikud
0
ilmumisaasta
AND
OR
NOT
autor
AND
OR
NOT
TTÜ struktuuriüksus
AND
OR
NOT
märksõna
AND
OR
NOT
seeria-sari
AND
OR
NOT
tema kohta
AND
OR
NOT
võtmesõna
AND
OR
NOT