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
Liitotsing
Valitud kirjed
0
high-level synthesis for test (võtmesõna)
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
allikas
autor
DOI
ilmumisaasta
ilmumiskoht
juhendaja
kategooria
kirjastus/väljaandja
klassifikaator
konverentsi toimumispaik
kvartiil
leidumus
märksõna
pealkiri
seeria-sari
tema kohta
TTÜ märksõna
TTÜ struktuuriüksus
url
võtmesõna
Kõikidelt väljadelt
autor
ekspert
intervjueerija
juhendaja
kaaspanustaja
kollektiivautor
kommenteerija
koostaja
toimetaja
tõlkija
pealkiri
pealkirja tõlge
seeria variantpealkiri
variantpealkiri
ajakirja erinumber
allikas
ajamärksõna
asutuse kohta
kohamärksõna
märksõna
vormimärksõna
seeria variantpealkiri
seeria-sari
leidumus
Open Access
kategooria (alam)
kategooria (üld)
algab
sisaldab
täpne vaste
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
allikas
autor
DOI
ilmumisaasta
ilmumiskoht
juhendaja
kategooria
kirjastus/väljaandja
klassifikaator
konverentsi toimumispaik
kvartiil
leidumus
märksõna
pealkiri
seeria-sari
tema kohta
TTÜ märksõna
TTÜ struktuuriüksus
url
võtmesõna
Kõikidelt väljadelt
autor
ekspert
intervjueerija
juhendaja
kaaspanustaja
kollektiivautor
kommenteerija
koostaja
toimetaja
tõlkija
pealkiri
pealkirja tõlge
seeria variantpealkiri
variantpealkiri
ajakirja erinumber
allikas
ajamärksõna
asutuse kohta
kohamärksõna
märksõna
vormimärksõna
seeria variantpealkiri
seeria-sari
leidumus
Open Access
kategooria (alam)
kategooria (üld)
algab
sisaldab
täpne vaste
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
allikas
autor
DOI
ilmumisaasta
ilmumiskoht
juhendaja
kategooria
kirjastus/väljaandja
klassifikaator
konverentsi toimumispaik
kvartiil
leidumus
märksõna
pealkiri
seeria-sari
tema kohta
TTÜ märksõna
TTÜ struktuuriüksus
url
võtmesõna
Kõikidelt väljadelt
autor
ekspert
intervjueerija
juhendaja
kaaspanustaja
kollektiivautor
kommenteerija
koostaja
toimetaja
tõlkija
pealkiri
pealkirja tõlge
seeria variantpealkiri
variantpealkiri
ajakirja erinumber
allikas
ajamärksõna
asutuse kohta
kohamärksõna
märksõna
vormimärksõna
seeria variantpealkiri
seeria-sari
leidumus
Open Access
kategooria (alam)
kategooria (üld)
algab
sisaldab
täpne vaste
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
allikas
autor
DOI
ilmumisaasta
ilmumiskoht
juhendaja
kategooria
kirjastus/väljaandja
klassifikaator
konverentsi toimumispaik
kvartiil
leidumus
märksõna
pealkiri
seeria-sari
tema kohta
TTÜ märksõna
TTÜ struktuuriüksus
url
võtmesõna
Kõikidelt väljadelt
autor
ekspert
intervjueerija
juhendaja
kaaspanustaja
kollektiivautor
kommenteerija
koostaja
toimetaja
tõlkija
pealkiri
pealkirja tõlge
seeria variantpealkiri
variantpealkiri
ajakirja erinumber
allikas
ajamärksõna
asutuse kohta
kohamärksõna
märksõna
vormimärksõna
seeria variantpealkiri
seeria-sari
leidumus
Open Access
kategooria (alam)
kategooria (üld)
algab
sisaldab
täpne vaste
—
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
allikas
autor
DOI
ilmumisaasta
ilmumiskoht
juhendaja
kategooria
kirjastus/väljaandja
klassifikaator
konverentsi toimumispaik
kvartiil
leidumus
märksõna
pealkiri
seeria-sari
tema kohta
TTÜ märksõna
TTÜ struktuuriüksus
url
võtmesõna
Kõikidelt väljadelt
autor
ekspert
intervjueerija
juhendaja
kaaspanustaja
kollektiivautor
kommenteerija
koostaja
toimetaja
tõlkija
pealkiri
pealkirja tõlge
seeria variantpealkiri
variantpealkiri
ajakirja erinumber
allikas
ajamärksõna
asutuse kohta
kohamärksõna
märksõna
vormimärksõna
seeria variantpealkiri
seeria-sari
leidumus
Open Access
kategooria (alam)
kategooria (üld)
algab
sisaldab
täpne vaste
—
Lisa tingimus
Lihtotsing
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/177)
Ekspordi
ekspordi kõik päringu tulemused
(1)
Salvesta TXT fail
Salvesta PDF 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
dissertatsioon
Verification formelle des resultats de la synthese de Haut Niveau : [doktoriväitekiri]
Dušina, Julia
1999
dissertatsioon
Kirjeid leitud 1, kuvan
1 - 1
võtmesõna
177
1.
high-level synthesis for test
2.
high level synthesis
3.
high-level decision diagrams (HLDD) synthesis
4.
High-Level Synthesis (HLS)
5.
high-level test data generation
6.
logic level and high level BDDs
7.
behaviour level test generation
8.
system level test
9.
test path synthesis
10.
high level DD (HLDD)
11.
high-level control fault model
12.
high-level control faults
13.
high-level decision diagram
14.
high-level decision diagrams
15.
high-level expert group on AI
16.
high-level fault coverage
17.
high-level fault model
18.
high-level fault simulation
19.
high-level functional fault model
20.
Self-Propagating High-Temperature Synthesis
21.
high-speed serial link test
22.
High-Pressure High-Temperature Spark Plasma Sintering
23.
absolute sea level
24.
airport level of service
25.
arousal level
26.
assurance level
27.
asymmetric synthesis
28.
automatic program synthesis
29.
behavioral synthesis
30.
bi-level optimization
31.
chemical synthesis
32.
chemoenzymatic synthesis
33.
circuit synthesis
34.
CO2 level in classrooms
35.
CO2 level in classrooms and kindergartens
36.
combustion synthesis
37.
confidence level
38.
control system synthesis
39.
counterexample-guided inductive synthesis
40.
country-level logistics
41.
customer compatibility level
42.
data synthesis
43.
deep level
44.
deep level traps
45.
determination of the CO2 level
46.
digitalisation level
47.
distribution-level phasor measurement units (D-PMUs)
48.
diversity-oriented synthesis
49.
enantioselective synthesis
50.
evidence synthesis
51.
exposure level
52.
extreme penetration level of non synchronous generation
53.
extreme water level
54.
flame aerosol synthesis
55.
gate-level analysis
56.
gate-level circuit abstraction
57.
gate-level netlist
58.
graduate level
59.
green synthesis
60.
green synthesis biomaterials
61.
growth-synthesis
62.
hierarchical two-level analysis
63.
highly chemoselective synthesis
64.
hydrothermal synthesis
65.
improvement of safety level at enterprises
66.
improvement of safety level at SMEs
67.
in situ synthesis
68.
level control
69.
level set
70.
level(s) methodology
71.
level-crossing ADC
72.
level-crossing analog-to-digital converters
73.
level-crossing analogue-to-digital converters (ADC)
74.
logic level
75.
logic synthesis
76.
low temperature synthesis
77.
lower trophic level models
78.
low-level control system transportation
79.
low-level fault redundancy
80.
low-level radiation
81.
Low-level RF EMF
82.
macro-level industry influences
83.
mean sea level
84.
mechanically activated synthesis
85.
mechanically activated thermal synthesis
86.
microwave assisted synthesis
87.
microwave synthesis
88.
microwave-assisted synthesis
89.
module level power electronics (MLPE)
90.
module-level power electronics (MLPE)
91.
molten salt synthesis
92.
molten salt synthesis-growth
93.
multi-level governance
94.
multi-level inverter
95.
multi-level modeling
96.
multi-level perspective
97.
multi-level perspective of sustainability transitions
98.
multi-level selection and processing environment
99.
nano-crystal synthesis
100.
nanomaterials, synthesis
101.
Nanoparticle synthesis
102.
operational level (OL)
103.
organic synthesis
104.
parameter synthesis
105.
peroxide synthesis
106.
pigment synthesis
107.
Price level
108.
Process/Product Sigma Performance Level (PSPL)
109.
Protecting-group-free synthesis
110.
protein synthesis
111.
PV module level power electronics
112.
Realist synthesis
113.
register transfer and gate level simulation
114.
Register Transfer Level - RTL
115.
register transfer level modeling decision diagams
116.
register-transfer level
117.
relative sea level
118.
relative sea-level change
119.
RH level
120.
school-level policies
121.
sea level
122.
sea level rise
123.
sea level series
124.
sea level trend
125.
sea level: variations and mean
126.
sea-level
127.
sea-level changes
128.
sea-level equation
129.
Sea-level indicator
130.
sea-level prediction
131.
sea-level rise
132.
sea-level trend
133.
semi-synthesis
134.
seven-level multilevel
135.
signal synthesis
136.
skin conductance level
137.
software level TMR
138.
sol-gel synthesis
139.
solution based synthesis
140.
solution combustion synthesis
141.
steel-level bureaucracy
142.
stereoselective synthesis
143.
strategic level decision makers
144.
synthesis
145.
synthesis gas
146.
synthesis of intermetallic phases
147.
synthesis on hierarchical service models
148.
system level hazards
149.
system planning level
150.
system-level analysis
151.
system-level evaluation
152.
task-level uninterrupted presence
153.
template synthesis
154.
three-level
155.
three-level inverter
156.
three-level neutral-point-clamped inverter
157.
three-level NPC inverter
158.
three-level T-type
159.
three-level T-type inverter
160.
three-level T-type quasi-impedance-source inverter (3L-T-type qZSI)
161.
three-level voltage inverter
162.
Tool Confidence Level
163.
top-level domain
164.
total synthesis
165.
transaction-level modeling
166.
treatment level
167.
two-level inverter
168.
undergraduate level
169.
water level
170.
water level fluctuation
171.
water level measurements
172.
water level reconstruction
173.
water-level changes
174.
wet-combustion synthesis
175.
voltage level
176.
voltage level optimisation
177.
3-level T-type inverter
×
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