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
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
×
Leitud autorid
Waldén, Marina
autor
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/98)
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
artikkel kogumikus
Modelling critical systems with timing constraints in Event-B [Electronic resource]
Siavashi, Faezeh
;
Waldén, Marina
;
Tsiopoulos, Leonidas
;
Vain, Jüri
25th Nordic Workshop on Programming Theory NWPT 2013 : Tallinn, Estonia, 20-22 November 2013 : abstracts
2013
/
p. 70-72 : ill [USB]
artikkel kogumikus
Kirjeid leitud 1, kuvan
1 - 1
autor
64
1.
Waldén, Marina
2.
Walden, Marina
3.
Aghayan, Marina
4.
Alajõe, Marina
5.
Apaydin, Marina
6.
Bachmann, Marina
7.
Bahmann, Marina
8.
Baum, Marina
9.
Beliakova, Marina
10.
Brik, Marina
11.
Cepenko, Marina
12.
Chesnokova, Marina
13.
Da Rocha Meneses, Lisandra Marina
14.
Dudkina, Marina
15.
Galià, Marina
16.
Golik, Marina
17.
Janusova, Marina
18.
John, Marina E.
19.
Junusova, Marina
20.
Järvis, Marina
21.
Kempinen, Marina
22.
Kostina, Marina
23.
Krapivina, Marina
24.
Kravets, Marina
25.
Krichevskaya, Marina
26.
Kritševskaja, Marina
27.
Kudrjašova, Marina
28.
Kurvits, Marina
29.
Kuznetsova, Marina
30.
Laskari, Marina
31.
Latonina, Marina
32.
Lohk, Marina
33.
Maran, Marina
34.
Melnik, Marina
35.
Mironova, Marina
36.
Neverdinova, Marina
37.
Panikar, Marina
38.
Pinheiro, Marina J.
39.
Pinheiro, Marina Julio
40.
Pribytkova, Marina
41.
Puz, Marina
42.
Rauk, Marina
43.
Rincon Mendez, Angelica Marina
44.
Romet, Marina
45.
Rõuk, Marina
46.
Seero, Marina
47.
Sergejeva, Marina
48.
Sochacka, Marina
49.
Solesvik, Marina
50.
Suhorutshenko, Marina
51.
Suhorutšenko, Marina
52.
Zanella, Marina
53.
Taul, Marina
54.
Teras, Marina
55.
Toompuu, Marina
56.
Trapido, Marina
57.
Trubatšenko, Marina
58.
Turkina, Marina
59.
Tuuling, Marina
60.
Vaganova, Marina
61.
Vaštšenko, Marina
62.
Weck, Marina
63.
Vidrevitš, Marina
64.
Vilop, Marina
CV
23
1.
Aghayan, Marina 1987
2.
Arensburger, Marina 1909-1993
3.
Brik, Marina 1965
4.
Järvis, Marina 1975
5.
Kempinen, Marina
6.
Krapivina, Marina 1974
7.
Kravets, Marina 1978
8.
Krichevskaya, Marina
9.
Kritševskaja, Marina 1974
10.
Kudrjašova, Marina 1963
11.
Lozovskaja, Marina
12.
Neverdinova, Marina 1959
13.
Nikitina, Marina 1965
14.
Rauk, Marina 1963
15.
Rõuk, Marina
16.
Seero, Marina 1929-2011
17.
Sergejeva, Marina 1954
18.
Taul, Marina 1960
19.
Teras, Marina 1968
20.
Toompuu, Marina 1971-
21.
Trapido, Marina 1952
22.
Tsibanova, Marina 1963
23.
Wertsinski, Marina
tema kohta
11
1.
Aghayan, Marina
2.
Da Rocha Meneses, Lisandra Marina
3.
Järvis, Marina
4.
Kaljurand, Marina
5.
Kostina, Marina
6.
Kritševskaja, Marina, 1974-
7.
Kudrjašova, Marina
8.
Kuznetsova, Marina
9.
Teras, Marina
10.
Toompuu, Marina
11.
Trapido, Marina, 1952-
×
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