Toggle navigation
Otsi
Publikatsioonid
Profiilid
Registrid
Abi ja info
Switch to English
Intranet
Publikatsioonid
Profiilid
Registrid
Abi ja info
English
Intranet
Andmebaasid
Publikatsioonid
Otsing
Valitud kirjed
0
Dušina, Julia (TTÜ autor)
Kõikidelt väljadelt
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
Kõikidelt väljadelt
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Kõikidelt väljadelt
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Kõikidelt väljadelt
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Kõikidelt väljadelt
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Lisa tingimus
Liitotsing
Tühista
Leitud autorid
Dušina, Julia 1969
CV
autor
teaviku laadid
raamat
artikkel ajakirjas
artikkel ajalehes
artikkel kogumikus
dissertatsioon
Open Access
Teaduspublikatsioon
aasta
Kirjeid leitud
8
Vaata veel..
(5/56)
Ekspordi
ekspordi kõik päringu tulemused
(8)
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
nimi kasvavalt
nimi kahanevalt
pealkiri kasvavalt
pealkiri kahanevalt
1
Correct reuse of complex design units during high level synthesis : verification issues
Dušina, Julia
IEEE International High Level Design Validation and Test Workshop, Oakland, California, USA, November 15-16, 1996 : proceedings
[1996]
artikkel kogumikus
2
Formalization and validation of the std logic-1164 and numeric-std VHDL packages using the nqthm theorem prover
Dušina, Julia
;
Borrione, Dominique
2nd Workshop on Libraries, Component Modeling and Quality Assurance : proceedings : Toledo, Spain, April, 1997
1997
/
p. 169-180
artikkel kogumikus
3
Formalization of finite state machines with data path for the verification of high-level synthesis
Borrione, Dominique
;
Dušina, Julia
;
Pierre, Laurence
XI Brasilian Symposium on Integrated Circuit Design, September 30 - October 3, 1998, Rio de Janeiro, Brazil : proceedings
[1998]
/
p. 99-102: ill
artikkel kogumikus
4
FTGEN - система генерирования функциональных тестов
Ubar, Raimund-Johannes
;
Dušina, Julia
;
Zaugarov, Viktor
;
Крупнова Е.
;
Storožev, Sergei
Proceedings of CAD-93 : new information technologies for science, education and business, Yalta, May 4-13, 1993
1993
/
p. 123-125
artikkel kogumikus
5
Test generation for control faults in digital systems
Dušina, Julia
;
Brik, Marina
BEC : Baltic Electronics Conference : proceedings of the 4th Biennial Conference, October 9-14, 1994, Tallinn (Estonia). 1
c1994
/
p. 325-330: ill
artikkel kogumikus
6
Test program generation for microprocessor systems
Dušina, Julia
1993
https://www.ester.ee/record=b2090526*est
dissertatsioon
7
Verification formelle des resultats de la synthese de Haut Niveau : [doktoriväitekiri]
Dušina, Julia
1999
dissertatsioon
8
Система генерирования тестов для микропроцессоров
Ubar, Raimund-Johannes
;
Dušina, Julia
;
Zaugarov, Viktor
;
Крупнова Е.
;
Storožev, Sergei
Proceedings of international conference "Technical Diagnostics-93", St.-Peterburg, June 8-10, 1993
1993
/
p. 87-89
artikkel kogumikus
Kirjeid leitud 8, kuvan
1 - 8
autor
31
1.
Dušina, Julia
2.
Andrejeva, Julia
3.
Berdnikova, Julia
4.
Borissova, Julia
5.
Deikina, Julia
6.
Derkatš, Julia
7.
Gavrilova, Julia
8.
Geller, Julia
9.
Gulevitš, Julia
10.
Iljina, Julia
11.
Kois, Julia
12.
Koreneva, Julia
13.
Kozhenkina, Julia
14.
Krasulina, Julia
15.
Kravetskaja, Julia
16.
Kuljasova, Julia
17.
Kurg, Julia
18.
Lehner, Julia
19.
Linna, Julia-Maria
20.
Ljaš, Julia
21.
Magden, Julia
22.
Marbach, Julia
23.
Pomares, Julia
24.
Rosend, Julia
25.
Seppä, Julia
26.
Smahtina, Julia
27.
Smirnova, Julia
28.
Sokolova, Julia
29.
Solovjova, Julia
30.
Traistaru, Julia
31.
Vassiljeva, Julia
CV
13
1.
Dušina, Julia 1969
2.
Berdnikova, Julia
3.
Deikina, Julia
4.
Derkats, Julia
5.
Derkatš, Julia 1979
6.
Dusina, Julia
7.
Geller, Julia 1983
8.
Iljina, Julia
9.
Kois, Julia 1971
10.
Lehner, Julia 1986
11.
Pantelejeva, Julia 1982
12.
Smahtina, Julia 1981
13.
Smirnova, Julia 1980
tema kohta
6
1.
Krasulina, Julia
2.
Lehner, Julia
3.
Leontjeva, Julia
4.
Mõnnakmäe, Julia
5.
Rosend, Julia
6.
Smirnova, Julia
pealkiri
5
1.
Doktoritööd : [doktorikraadi kaitsesid Julia Šommet, Julia Lehner, Aleksandr Käkinen, Reeno Reeder, Ada Trauman, Marika Viisimaa, Tanel Kivipõld, Olga Budarnaja, Priit Uuemaa]
2.
Doktoritööd : [doktorikraadi kaitsesid Yar Muhammad, Riin Savi, Julia Krasulina, Ago Mõlder ja Helbe Põdder]
3.
Julia Pajuste pärandfondist : [TTÜ ehitusteaduskonna transpordiehituse eriala üliõpilastele loodi stipendiumifond]
4.
Kaitstud väitekirjad : [filosoofiadoktori kraadi kaitsesid ka Ingrid Pappel, Eduard Brindfeldt ja Viktor Beldjajev TTÜst]. Kaitsmisele tulevad väitekirjad : [filosoofiadoktori kraadi kaitsevad ka Julia Smirnova, Alar Kon
5.
Leiutamine - see on imelihtne : [TTÜ noorteadlaste Kaie Pilli, Helle Sadami, Julia Smirnova, Anastassia Voronova ja Kairit Zovo leiutisest - iminappadega kinnitusmatt]
juhendaja
1
1.
Kois, Julia