Toggle navigation
Publications
Profiles
Research Groups
Indexes
Help and information
Eesti keeles
Intranet
Publications
Profiles
Research Groups
Indexes
Help and information
Eesti keeles
Intranet
Databases
Publications
Advanced search
My bookmarks
0
All fields
Source search
Author search
Subject term search
Title search
source
author
DOI
year of publication
location of publication
supervisor
category
publisher
classifier
conference location
quartile
availibility
subject term
title
series
name of the person
TTÜ subject term
TTÜ department
url
keyword
All fields
author
co-contibutor
commentator
compiler
corporate author
editor
expert
interviewer
supervisor
translator
series variant title
title
translation of title
variant title
source
special issue
name of the institution
subject of form
subject of location
subject of time
subject term
series
series variant title
availibility
Open Access
category (general)
category (sub)
starts with
containes
exact match
All fields
Source search
Author search
Subject term search
Title search
source
author
DOI
year of publication
location of publication
supervisor
category
publisher
classifier
conference location
quartile
availibility
subject term
title
series
name of the person
TTÜ subject term
TTÜ department
url
keyword
All fields
author
co-contibutor
commentator
compiler
corporate author
editor
expert
interviewer
supervisor
translator
series variant title
title
translation of title
variant title
source
special issue
name of the institution
subject of form
subject of location
subject of time
subject term
series
series variant title
availibility
Open Access
category (general)
category (sub)
starts with
containes
exact match
All fields
Source search
Author search
Subject term search
Title search
source
author
DOI
year of publication
location of publication
supervisor
category
publisher
classifier
conference location
quartile
availibility
subject term
title
series
name of the person
TTÜ subject term
TTÜ department
url
keyword
All fields
author
co-contibutor
commentator
compiler
corporate author
editor
expert
interviewer
supervisor
translator
series variant title
title
translation of title
variant title
source
special issue
name of the institution
subject of form
subject of location
subject of time
subject term
series
series variant title
availibility
Open Access
category (general)
category (sub)
starts with
containes
exact match
All fields
Source search
Author search
Subject term search
Title search
source
author
DOI
year of publication
location of publication
supervisor
category
publisher
classifier
conference location
quartile
availibility
subject term
title
series
name of the person
TTÜ subject term
TTÜ department
url
keyword
All fields
author
co-contibutor
commentator
compiler
corporate author
editor
expert
interviewer
supervisor
translator
series variant title
title
translation of title
variant title
source
special issue
name of the institution
subject of form
subject of location
subject of time
subject term
series
series variant title
availibility
Open Access
category (general)
category (sub)
starts with
containes
exact match
—
All fields
Source search
Author search
Subject term search
Title search
source
author
DOI
year of publication
location of publication
supervisor
category
publisher
classifier
conference location
quartile
availibility
subject term
title
series
name of the person
TTÜ subject term
TTÜ department
url
keyword
All fields
author
co-contibutor
commentator
compiler
corporate author
editor
expert
interviewer
supervisor
translator
series variant title
title
translation of title
variant title
source
special issue
name of the institution
subject of form
subject of location
subject of time
subject term
series
series variant title
availibility
Open Access
category (general)
category (sub)
starts with
containes
exact match
—
Add criteria
Simple search
filter
Clear
×
types of item
book
..
journal article
..
newspaper article
..
book article
..
dissertation
..
Open Access
..
Scientific publication
..
year
year of publication
Loading..
author
Loading..
TTÜ department
Loading..
subject term
Loading..
series
Loading..
name of the person
Loading..
keyword
Loading..
Clear
Number of records
131427
Look more..
Export
export all inquiry results
(1000*)
Save TXT fail
Save PDF fail
print
Open for editing with marked entries
my bookmarks
display
Bibliographic view
Short view
sort
author ascending
author descending
year of publication ascending
year of publication descending
title ascending
title descending
83101
book article
SrAl2O4 : Eu,Dy-screen-printed layers to create phosphorescent 2D shapes
Rojas Hernandez, Rocio Estefania
;
Rubio-Marcos, Fernando
;
Serrano-Iova, Radu-Antonio
;
Fernandes Lozano, J. F.
;
Hussainova, Irina
XVI Conference and Exhibition Of The European Ceramic Society : abstract book
2019
/
p. 525 : ill
book article
83102
book article
Sructure of generating sets for reversible computations
Henno, Jaak
Kangro - 100 : methods of analysis and algebra : international conference dedicated to the centennial of professor Gunnar Kangro : Tartu, Estonia, September 1-6, 2013 : book of abstracts
2013
/
p. 67-69
book article
83103
book article
SSBDD model : advantageous properties and efficient simulation algorithms
Raik, Jaan
;
Jutman, Artur
;
Ubar, Raimund-Johannes
ETW'02 : 7th IEEE European Test Workshop, Gorfu Greece, May 26-29, 2002 : informal digest
2002
/
p. 345-346 : ill
book article
83104
book article
SSBDDs : advantageous model and efficient algorithms for digital circuit modeling, simulation & test
Jutman, Artur
;
Raik, Jaan
;
Ubar, Raimund-Johannes
5th International Workshop on Boolean Problems : September 19-20, 2002, Freiberg (Sachsen) : proceedings
2002
/
p. 157-166 : ill
book article
83105
book article
SSBDDs and double topology for multiple fault reasoning
Ubar, Raimund-Johannes
;
Kostin, Sergei
;
Raik, Jaan
Proceedings of IEEE East-West Design & Test Symposium (EWDTS’2012) : Kharkov, Ukraine, September 14–17, 2012
2012
/
p. 23-28
book article
83106
journal article EST
/
journal article ENG
SSProve : a foundational framework for modular cryptographic proofs in Coq
Haselwarter, Philipp G.
;
Rivas, Exequiel
;
Van Muylder, Antoine
;
Winterhalter, Théo
;
Abate, Carmine
;
Sidorenco, Nikolaj
;
Hriţcu, Cǎtǎlin
;
Maillard, Kenji
;
Spitters, Bas
ACM Transactions on Programming Languages and Systems
2023
/
art. 15
https://doi.org/10.1145/3594735
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
83107
journal article
SSSR mootorauruvedur
Tehnika Ajakiri
1940
/
lk. 174
journal article
83108
journal article
Szilicium planar technologiai eljaras szamitögepes stimulacioja
Rang, Toomas
;
Tarnay, K.
;
Masszi, F.
Finommechanika, mikrotechnika: az Optikai, Akusztikai és Filmtechnikai Egyesület, a Híradástechnikai Tudományos Egyesület és a Méréstechnikai és Automatizálási Tudományos Egyesület lapja
1979
/
p. 257-260
journal article
83109
newspaper article
Szolnokis kogemusi vahetamas
Rekkaro, Vello
Õhtuleht
1989
/
lk. [?]
https://www.ester.ee/record=b1072244*est
newspaper article
83110
newspaper article
St Edmundsbury Meeskoor Tallinna Ülikoolis : [esineb 28. oktoobril]
Toom, Enn
Mente et Manu
2006
/
18. okt., lk. 3, 4 : fot
https://www.ester.ee/record=b1242496*est
newspaper article
83111
book article
St.Petersburg School in Estonian engineering
Mägi, Vahur
XXX Symposium of the International Committee for the History of Technology : ICOHTEC 2003 : August 21st-26th, 2003, St.Petersburg - Moscow, Russia
2003
/
p. 87-89
book article
83112
newspaper article
Staarpoliitik Margus Leivo lahkub Rahvaliidust : [TTÜ haldusdirektor]
Koch, Tuuli
Postimees
2007
/
lk. 6
https://www.postimees.ee/1726233/staarpoliitik-margus-leivo-lahkub-rahvaliidust
newspaper article
83113
journal article
Staažiga või staažita? Abikaasaga!
Kask, Mare
Mente et Manu
2018
/
lk. 42 : fot
http://www.ester.ee/record=b1242496*est
https://artiklid.elnet.ee/record=b2865238*est
journal article
83114
book
Staatika alged
Nuut, Jüri
1937
https://www.ester.ee/record=b1525736*est
book
83115
journal article
Staatika modernsetest probleemidest
Johanson, A.
Tehnika Ajakiri
1938
/
lk. 278-282
journal article
83116
journal article
Staatiline elekter tulesüütajana
Eesti Tuletõrje
1940
/
lk. 208-209
journal article
83117
journal article
Staatiline ja staati-dünaamiline lend : (õhupallide ajalugu) / andmetel : Vesiloo
Sõjateadlane
1925
/
lk. 3-28
journal article
83118
book article
Staatiline reaktiivvõimsuse kompensaator
Rebane, A.
;
Järvik, Jaan
;
Reiner, Ardi
XXIX vabariiklik üliõpilaste teaduslik- tehniline konverents 30. märtsist - 1. aprillini 1977 : ettekannete teesid
1977
/
lk. 61
https://www.ester.ee/record=b2449987*est
book article
83119
journal article
Staatilised GNSS-mõõtmised Eesti geodeetilise võrgu I klassi punktidel
Metsar, Jaanus
;
Kollo, Karin
;
Ellmann, Artu
;
Pihlak, Priit
;
Rüdja, Andres
Geodeet
2019
/
lk. 12-14 : ill
http://www.ester.ee/record=b1072198*est
journal article
83120
book
Staatiliselt määramata raamide arvutamine deformatsioonimeetodiga
Räämet, Raimund
1962
https://www.ester.ee/record=b1407042*est
book
83121
journal article
Staatiliste arvutuste täpsusest
Johanson, A.
Tehnika Ajakiri
1940
/
2, lk. 41-46; 3, lk. 75-78
journal article
83122
journal article
Staatskommissare als Manager kommunaler Haushaltskonsolidierungsprozesse
Duve, Thomas
Verwaltung und Management
2008
/
6, S. 283-293
journal article
83123
journal article
Stabiilne nöitrodüünvastuvõtja
Helpap, F.
Raadio
1927
/
lk. 511-513 : joon., fot
journal article
83124
journal article
Stabiilne paaripanek : (kõrvalepõige poliitikasse)
Võhandu, Leo
Arvutustehnika ja Andmetöötlus
1995
/
5, lk. 21-26
journal article
83125
journal article
Stabiilne paaripanek : (pühendusega koolidirektoritele)
Veskioja, Tarmo
A & A
1999
/
5, lk. 29-35
https://artiklid.elnet.ee/record=b1002459*est
journal article
Number of records 131427, displaying
83101 - 83125
previous
3321
3322
3323
3324
3325
3326
3327
3328
3329
3330
next
×
vaste
starts with
ends with
containes
sort
Relevance
ascending
descending
year of publication
author
TTÜ department
subject term
series
name of the person
keyword
Otsing
Valikud
0
year of publication
AND
OR
NOT
author
AND
OR
NOT
TTÜ department
AND
OR
NOT
subject term
AND
OR
NOT
series
AND
OR
NOT
name of the person
AND
OR
NOT
keyword
AND
OR
NOT