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
forensic science (võtmesõna)
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
sõna
algab
täpne vaste
vabatekst
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
sõna
algab
täpne vaste
vabatekst
—
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
sõna
algab
täpne vaste
vabatekst
—
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
sõna
algab
täpne vaste
vabatekst
—
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
sõna
algab
täpne vaste
vabatekst
—
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..
(3/79)
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 EST
/
artikkel kogumikus ENG
FoREnSiC– an automatic debugging environment for C programs
Bloem, Roderick
;
Raik, Jaan
;
Repinski, Urmas
Eighth Haifa Verification Conference : HVC 2012 : November 6-8, Haifa, Israel : [proceedings]
2013
/
p. 260-265 : ill
https://doi.org/10.1007/978-3-642-39611-3_24
Conference Proceedings at Scopus
Article at Scopus
artikkel kogumikus EST
/
artikkel kogumikus ENG
Kirjeid leitud 1, kuvan
1 - 1
võtmesõna
74
1.
forensic science
2.
forensic analysis
3.
forensic ontology
4.
forensic soil analysis
5.
forensic timeline
6.
forensic triage
7.
Media Forensic
8.
applied science
9.
big data science
10.
chemistry and philosophy of science
11.
citizen science
12.
citizen science hub
13.
classical exact science
14.
cognitive science
15.
computational social science
16.
computer science
17.
computer science basics
18.
computer science education
19.
data science
20.
data-science
21.
decision science
22.
design science
23.
design science research
24.
design-science
25.
energy science and technology
26.
engineering pedagogy science
27.
environmental science
28.
ethics of science
29.
exact science
30.
food science
31.
logic in computer science
32.
logic of science
33.
materials science
34.
NATO. Science for Peace and Security Program
35.
non-classical exact science
36.
philosophy of science
37.
physics and philosophy of science
38.
planetary science
39.
political science
40.
popular science literature
41.
post normal science
42.
post-normal science
43.
Q science
44.
science
45.
science advisors
46.
science and arts
47.
science and technology libraries
48.
science and technology parks
49.
Science Education
50.
science fiction
51.
science gateway
52.
science integration
53.
science mapping
54.
science policy
55.
science technology and innovation
56.
science technology innovation
57.
Science, Technology and Innovation Policy
58.
science-based industries
59.
science-driven models
60.
science-policy-society interface
61.
Security and political science
62.
security science and technology
63.
Social Science
64.
social science methodology
65.
sustainability science
66.
Thomson Reuters Web of Science
67.
transdisciplinary science
68.
values in science
69.
Web of Science
70.
wood science and technology
71.
World Academy of Art and Science (WAAS)
72.
ȹ-science
73.
φ-science
74.
ϕ-science
märksõna
4
1.
Estonian Summer School on Computer and Systems Science, 2023
2.
Norwegian University of Science and Technology
3.
The European Federation of Food Science and Technology (EFFoST)
4.
Web of Science
autor
1
1.
Department of Software Science, Tallinn University of Technology
×
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